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
University of St Andrews.
- Larry Paulson (University of Cambridge) -
Security Protocols and Their Correctness.
- Lincoln Wallen (University of Oxford) -
Some "non-standard" ideas in machine assisted proof
- Ian Gent (Strathclyde University) -
Two Become One: Theory and Experiment.
- Fausto Giunchiglia
(IRST, Trento, Italy) -
Certification of Translators via Off-line and On-line
Proof Logging and Checking
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.
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
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
- +44 1334 463253
- +44 1334 463278
- Andrew Adams
Division of Computer Science
University of St Andrews
Fife KY16 9SS
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)
(Birmingham) | Ursula Martin (St Andrews).
There is also a general
page, including details of previous
Created: 20th February, 1998.