tentative programme
| Chair: Carles Noguera | |
| 9.30 - 10.30 | Franco Montagna Non-standard states, conditional probability and strong coherence (Slides) |
| 10.30 - 11.00 | Matteo Bianchi A temporal semantics for nilpotent minimum logic (Slides) |
| --Coffee break-- | |
| 11.30 - 12.00 | Amanda Vidal and Félix Bou Image-finite first-order structures (Slides) |
| 12.00 - 12.30 | Marcelo Coniglio, Francesc Esteva and Lluís Godo On logics of formal inconsistency and fuzzy logics (Slides) |
| --Lunch-- | |
| Chair: Brunella Gerla | |
| 14.00 - 15.00 | Leonardo Cabrer Strongly semisimple MV-algebras and tangents (Slides) |
| 15.00 - 15.30 | Serafina Lapenta and Ioana Leustean f-MV-algebras and piecewise polynomial functions (Slides) |
| --Coffee break-- | |
| 16.00 - 16.30 | Denisa Diaconescu, Tommaso Flaminio and Ioana Leustean Lexicographic MV-algebras through a generalization of the Di Nola-Lettieri functors (Slides) |
| 16.30 - 17.00 | Tommaso Moraschini An algebraic study of partial predicates (Slides) |
| 17.00 - 19.00 | Farewell party |
