PREUVES

Journées d'étude du LIRMM -- Vendredi 4 juin, LIRMM, bâtiment 4, salle de séminaires. 


10h David Delahaye (Marel) Recherche de preuves en présence de théories
11h Julie Cailler 
(Marel) Utilisation de la concurrence pour les tableaux analytiques en logique du premier ordre
11h30  Davide Catta (Texte) Jeux et preuves en logique modale

12h30 -14h pause déjeuner -> les restos sont ouverts!

14h Christian Retoré (Texte) Cographes, couplages et preuves en logique linéaire
15h Richard Moot (Texte) Constructions de preuve, apprentissage profond  et analyse grammaticale du français
16h Nadira Boudjani (thèse Smile 2018) Aide à la construction de preuves en classe de mathématiques par les systèmes d'argumentation

16h30: discussion & perspectives

17h30 fin -> les bars sont ouverts!