BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
X-WR-CALNAME:Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
X-WR-CALDESC:Lecture di Andrea Mazzullo (Libera Università di Bolzano) nell'ambito di DAReLOGICA
END:VCALENDAR