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
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"