Eighth Workshop on Automated Reasoning

Bridging the Gap between Theory and Practice


Programme

There will be invited talks, a panel session, short presentations of the papers, and poster sessions. Each accepted paper will be introduced by a 5 minute overview talk. The technical details can then be presented in the subsequent poster session.

Timetable

Note: more information about the sessions can be found in the Proceedings table of contents.

Thursday 22nd March
   09:00-10:30 Registration
   10:30-11:00 Registration, coffee break
   11:00-12:30 ARW invited talk by Yuri Gurevich
   12:30-14:00 Lunch
   14:00-15:30 Short presentations and poster session (session 2)
Mickey-Mouse
   15:30-16:00 Coffee break
   16:00-17:00 Short presentations and poster session (session 3)
   17:00-18:00 ARW invited talk by Robert Nieuwenhuis
   18:00-19:30 AISB Plenary talk by Lyndon Lee("Multi-Agent Research at BT")

Friday 23rd March
   09:00-10:30 Short presentations and poster session (session 5)
   10:30-11:00 Coffee break
   11:00-12:30 Short presentations and poster session (session 6)
   12:30-13:30 Lunch
   13:30-14:30 Joint AISB/ARW plenary talk by Christoph Benzmüller
   14:30-15:30 ARW Invited talk by Michael Zakharyaschev
   15:30-16:00 Coffee break
   16:00-18:00 Panel
   18:00-19:30 AISB plenary talk by Andrew Jones("On the Concept of Trust")


Overview  |  Organisers  |  Call for Papers  |  Programme  |  Accepted Papers  |  Registration  |  Workshop Series  |  Participants  |  AISB'01 convention