Many-valued logic: Algebraic,
Geometric and Computational Aspects
In honour of Daniele Mundici's 70th birthday
The conference will start on Monday September 26th at 9.30 and will end on Tuesday, September 27th in the afternoon.
Final programme (pdf file).
Monday 26
9:30 - 10:00 Opening
10:00 - 10.30 Matthias Baaz: Unsound rules make proofs easier (joint work with Juan P.Aguilera)
10:30 - 11.00 Coffee Break
11:00 - 11:30 Carlo Toffalori: Robinson Consistency and other things: model theory in Florence in the eighties
11:30 - 12:00 Reiner Hähnle: A Dynamic Logic with Traces and Coinduction
12:00 - 12:30 Chris Fermüller: Giles' Game - Recent Developments and Challenges
12:30 - 15:00 Lunch
15:00 - 15:30 Antonio Di Nola: Some invariant skeletons for unital lattice groups and MV-algebras
15:30 - 16:00 Francesc Esteva: Similarity based reasoning based on prototipes and counterexamples
16:00 - 16:30 Joan Gispert: Almost structural completeness and structural completeness of nilpotent minimum logics
16:30 - 17:00 Coffee Break
17:00 - Concert
20:30 - Social Dinner
Tuesday 27
9:30 - 10:00 Gyula Katona: When the lie depends on the target
10:00 - 10.30 Tomas Kroupa: Generalised states of MV-algebras
10:30 - 11.00 Coffee Break
11:00 - 11:30 Matteo Sereno: Ulam-Renyi games & Kraft's inequality: Old ingredients for a new recipe ?
11:30 - 12:00 Ioana Leustean: Towards game semantics for Moisil logic
12:00 - 12:30 Alexander Leitsch: CERES in intuitionistic logic
12:30 - 15:00 Lunch
15:00 - 15:30 Mirko Navara: MV-algebras and states on tribes
15:30 - 16:00 Xavier Caicedo: TBA
16:00 - 16:30 Coffee Break
16:30 - 17:00 Conclusions
On Monday 26th at 17.00 a piano concert will be held in the same room of the conference. Raffaele Figini will play for us
- Beethoven - Sonata op. 111
- Schumann - Fantasia op. 17
On the same day at 20.30 we will have the social dinner.