| Time | Monday Oct 6 |
Tuesday Oct 7 |
Wednesday Oct 8 |
|---|---|---|---|
| 09:00 – 10:00 | W1 / T1 |
Invited Talk (CICM)
Josef Urban |
Invited Talk (CICM)
Assia Mahboubi Formal proofs: computer science at the service of rigour and creativity in mathematics |
| 10:00 – 10:30 | Coffee Break | ||
| 10:30 - 11:00 | W1 / T1 | A Function-Set Framework: General Properties and Applications to Modal Logic Luke Bayzid, Alexandre Madeira and Manuel A. Martins | |
| 11:00 - 11:30 | Sequent Calculi for Data-Aware Modal Logics Carlos Areces, Valentin Cassano, Danae Dutto and Raul Fervari | ||
| 11:30 - 12:00 | Characterization of Lattice Properties within Modal Extensions Alfredo R. Freire and Manuel A. Martins | ||
| 12:00 - 12:30 | |||
| 12:30 – 14:00 | Lunch | ||
| 14:00 - 15:00 | W2 / T2 | Invited Talk (CICM+LSFA) Temur Kutsia |
Invited Talk
Bruno Lopes A Note on Propositional Dynamic Logic Expressiveness and Complexity |
| 15:00 - 16:00 | Invited Talk Yoni Zohar | ||
| 16:00 – 16:30 | Coffee Break | ||
| 16:30 - 17:00 | W2 / T2 | Monoid Structures on Indexed Containers Michele De Pascalis, Tarmo Uustalu and Niccolò Veltrì | Nominal Sets in Rocq Fabrício Sanches Paranhos and Daniel Ventura |
| 17:00 - 17:30 | Towards the HSP Theorem in Nominal Algebra with Fixed-Point Constraints Ali K. Caires-Santos Work in Progress | Termination modulo Commutativity for Nominal Systems Daniella Santaguida Work in Progress | |
| 17:30 - 18:30 | Business Meeting | ||