[Home
Page] [Previous
Workshops] [Call for Papers]
[Guide for Authors]
[Programme]
[Related Event] [How to Get There] [Weather and Tourism] [Registration] [Accommodation]
[Sponsors] [Student Bursaries]
1st Call for Papers / Participation
Continuing the highly successful series of Workshops on Automated Reasoning, this event will provide an informal forum for the automated reasoning community. The ARW 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.
Details of the ARW organisation and of previous ARW events can be found at http://www.dcs.kcl.ac.uk/staff/endriss/ARW.
This year, ARW will have a day focussed on applications of automated reasoning applied to e-Science.
Alan Frisch | Title: Symmetry and the Generation of Constraint Models. |
Mike Gordon | Title: Using a Theorem Prover to Implement a Compiler. |
Marta Kwiatkowska | Title: Probabilistic Model Checking for the Grid and on the Grid. |
Luc Moreau | Title: Towards Provenance based Reasoning in E-Science. |
We invite interested persons to submit a camera-ready two-page abstract about recent work or work in progress, or a system description. Anyone wishing to attend but not interested in presenting should send a shorter position statement (1/2 - 1 page).
Submissions should be sent in in either Postscript or PDF format by email to the workshop organisers at: arw2005@inf.ed.ac.uk
Each submission should include the names and complete addresses (including email) of all authors. Correspondence will be sent to the first author, unless otherwise indicated. The main objective of the abstracts is to spread information about recent work in our community. Abstracts will be published in informal workshop notes and be made available by WWW.
Proposals for panel sessions should be made as soon as possible. Please email the proposal to arw2005@inf.ed.ac.uk.
We have a limited number of grants available to PhD students who wish to attend ARW 2005. To indicate your interest please send a short email to Ulle Endriss (ue@doc.ic.ac.uk) anytime before 1st of May 2005.
Deadline for submission of abstracts: | 1st May 2005 | |
Notification to authors: | 31st May 2005 | |
Deadline for student bursaries applications: | 1st May 2005 | |
Conference: | 29th and 30th July 2005 |
The workshop is intended to be an inclusive event, with participants encouraged from the broad spectrum covered by the field of automated reasoning. We encourage the participation of experienced researchers as well as those new to the field, especially students.
Note that we expect to devote one day in the workshop to applications of automated reasoning in e-Science and especially invite contributions on this topic.
Dave Berry | National e-Science Centre |
Alan Bundy | University of Edinburgh |
Jacques Fleuriot | University of Edinburgh |
Brandon Bennett | University of Leeds | |
Alan Bundy | University of Edinburgh | (2005 Programme Co-Chair) |
Simon Colton | Imperial College London | |
David Crocker | Escher Technologies | |
Clare Dixon | University of Liverpool | (Organising Committee Chair) |
Ulle Endriss | Imperial College London | (Secretary/Treasurer) |
Jacques Fleuriot | University of Edinburgh | (2005 Programme Co-Chair) |
Alan Frisch | University of York | |
Ian Gent | University of St. Andrews | |
Ullrich Hustadt | University of Liverpool | |
Manfred Kerber | University of Birmingham | |
Tom Melham | University of Oxford | |
Renate Schmidt | University of Manchester | |
Andrei Voronkov | University of Manchester | |
Toby Walsh | University of New South Wales, Sydney |