Buongiorno,

su richiesta di Vincenzo Ciancia giro l'annuncio di questo seminario.

Saluti,

Giovanni Gaiffi

-------- Messaggio Inoltrato --------

Oggetto: [STAFF-ISTI] Talk announcement: Dr. Nick Bezhanisvili, ILLC Amsterdam, May 24 12:00, Department of Computer Science, University of Pisa Data: Sat, 20 May 2023 14:12:42 +0200 Mittente: Vincenzo Ciancia vincenzo.ciancia@isti.cnr.itmailto:vincenzo.ciancia@isti.cnr.it A: staff@isti.cnr.itmailto:staff@isti.cnr.it

Dear all,

We are happy to announce that Dr. Nick Bezhanisvili, associate professor at the Institute for Logic, Language and Computation (University of Amsterdam), and president of the Dutch Association for Logic and Philosophy of the Exact Sciences (VvL), will give a seminar next week on a subject from his current research, which is also carried on jointly with the group of Dr. David Gabelaia (A. Razmadze Mathematical Institute, Tbilisi, Georgia) and the Formal Methods and Tools Laboratory at ISTI-CNR in Pisa. The talk is about modal logic for polyhedra, whose applications encompass declarative analysis of 3D meshes.

The talk is held at the Department of Computer Science, and it is co-organised with Prof. Fabio Gadducci as part of the cycle of lectures associated to the cycle of lectures on Foundations of Computing.

Title: Polyhedral Semantics of Modal Logic Date: Wednesday, May 24, 12.00 Location: Aula Seminari Ovest, Dipartimento di Informatica (Largo Pontecorvo 1, Pisa)

Contacts: vincenzo.ciancia@isti.cnr.itmailto:vincenzo.ciancia@isti.cnr.it -- fabio.gadducci@unipi.itmailto:fabio.gadducci@unipi.it

Please forward this announcement to potentially interested people.

-- Staff mailing list staff@isti.cnr.itmailto:staff@isti.cnr.it https://mailman.isti.cnr.it/postorius/lists/staff.isti.cnr.it/https://es.sonicurlprotection-fra.com/click?PV=2&MSGID=202305201224260612596&URLID=2&ESV=10.0.19.7431&IV=CF4841A68631E6F092A878894D561BFA&TT=1684585467271&ESN=fXp%2BJwYoyjDsuVSyQ%2B59GoWESGOmJX0Bgg4eR%2FnNPSk%3D&KV=1536961729280&B64_ENCODED_URL=aHR0cHM6Ly9tYWlsbWFuLmlzdGkuY25yLml0L3Bvc3Rvcml1cy9saXN0cy9zdGFmZi5pc3RpLmNuci5pdC8&HK=BC2EE265B2CF01FF2FB7F27F7D188ABE2269801845B808729AD2F9BD8204ED38

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