Programme

Jeudi 20 janvier

• 9h30 : Ludique : cours introductif par Lionel Vaux (IML)
• 11 h : pause café
• 11 h 20 Suite
• 12h30 : repas
• 14 h : Introduction aux c-desseins par Christophe Fouqueré (LIPN)
• 15h30 : pause
• 16 h : Ludique et Dialogues, et quelques applications par Myriam Quatrini (IML)

Vendredi 21 janvier

• 9 h 30 : Propositions pour une s ́emantique inf ́erentialiste de l’ ́enonc ́e par Alain lecomte (SFL)
• 10h30 : pause
• 11 h : Logical constant from a Computational Point of View : Towards an Untyped Setting par Alberto Naibo (Paris 4), Mattia Petrolo (Paris 4) et Thomas Seiller (IML)
• 12h30 : repas
• 14 h Table ronde animée et introduite par Samuel Tronçon (Résurgences)