FroCoS 2005 Logo

FroCoS 2005 - 5th International Workshop on Frontiers of Combining Systems

Vienna, Austria, September 19-21, 2005

FroCoS 2005 Logo

FroCoS 2005 general info: home | cfp (txt, pdf) | poster (more) | dates | pc | oc | invited talks | submission | accepted papers | talks | program (txt) | call for participation (txt) | sponsors | abstracts | proceedings
FroCoS 2005 local info: notes (on registration, accomodation, travelling) | registration | accomodation | local information (venue, registration, internet, technical facilities) | social events | local information about Vienna (public transport, restaurants, etc.) | participants | photos
FroCoS general info: FroCoS homepage | FroCoS workshop series | Combination Methods in AR

new logo proceedings
new logo photos


Preliminary Program of FroCoS 2005

Monday, September 19, 2005

09:00-09:30 Welcome, Registration and Opening
09:30-10:30 SESSION 1 (Invited Talk)
A Comprehensive Framework for Combined Decision Prodedures
by Silvio Ghilardi
10:30-11:00 COFFEE BREAK
11:00-12:30 SESSION 2 (combining logics, theories, and decision procedures I)
11:00-11:30 Connecting Many-Sorted Structures and Theories through Adjoint Functions
by Franz Baader and Silvio Ghilardi
11:30-12:00 Combining Container Data Structures with Nonstably Infinite Theories of Elements
by Silvio Ranise, Christophe Ringeissen and Calogero G. Zarba
12:00-12:30 On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal
by Alessandro Armando, Maria Paola Bonacina, Silvio Ranise and Stephan Schulz
12:30-14:30 LUNCH BREAK
14:30-15:30 SESSION 3 (Invited Talk)
Sociable Interfaces
by Luca de Alfaro
15:30-16:00 COFFEE BREAK
16:00-17:00 SESSION 4 (combining logics, theories, and decision procedures II)
16:00-16:30 Combination of Trees and Rational Numbers in a Complete First-Order Theory
by Khalil Djelloul
16:30-17:00 A Complete Temporal and Spatial Logic for Distributed Systems
by Bernhard Reus and Dirk Pattinson
evening FroCoS 2005 'Heurigen'

Tuesday, September 20, 2005

09:30-10:30 SESSION 5 (Invited Talk)
Hybrid CSP Solving
by Eric Monfroy
10:30-11:00 COFFEE BREAK
11:00-12:30 SESSION 6 (constraint solving and programming, logical encoding)
11:00-11:30 An Efficient Decision Procedure for UTVPI Constraints
by Shuvendu Lahiri and Madanlal Musuvathi
11:30-12:00 Declarative Constraint Programming with Definitional Trees
by Rafael del Vado Vírseda
12:00-12:30 Logical Analysis of Hash Functions
by Dejan Jovanović and Predrag Janičić
12:30-14:30 LUNCH BREAK
14:30-16:00 SESSION 7 (combination issues in rewriting and programming)
14:30-15:00 Proving and Disproving Termination of Higher-Order Functions
by Jürgen Giesl, René Thiemann and Peter Schneider-Kamp
15:00-15:30 Proving Liveness with Fairness using Rewriting
by Adam Koprowski and Hans Zantema
15:30-16:00 A Concurrent Lambda Calculus with Future
by Joachim Niehren, Jan Schwinghammer and Gert Smolka
16:00-16:30 COFFEE BREAK
16:30-17:30 SESSION 8 (Tutorial)
The ASM Method for System Design and Analysis. Tutorial Presentation
by Egon Boerger
evening CONFERENCE DINNER

Wednesday, September 21, 2005

09:30-10:30 SESSION 9 (Invited Talk)
Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources
by Fausto Giunchiglia
10:30-11:00 COFFEE BREAK
11:00-12:30 SESSION 10 (combination issues in theorem proving frameworks and systems)
11:00-11:30 Connecting a Logical Framework to a First-Order Logic Prover
by Andreas Abel, Thierry Coquand and Ulf Norell
11:30-12:00 Combining Programming with Theorem Proving
by Sa Cui, Hongwei Xi and Kevin Donnelly
12:00-12:30 Isa2ExtW: Combination of Isabelle/HOL with Automatic Tools
by Sergey Tverdyshev
12:30-13:00 BUSINESS MEETING
13:00-15:00 LUNCH BREAK
15:00 End of FroCoS 2005
afternoon Sight-seeing (for interested participants)


frocos05@logic.at