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