******************************************************************************** FroCoS 2005 - 5th International Workshop on Frontiers of Combining Systems September 19-21, 2005, Vienna, Austria http://www.logic.at/frocos05/ Location: Festsaal (scientific program) and Böcklsaal (lunches and coffee breaks) TU Wien (Vienna University of Technology), Hauptgebäude Karlsplatz 13, 1st floor A-1040 Vienna (4th district) ******************************************************************************** Final Program of FroCoS 2005 Monday, September 19, 2005 08:45-09:20 Registration 09:20-09:30 Welcome 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 19:00 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 Virseda 12:00-12:30 Logical Analysis of Hash Functions by Dejan Jovanovic and Predrag Janicic 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 Juergen Giesl, Rene 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. A Tutorial Presentation by Egon Boerger 19:30 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 Isa2ExtW: Combination of Isabelle/HOL with Automatic Tools by Sergey Tverdyshev 12:00-12:30 BUSINESS MEETING 12:30-14:30 LUNCH BREAK 14:30 End of FroCoS 2005 15:00-17:00 Guided City Walk (for interested participants) ********************************************************************************