Announcement and Call for Papers / Participation

5th Annual Automated Reasoning Workshop:
Bridging the Gap between Theory and Practice

St Andrews, Scotland, March 30-31, 1998

This workshop is co-located with and immediately prior to the 14th British Colloquium for Theoretical Computer Science. Both events are being hosted by the School of Mathematical and Computational Sciences, University of St Andrews.

Invited Speakers

Abstracts of the talks.


These workshops are informal meetings designed to bring together postgraduates and young researchers in automated reasoning with senior figures in the field. The format this year will include invited speakers, panel discussions and contributed talks. Although there will be a number of `pre-arranged' items to be discussed during the workshop, it will cover the full breadth and diversity of automated reasoning, including topics such as logic and functional programming; equational reasoning; deductive databases; unification and constraint solving; the application of formal methods to specifying, deriving, transforming and verifying computer systems and in particular safety-critical systems; deductive and non-deductive reasoning, including abduction, induction, nonmonotonic reasoning, and analogical reasoning; commonsense reasoning; and the wide range of topics that fall under the heading of knowledge representation and reasoning.

A draft programme is available covering both conferences and the joint sessions on Tuesday. Details may change before the event.


You are invited to submit an abstract of up to one page for a 20 minute contributed talk. An abstract should be submitted via the Web or should be sent to the e-mail or paper mail addresses below by 14 March. Attendees are encouraged also to submit (via the web) a brief statement of research interests including a URL, for inclusion in the workshop handouts.


Details of when and where the registration desk will be open.

The cost of attendance, including two nights accommodation and meals from Sunday dinner to Tuesday lunch is 90 pounds. Registration for attendance as a day delegate (Monday and Tuesday lunch included) is 50 pounds. Prices will increase for late registration after 8th March 1998. Joint registration for both ARW 5 and BCTCS 14 is available. A registration form is available on the Web for direct registration. Alternatively a Postscript version can be printed out and sent to the address below. Cheques should be made out to The University of St Andrews, crossed ARW 5, and sent to the address at the bottom of the page.

Postgraduate students are particularly encouraged to attend, and the UK EPSRC has offered funding for ten postgraduate student attendees, to cover registration and accommodation for the Workshop. Further details of how to apply can be found on the registration web page.

Travel and Accommodation

  • Travel details.

  • Bus times and directions from the bus station to McIntosh Hall and the Mathematics Institute, and between the various sites we will be using in town.

  • Accommodation is in McIntosh Hall, a pleasant 5 minute stroll from the North Haugh. A map is available.

  • Details of local hotels and guest houses.

  • Useful maps and information about St Andrews.
  • Contact Address

    +44 1334 463253
    +44 1334 463278
    Andrew Adams
    Division of Computer Science
    University of St Andrews
    St. Andrews
    Fife KY16 9SS

    Organising Committee

    Robin Arthan (Lemma 1) | Alan Bundy (Edinburgh) | Tony Cohn (Leeds)
    Michael Fisher (MMU) | (Chair) Alan Frisch (York) | Ian Gent (Strathclyde)
    Mike Gordon (Cambridge) | Andrew Ireland (Heriot-Watt)
    Manfred Kerber (Birmingham) | Ursula Martin (St Andrews).

    There is also a general page, including details of previous meetings.

    Created: 20th February, 1998.