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

https://www.dm.unipi.it/colloquiumtesta.png

[https://www.dm.unipi.it/colloquiumtesta.png]

_______________________________________________ Utenti mailing list -- utenti@lists.dm.unipi.it To unsubscribe send an email to utenti-leave@lists.dm.unipi.it