|
AMU zoom link and conference access code, October 8, 2021 |
|
|
AMU zoom, Meeting ID: 950 1327 5866 169159 |
|
|
Program - Morning |
|
| 09:00 - 09:30 |
Welcoming |
| 09:30 - 09:40 |
Official opening, welcome adress |
| 09:40 - 10:10 |
The early days of Prolog and logic programming Bob Kowalski (Imperial College London, videoconferencing) |
| 10:10 - 10:40 |
TAUM, Prolog, automatic translation Christian Boitet (LIG, Grenoble) |
| 10:50 - 11:00 |
Testimonial Marc Bergman |
| 10:50 - 11:10 |
Morning pause |
| 11:10 - 11:40 |
Prolog and Automatic Language Processing Alexis Nasr (LIS, Marseille) |
| 11:40 - 12:10 |
From Prolog to Answer-Set Programming Belaid Benhamou, Vincent Risch, Eric Würbel (LIS, Marseille) |
| 12:10 - 12:20 |
Testimonial Henry Kanoui |
|
Program - Afternoon |
|
| 14:00 - 14:20 |
Symbolic AI and the overcoming of classical logic Henri Prade (IRIT, Toulouse) |
| 14:20 - 14:30 |
Testimonial: genesis and evolution of Prologia Alain David (Prologia) |
| 14:30 - 14:50 |
The industrial environment Jean Rohmer (De Vinci Research Center) |
| 14:50 - 15:30 |
Constraint Programming Pascal Van Hentenryck (Georgia Institute of Technology, videoconferencing) |
| 15:30 - 15:50 |
Afternoon pause |
| 15:50 - 16:10 |
Constraint expressiveness in the algebra of finite and infinite trees Thi-Bich-Hanh Dao (LIFO, Orléans) |
| 16:10 - 16:40 |
The linguistic dimensions of Prolog Veronica Dahl (Simon Fraser University, videoconferencing) |
| 16:40 - 17:00 |
Around Alain Colmerauer Colette Colmerauer |
| 17:00 - 18:00 |
Epilogue: the legacy of Alain Colmerauer, AI pioneer round table animated by Odile Papini (LIS), Cécile Capponi (Institut Archimède), Philippe Blache (LPL), Henri Prade (CNRS), Michel Rueher (I3S) |