Scusate, il colloquio è, come scritto, il 13 dicembre, ma si tratta di un mercoledì.. Saluti, Giovanni

Il giorno 5 dic 2023, alle ore 10:15, Giovanni Gaiffi <giovanni.gaiffi@unipi.itmailto:giovanni.gaiffi@unipi.it> ha scritto:

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.itmailto:utenti@lists.dm.unipi.it To unsubscribe send an email to utenti-leave@lists.dm.unipi.itmailto:utenti-leave@lists.dm.unipi.it _______________________________________________ Personale.docente.dm mailing list Personale.docente.dm@listgateway.unipi.itmailto:Personale.docente.dm@listgateway.unipi.it http://listgateway.unipi.it/mailman/listinfo/personale.docente.dm

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