The 14th Workshop on Automated Reasoning

19th and 20th April 2007

Timetable

Thursday 19th April

9:00 - 10:30Registration and coffee
10:30 - 12:00Abstract 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:30Lunch and poster session 1
1:30 - 3:00Abstract 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:00Coffee and poster session 2
4:00 - 5:00Panel session
5:00 - 6:00Invited talk 1 (Geoff Sutcliffe)

Friday 20th April

9:00 - 10:00Coffee
10:00 - 11:30Abstract 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:00Lunch and poster session 3
1:00 - 2:00Invited talk 2 (Alice Miller)
2:00 - 3:30Abstract 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:30Coffee and poster session 4
4:30 - 5:00ARW business meeting