| 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.00 | |||
| 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 |
|
| 12.30 | |||
| 13.00 | Lunch | Lunch | |
| 13.30 | |||
| 14.00 | |||
| 14.30 | Panel: What Are the Killer Applications
of Automated Reasoning?
Alan Bundy |
||
| 15.00 | |||
| 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 | ||
| 19.30 | |||
| 20.00 | Panel:Prospects for the Practical
Application of Local Search and Satisfiability: Toby Walsh
(in Golf Hotel) |
||
| 20.30 |