April 24, 1998
| 20:00 | Reception |
April 25, 1998
| 7:30 - 8:30 | Breakfast |
| 8:50 - 9:00 | Krzysztof Apt: Opening |
|
Session 1: Krzysztof Apt, Chair
|
|
|---|---|
| 9:00 - 9:45 | Robert A. Kowalski
From Logic Programming to Multi-agent systems |
| 9:45 - 10:00 | Discussion: Jack Minker |
| 10:00 - 10:30 | Break |
| 10:30 - 11:15 | Gopal Gupta
A Logic Programming based Formal Framework for Software Engineering |
| 11:15 - 11:30 | Discussion: Mats Carlsson |
| 11:30 - 12:15 | Luc De Raedt
A perspective from Inductive Logic Programming |
| 12:15 - 12:30 | Discussion: Koichi Furukawa |
| 12:30 - 14:00 | Lunch |
|
Session 2: Miroslaw Truszczynski, Chair
|
|
| 14:00 - 14:45 | Danny De Schreye Some issues in the assessment of CL theory and program development |
| 14:45 - 15:00 | Discussion: Maurizio Martelli |
| 15:00 - 15:30 | Break |
| 15:30 - 16:15 | Manuel Hermenegildo
Programming with Global Analysis |
| 16:15 - 16:30 | Discussion: Michael Maher |
| 16:30 - 17:00 | Break |
| 17:00 - 18:30 | Discussion of ALP(NA) |
| 19:00 - 20:30 | Dinner |
| 20:30 - 22:00 | Discussion of ALP(NA) + Informal reception |
April 26, 1998
| 7:30 - 8:30 | Breakfast |
|
Session 3: Catuscia Palamidessi, Chair
|
|
|---|---|
| 9:00 - 9:45 | Jacques Cohen
Computational Molecular Biology: A Promising Application Using LP and CLP |
| 9:45 - 10:00 | Discussion: Philippe Codognet |
| 10:00 - 10:30 | Break |
| 10:30 - 11:15 | Saumya K. Debray
Link-time Optimization of Multi-Language Programs |
| 11:15 - 11:30 | Discussion: Paul Tarau |
| 11:30 - 12:15 | Philip Wadler
How enterprises use functional languages, and why they don't |
| 12:15 - 12:30 | Discussion: Frank Pfenning |
| 12:30 - 14:00 | Lunch |
|
Session 4: David Warren, Chair
|
|
| 14:00 - 14:45 | Don Loveland
Concerning the future of Automated Deduction |
| 14:45 - 15:00 | Discussion: Melvin Fitting |
| 15:00 - 15:30 | Break |
| 15:30 - 16:15 | Raghu Ramakrishnan
Deductive Databases: Achievements and Challenges |
| 16:15 - 16:30 | Discussion: VS Subrahmanian |
| 16:30 - 17:00 | Break |
| 17:00 - 18:30 | Panel 1 (Krzysztof Apt): Logic Programming and Software Engineering:
has anything gone wrong?
Howard Blair, Leora Morgenstern, Michael Gelfond, Alan Robinson |
| 19:00 - 20:30 | Dinner |
| 20:30 - 22:00 | Panel 2 (Victor Marek): Logic Programming: Promising Future Trends
Martin van Emden, Ray Reiter, Koichi Furukawa, Juergen Dix, Jeff Remmel |
April 27, 1998
| 7:30 - 8:30 | Breakfast |
|
Session 5: Victor Marek, Chair
|
|
|---|---|
| 9:00 - 9:45 | Vladimir Lifschitz
Representing causation by logic programs |
| 9:45 - 10:00 | Discussion: Teodor Przymusinski |
| 10:00 - 10:30 | Break |
| 10:30 - 11:15 | Veronica Dahl
The logic of language |
| 11:15 - 11:30 | Discussion: Dale Miller |
| 11:30 - 12:15 | Kazunori Ueda
Potentialities of concurrent logic/constraint programming with constraint-based program analysis |
| 12:15 - 12:30 | Discussion: Catuscia Palamidessi |
| 12:30 - 14:00 | Lunch |