Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice

 
 
 

ARW

Background

Call for Papers

Accepted Abstracts

Programme

Venue

Facilities

Accommodation

Travel

Registration

 

Automated Reasoning Workshop 2009
(21st-22nd April 2009, Department of Computer Science, University of Liverpool)

 All session take place in the Second floor seminar room, Ashton Building, unless
 otherwise indicated.
Tuesday, 21 April 2009
10:00 Registration / Coffee
(Ground floor seminar room, Ashton Building)
Poster set up opportunity (for first poster session)
(Second floor meeting room, Ashton Building)
10:50 Welcome
11:00 Short Talks (approximately five minutes each)
11:30 Posters and Coffee
(Second floor meeting room, Ashton Building)
12:30 Lunch
(Ground floor seminar room, Ashton Building)
13:30 Invited Talk
Stefan Szeider (Durham University):
Finding Hidden Structures in Reasoning Problems
14:30 Short Talks (approximately five minutes each)
15:00 Posters and Coffee
(Second floor meeting room, Ashton Building)
16:00 Panel Discussion
Challenges in Applications of Automated Reasoning
17:00 (Business Meeting of the Organising Committee)
19:30 Conference Dinner

Wednesday, 22 April 2009
10:00 Invited talk
Konstantin Korovin (University of Manchester):
Instantiation-Based Automated Reasoning For First-Order Logic
11:00 Short Talks (approximately five minutes each)
11:30 Posters and Coffee
(Second floor meeting room, Ashton Building)
12:30 Lunch
(Waterhouse Cafe, Victoria Building)
14:00 Panel Discussion
Challenges in Advancing Automated Reasoning
15:00 Short Talks (approximately five minutes each)
15:30 Posters and Coffee
(Second floor meeting room, Ashton Building)
16:30 Close
 
 
 

Maintained by Ullrich Hustadt, U.Hustadt@liverpool.ac.uk, last updated Friday, 17-Apr-2009 13:26:00 BST.