BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
X-WR-CALNAME:Mixed sequent calculi for equilibrium logic
X-WR-CALDESC:Seminario di Matteo Tesi (SNS), nell'ambito di DAReLOGICA
END:VCALENDAR