Cari tutti,

a nome della Commissione Colloquia di Dipartimento, vi ricordo che domani

Mercoledì 13 Dicembre alle 16,30 in AULA MAGNA

Damiano Testa (Università di Warwick) terrà un colloquio sul tema:

“Mathematics, automation, theorem proving”.

Alle 16.15 nella saletta dietro l'Aula Magna ci sarà la possibilità di prendere un "caffè con lo speaker" ed

a fine Colloquio sarà offerto un piccolo rinfresco.

Cari saluti

M. Stella Gelli