| 09:00 | Registration (no coffee) |
| 09:30 | ARW plenary talk:
Muffy Calder |
| | Reasoning about Biochemical Pathways |
| 10:30 | Short Talks (approximately ten minutes each),
followed by poster session during
coffee |
| | Robert Rothenburg |
| | A Hypersequent Calculus for Lukasiewicz Logic Without the Merge Rule |
| | Renate Schmidt, Ullrich Hustadt |
| | Solvability with Resolution of Problems in the Bernays-Schönfinkel Class |
| | Nenad Krdzavic, Vladan Devedzic |
| | A Tableau Metamodel for Description Logics |
| | Louise Dennis |
| | Using Proof to Reason About Errors in Ontology Construction |
| | Fiona McNeill |
| | Dynamic Refinement in Knowledge Management |
| | Andrey Bovykin, Evgeny Zolin |
| | Framework for Providing Information-Providing Web Services |
| | Alessandro Basso, Alexander Bolotov, Artie Bakukoski, Vladmir Getov,
Ludovic Henrio,
Mariusz Urbanski, Adam Mickiwicz |
| | Specification and Verification of Reconfiguration Protocols in Grid Component
Systems |
| 11:30 | Coffee and posters |
| 12:00 | Short talks (approximately ten minutes each) followed by poster
session
continuing into lunch |
| | Clare Dixon, M. Fisher and B. Konev |
| | XOR Fragments of Temporal Logic |
| | Claudia Nalon |
| | Normal Forms for Modal Logics |
| | Juan Antonia Navarro-Perez |
| | Translations into Propositional Satisfiability |
| | John Charnley, Simon Colton and Ian Miguel |
| | Automated Reformulation of Constraint Satisfaction Problems |
| | Pedro Torres and Simon Colton |
| | Using Model Generation in Automated Concept Formation |
| | Volker Sorge |
| | Managing Mathematical Workflows |
| 13:30 | Lunch |
| 14:30 | Panel Discussion: Bridging the Gap Between Automated Reasoning and the Sciences
|
| |
Chair:
Simon Colton
Panelists:
Muffy Calder, Simon Colton and Volker Sorge |
| 15:30 | Business Meeting (Organising Committee) |