| 9:00 - 10:30 | Registration and coffee |
| 10:30 - 12:00 | Abstract session 1 (10 minute
presentations) [Roughly] Higher Order Logics and Languages |
|
Bolotov/Grigoriev/Shangin
Craven/Sergot
Dennis/Bordini/Fisher/Farwer
Dixon/Fisher/Konev Schmidt/Tishkovsky Stankovic/Krdzavac/Devedzic Zhang/Dixon/Hustadt |
|
| 12:00 - 1:30 | Lunch and poster session 1 |
| 1:30 - 3:00 | Abstract session 2 (10 minute presentations)
[Roughly] Verification and other Applications |
|
Basso/Bolotov
Bundy
Gow/Cairns
Hu/Lawford/Wassyng Kowalski Li/Schmidt Mehta |
|
| 3:00 - 4:00 | Coffee and poster session 2 |
| 4:00 - 5:00 | Panel session |
| 5:00 - 6:00 | Invited talk 1 (Geoff Sutcliffe) |
Friday 20th April
| 9:00 - 10:00 | Coffee |
| 10:00 - 11:30 | Abstract session 3 (10 minute presentations)
[Roughly] Resolution and other Reasoning Techniques |
|
Aleksic
Amjad
Benzmuller/Paulson/Thiess/Fietzke Johansson/Dixon/Bundy Kahramanogullari Ludwig Robinson |
|
| 11:30 - 1:00 | Lunch and poster session 3 |
| 1:00 - 2:00 | Invited talk 2 (Alice Miller) |
| 2:00 - 3:30 | Abstract session 4 (10 minute presentations)
[Roughly] Combination/Integration/Hybridization |
|
Aspinall/Luth
Broda/Russo
Charlton/Huth Charnley/Colton Navarro-Perez/Voronkov Carette/Farmer/Sorge Torres/Colton |
|
| 3:30 - 4:30 | Coffee and poster session 4 | 4:30 - 5:00 | ARW business meeting |