|10:00||Time allocated to mount posters.|
Luc Moreau (Electronics and Computer Science, University of Southampton, UK):
"Towards Provenance based Reasoning in E-Science"
|12:00||Poster talks (6 speakers talking for 5 minutes each).
William Naylor, Julian Padget, Simone A. Ludwig and Omer F. Rana:
"Semantic Matching and Decomposition of Mathematical Services"
Lin Yang, Alan Bundy, Dave Berry and Conrad Hughes:
"Towards a Bell-Curve Calculus and its Application to e-Science"
Pascal Hitzler and Denny Vrandecic:
"Faster OWL using Split Programs"
Fiona McNeill, Alan Bundy and Chris Walton:
"Enabling Communication between Disparate Agents"
I. Svigkos and A. Bolotov:
"Clausal Resolution in the Framework of Social Agency"
Nivea de C. Ferreira, Michael Fisher and Wiebe van der Hoek:
"A Framework for Uncertain Agents"
|12:30||Lunch with posters and demos.|
Marta Kwiatkowska (School of Computer Science, University of Birmingham, UK):
"Probabilistic Model Checking for the Grid and on the Grid"
|14:45||Poster talks (6 speakers talking for 5 minutes each).
Alastair F. Donaldson and Alice Miller:
"Symmetry Reduction for Probabilistic Systems"
Paolo Ballarini, Michael Fisher and Michael Wooldridge:
"Automated Game Analysis via Probabilistic Model Checking"
M. C. Fernandez-Gago, U. Hustadt, C. Dixon, M. Fisher and B. Konev:
"First-Order Theorem Proving in Practice"
Michael Fisher, Boris Konev and Alexei Lisitsa:
"Practical Infinite-State Verification via Temporal Reasoning"
Alan M. Frisch, Chris Jefferson, Bernadette Martinez Hernandez and Ian Miguel:
"The Rules of Constraint Modelling: An Overview"
Ulle Endriss, Markos Hatzitaskos, Paolo Mancarella, Fariba Sadri, Giacomo Terreni and Francesca Toni:
"Refinements of the CIFF Procedure"
|15:15||Coffee and posters.|
|16:30||Panel discussion: "What contribution can automated reasoning make to e-Science?", Chair: Dave Berry, Panelists: Pascal Hitzler, Marta Kwiatkowska and Luc Moreau.|
|18:00||End of panel discussion.|
Alan M. Frisch (Artificial Intelligence Group, Department of Computer Science, University of York, UK):
"Symmetry and the Generation of Constraint Models"
|10:00||Poster talks (6 speakers talking for 5 minutes each).
"LocModGen - Model Generation by Local Search"
"On Arbitrary Selection Strategies for Superposition"
Juan A. Navarro and Andrei Voronkov:
"Generation of Hard Non-Clausal Random Satisfiability Problems"
Alan P. Sexton and Volker Sorge:
"Abstract Matrices and Constraints"
Alexei Lisitsa and Andrei Nemytykh:
"Verification of Parameterized Systems using Supercompilation"
Andrew Cook and Andrew Ireland:
"Bridging Gaps through Proof Animation"
|10:30||Coffee and posters.|
Mike Gordon (Computer Laboratory, The University of Cambridge):
"Using a Theorem Prover to Implement a Compiler"
|12:15||Poster talks (6 speakers talking for 5 minutes each).
Simon Colton, Ferdinand Hoermann, Geoff Sutcliffe and Alison Pease:
"Machine Learning Case Splits for Theorem Proving"
"A Best-First Planner for Rippling"
Andreas Meier and Erica Melis:
"Failure-Reasoning in Multi-Strategy Proof Planning"
Laura I. Meikle and Jacques D. Fleuriot:
"Formal Verification in Computational Geometry"
Sean Wilson and Jacques D. Fleuriot:
"Geometry Explorer: Combining Dynamic Geometry, Automated Geometry Theorem Proving and Diagrammatic Proofs"
"Automated Deduction with XOR Constraints"
|12:45||Lunch with posters and demos.|
|14:00||Panel discussion: "The right representation is the key to successful reasoning", Chair: Manfred Kerber, Panelists: Alan Frisch, Ullrich Hustadt and Mateja Jamnik.|