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 |