UNIF'04 18th International Workshop on Unification
Cork, Ireland, July 5. 2004 at IJCAR 2004


Program

TimeTitleSpeaker
09:00 - 09:05 the organizers Opening
09:05 - 10:30 Session I Michael Kohlhase (chair)
09:05 - 10:05 Laurent Vigneron Automatic Verification of Security Protocols
10:05 - 10:30 Yannick Chevalier A Simple Constraint Solving Procedure for Protocols with Exclusive Or
10:30 - 11:00 Coffee Break
11:10 - 12:25 Session II Ralf Treinen (chair)
11:10 - 11:35 Stephanie Delaune and Florent Jacquemard Narrowing Based Constraint Solving for the Verification of Security Protocols
11:35 - 12:00 Calogero Zarba A Quantifier Elimination Algorithm for a Fragment of Set Theory Involving the Cardinality Operator
12:00- 12:25 Marco Alberti and Evelina Lamma Inference with Arbitrarily Quantified Variables
12:25 - 14:00 Lunch
14:00 - 15:40 Session III Manfred Schmidt-Schauß (chair)
14:00 - 14:25 Javier Alvez and Paqui Lucio Equational Constraint Solving using Quasi-solved Forms?
14:25 - 14:50 Lilia Georgieva Intelligent backtracking techniques for resolution decision procedures
14:50 - 15:15 Stephane Le Roux and Pierre Lescanne Solving Equations in a Language With Control Operators
15:15 - 15:40 Bahareh Badban, Jaco van de Pol, Olga Tveretina, Hans Zantema, Solving Satisfiability of Ground Term Algebras Using DPLL and Unification?
15:40 - 16:10 Coffee Break
16:10 - 17:25 Session IV Franz Baader (chair)
16:10 - 16:35 Temur Kutsia and Mircea Marin Unification Procedure for Terms with Sequence Variables and Sequence Functions
16:35 - 17:00 Martin Plümicke Type Unification in Generic-Java
17:00 - 17:25 Joseph Goguen and Monica Marcus Scritical Pairs and Sunification (talk given by Laurent Vigneron)
17:30 - 18:00 UNIF business meeting