Fifth Workshop on Automated Reasoning:
Bridging the Gap between Theory and Practice

Programme of Events

Time Monday-ARW Tuesday-ARW/BCTCS
09.00 Welcome Welcome
09.30 Invited Speaker:Lincoln Wallen
Some "Non-Standard" Ideas in Machine Assisted Proof
Invited Speaker:Fausto Giunchiglia
Certification of Translators via Off-line and On-line Proof Logging and Checking
10.30 Coffee Coffee
11.00 Panel: Computer Algebra and AR
Manfred Kerber
Contributed Talks
Visser and Nowotka
11.30 Contributed Talks
McIsaac and M. Adams
12.00 Invited Speaker: Larry Paulson
Security Protocols and Their Correctness
Invited Speaker: Ian Gent
Two Become One: Theory and Experiment
13.00 Lunch Lunch
14.30 Panel: What Are the Killer Applications of Automated Reasoning?
Alan Bundy
15.30 Contributed Talks
Ireland and Jackson
16.00 Coffee
16.30 Contributed Talks
Smaill and van Heule
17.00 Contributed Talks
J. Stark and Duffy
19.00 Dinner
20.00 Panel:Prospects for the Practical Application of Local Search and Satisfiability: Toby Walsh
(in Golf Hotel)