09:00-09:10: Welcome & opening.

09:10-10:00: Jean-Yves Girard (CNRS Aix-Marseille Université): "Un tract anti-système" (abstract)

10:00-10:30: Martin Hyland (University of Cambridge): "Syllogisms under the lens of Linear Logic"(abstract)

10:30-11:00: Coffee break

11:00-11:30: Christian Retoré (Université de Montpellier) : "Pomset logic: proof nets, sequent calculus and relation to coherence semantics"

11:30-12:00: Jean-Baptiste Joinet (Université Jean Moulin Lyon 3): "Abstraction and Indiscernibility: from classification to types"

12:00-12:30: Simone Martini (Università di Bologna): "Logic and Computing in Italy, at the birth of the Italian Computer Science" (abstract)

12:30-14:00: Lunch

14:00-14:30: Christophe Fouqueré (Université Paris 13): "Natural Language: Back to Some Investigative Work" (abstract)

14:30-15:00: Simona Ronchi della Rocca (Università di Torino): "Linear Logic in Italy (a story in honour of Michele Abrusci)" (abstract)

15:00-16:00: around themes investigated together with Michele Abrusci. Contributions by Remo Pareschi, Mario Piazza, Paul Ruet.

16:00-16:30: Coffee break

16:30-17:15: la rinascita della logica Italia. Interventi di Carlo Cellucci, Antonio Di Nola, Gabriele Lolli, Giovanni Sambin.

17:15-17:45: intervento conclusivo di Michele Abrusci

Cocktail: 18:00-20:00