Schedule

All sessions will take place in the main building of the TU Wien, Karlsplatz 13, 1040 Vienna.

Room: Prechtl-Saal (main entrance, ground floor, first corridor to the left).


Opening

Tuesday, 6.10.98, 12:45 - 13:00

Session 1: Search and Constraints

Tuesday, 6.10.98, 13:00 - 14:30

Session 2: Applications I

Tuesday, 6.10.98, 15:00 - 16:30

Demo 1

Tuesday, 6.10.98, 16:30 - 17:10

Invited Talk

Wednesday, 7.10.98, 9:00 - 10:00

Session 3: Semantics

Wednesday, 7.10.98, 10:00 - 10:30

Session 4: Model Building

Wednesday, 7.10.98, 11:00 - 12:00

Session 5: Execution and Abstract Machines

Wednesday, 7.10.98, 14:00 - 15:30

Demo 2

Wednesday, 7.10.98, 16:00 - 17:00

Session 6: Termination

Thursday, 8.10.98, 9:00 - 9:30

Session 7: Applications II

Thursday, 8.10.98, 9:30 - 10:30

Session 8: Nonmonotonic Reasoning

Thursday, 8.10.98, 11:00 - 12:00