FroCoS 2005 Photo Gallery
Events
Monday, September 19, 2005
Session 1
Silvio Ghilardi:
A Comprehensive Framework for Combined Decision Procedures
Session 2
Franz Baader:
Connecting Many-Sorted Structures and Theories through Adjoint Functions
Calogero G. Zarba:
Combining Container Data Structures with Nonstably Infinite Theories of Elements
Maria Paola Bonacina:
On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal
Session 3
Coffee Break
Session 4
Khalil Djelloul:
Combination of Trees and Rational Numbers in a Complete First-Order Theory
Bernhard Reus:
A Complete Temporal and Spatial Logic for Distributed Systems
Tuesday, September 20, 2005
Session 5
Session 6
Session 7
René Thiemann:
Proving and Disproving Termination of Higher-Order Functions
Coffee Break
Session 8
Egon Börger:
The ASM Method for System Design and Analysis. Tutorial Presentation
Wednesday, September 21, 2005
Session 9
Fausto Giunchiglia:
Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources
Coffee Break
Session 10
Ulf Norell:
Connecting a Logical Framework to a First-Order Logic Prover
Lunch Break
People
Acknowledgments
The pictures in this FroCoS 2005 Photo Gallery have
been collected and put together by
Jana Srna, based on
contributions by
Jacques Calmet,
Jens Knoop,
Felix Schernhammer,
Manfred Schmidt-Schauß,
Peter Schneider-Kamp and
Jana Srna
(further photos from FroCoS 2005 by
Peter Schneider-Kamp can be found here).
frocos05@logic.at