[Collaboratori] [Utenti] Colloquium di Dipartimento (Martedì 13 Dicembre)

Salve,

su incarico della commissione che si occupa dei colloqui di Dipartimento, vi informo che Martedì 13 Dicembre alle 16,30 Damiano Testa (Università di Warwick) terrà un colloquio sul tema: “Mathematics, automation, theorem proving”. Questo è il link alla locandina https://www.dm.unipi.it/colloquiumtesta.png dove potete trovare ulteriori informazioni. Il colloquio sarà preceduto e seguito da un coffee break (insomma due coffee break). A presto, Giovanni

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