Automated Reasoning Workshop 2006 Timetable


Monday 3rd April

10.30Poster set up opportunity
11.30Plenary Speaker: Byron Cook (Microsoft Research)
Towards proving that software doesn't hang
13.30Short Talks (approximately ten minutes each), followed by poster session continuing into coffee.
Tool Support for Names and Dependencies in Deductive Synthesis
Lucas Dixon
A Web Search System for Theorems
He Cheng, Hideo Suzuki and Hidetsune Kobayashi
A Real Arithmetic Test Suite for Theorem Provers
Olga Lightfoot
Mechanical Verification of Recursive Procedures Manipulating Pointers using Separation Logic
Viorel Preoteasa
A Structured Modelling Framework to Capture Symmetry in Circuits
Ashish Darbari
LCF-style Verification with a SAT-solver
Hasan Amjad
A Small Linear Logic Planner
Alan Smaill
15.30Keynote Speaker: Tom Hales (Pittsburgh)
The Jordan Curve theorem and the Kepler Conjecture, both informally and formally
16.30Panel Discussion: Bridging the Gap: Bringing Automated Reasoning into Practice
Rob Arthan (Lemma 1)
Byron Cook (Microsoft), Ashish Darbari (Oxford), Fiona McNeill (Edinburgh)
19.30Workshop dinner

Tuesday 4th April

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

last modified on Friday, 15-Apr-2005 13:42:21 BST