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 |