Lien AMU zoom et code d'accès à la conférence, 8 octobre 2021

AMU zoom, Meeting ID: 950 1327 5866

169159

Programme - Matin

09h00 - 09h30

Accueil

09h30 - 09h40

Ouverture officielle, discours de bienvenue

09h40 - 10h10

The early days of Prolog and logic programming

Bob Kowalski (Imperial College London, visio-conférence)

10h10 - 10h40

TAUM, Prolog, traduction automatique

Christian Boitet (LIG, Grenoble)

10h50 - 11h00

Témoignage

Marc Bergman

10h50 - 11h10

Pause matinée

11h10 - 11h40

50 ans de Traitement Automatique de la Langue au GIA - LIM - LIF - LIS

Alexis Nasr (LIS, Marseille)

11h40 - 12h10

ASP : un devenir de Prolog

Belaid Benhamou, Vincent Risch, Eric Würbel (LIS, Marseille)

12h10 - 12h20

Témoignage

Henry Kanoui

Programme - Après-midi

14h00 - 14h20

IA symbolique et dépassement de la logique classique

Henri Prade (IRIT, Toulouse)

14h20 - 14h30

Témoignage : genèse et évolution de Prologia

Alain David (Prologia)

14h30 - 14h50

Le contexte industriel

Jean Rohmer (De Vinci Research Center)

14h50 - 15h30

Programmation par Contraintes

Pascal Van Hentenryck (Georgia Institute of Technology, visio-conférence)

15h30 - 15h50

Pause après-midi

15h50 - 16h10

Expressivité des contraintes dans l'algèbre des arbres finis et infinis

Thi-Bich-Hanh Dao (LIFO, Orléans)

16h10 - 16h40

Les dimensions linguistiques de Prolog

Veronica Dahl (Simon Fraser University, visio-conférence)

16h40 - 17h00

Autour d'Alain Colmerauer

Colette Colmerauer

17h00 - 18h00

Epilogue : l'héritage d'Alain Colmerauer, pionnier de l'IA

table ronde animée par Odile Papini (LIS), Cécile Capponi (Institut Archimède), Philippe Blache (LPL), Henri Prade (CNRS), Michel Rueher (I3S)