Journée PREUVES
Journée 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
16h00: discussion &
perspectives
17h30 fin -> les bars sont ouverts!
Il
était prévu un exposé supplémentaire qui a dû être annulé:
Nadira Boudjani (thèse Smile 2018) Aide à la construction de
preuves en classe de mathématiques par les systèmes
d'argumentation