Au programme

• 10h15 : Café
• 10h30 : About Folds in Classical Sequent Calculus (Paul Brauner)
• 11h30 : Super-cohérence en Calcul des Séquents Classique (Olivier Hermant ⇾ get slides)
  
• 12h30 : Déjeuner
• 14h00 : Termes de preuves pour LK (Clément Houtman)
• 15h00 : Polarized Deduction Modulo (Gilles Dowek)
• 16h00 : Automating Theories in Intuitionistic Logic (Guillaume Burel)
• 17h00 : Discussion
• 19H00 : Fin de la journée. Discussion sur un futur séminaire d'une semaine.

Participants

• Gilles Dowek
• Claude Kirchner
• Paul Brauner
• Guillaume Burel
• Lisa Allali
• Denis Cousineau
• Clément Houtman
• Olivier Hermant
• Germain Faure
• Cody Roux
• Horatiu Cirstea

Lieu
Nancy

Transport

• Arrivée des parisiens 9h48 Gare de Nancy
• Départ à 20h15