Rencontre des 20 et 21 janvier, au Centre International de Rencontres Mathématiques, à Marseille, sur le campus de Luminy. Organisées par Myriam Quatrini.
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 (…)