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

Vienna, 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

FroCoS 2005 - Final Program

Venue

   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)

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 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 Börger
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)

frocos05@logic.at