Méthodes Symboliques, Méthodes Statistiques

Journée d'étude du LIRMM

Vendredi 7 mai 2021 - en distanciel (lien à venir)

Organisée par Christian Retoré avec Abdoulaye Gamatié, Marianne Huchard, Richard Moot, Arnaud Sallaberry


Programme:

Vendredi 7 mai, matin: 2  tutoriels

10:00-10:15  Présentation de la journée
10:15-11:15 Présentation de l'IA symbolique: Michel Chein LIRMM
11:30-12:30 Présentation de l'apprentissage automatique: Maximilien Servajean LIRMM

Vendredi 7 mai, après-midi, 3  cas d'école, suivis d'un débat: 

14:00 Vérification: Blaise Genest (IRISA Rennes)
14:30 Argumentation: Serena Villata (CNRS I3S Nice)
15:00 Traitement Automatique du Langage Naturel : Grégoire Winterstein (UQAM Montréal)
15:30 Débat conduit par Juan Luis Gastaldi (ETH Zurich)


Une autre journée d'étude du LIRMM à venir: vendredi 4 juin,  journées d'étude "preuves"