FroCoS 2005 - 5th International Workshop on Frontiers of Combining Systems
Vienna, Austria, September 19-21, 2005
|
|
FroCoS 2005 - 5th International Workshop on Frontiers of Combining SystemsVienna, Austria, September 19-21, 2005 |
|
| 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 |
 |
proceedings |
|
|
photos |
| 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' |
| 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 |
| 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) |