Tenth Workshop on Automated Reasoning 2003

15th-16th April 2003

Liverpool, UK

Following in the highly successful series of Workshops on Automated Reasoning, this workshop will provide an informal forum for the automated reasoning community. This workshop series aims to bring together researchers from all areas of automated reasoning in order to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines; among researchers from academia, industry and government; and between theoreticians and practitioners.


Here are some photos of the event.


The workshop will cover the full breadth and diversity of automated reasoning and will include topics such as:

Format of the Workshop

There will be invited talks, panel sessions, 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 one of the poster sessions.

Travel, Location and Accomodation

The workshop will take place at the Knowsley Room,Greenbank Conference Centre, Derby and Rathbone Halls, University of Liverpool. More information about the location, travel and accomodation is available.


Abstract submission: any day on or before 6th March 2003 (extended deadline). Please contact Clare Dixon if you need more time.

Notification of authors: shortly after submission

Early bird registrations: on or before 19th March 2003.

Student Grant application: any day before 19th March 2003 (email Ulle Endriss at ue@doc.ic.ac.uk)

Workshop dates: 15th-16th April 2003

Invited Speakers/Panel Sessions

Invited speakers include

There will be two panels


The workshop has been sponsored by CologNet and the Department of Computer Science, University of Liverpool.

Useful Information