| Wednesday May 28 | Museum Lecture Hall 2 - Orléans |
| 8.45 - 9.30 |
Unif'97 Registration (Proceedings, late banquet inscription etc.) |
| 9.30 - 10.30 |
John Alan Robinson (Syracuse) "Unification and Resolution in retrospect" (** Unif'97-Jfplc'97 Invited Talk - Museum Lecture Hall 1 **) |
| 10.30 - 11.00 | Coffee break |
| 11.00 - 11.30 |
C.Lynch (Clarkson) "Grammatical Compilation of Equational Theories" |
| 11.30 - 12.00 |
S. Limet - P. Réty (Orléans) "Decidability of E-Disunification by means of Tree Tuple Synchronized Grammars" |
| 12.00 - 12.30 |
A. Middledorp (Tsukuba) "Decidable Call by Need Computations in Term Rewriting" |
| 12.45 - 14.15 | Lunch |
| 14.30 - 23.00 |
Excursion to the royal Chateau de la Loire at BLOIS (60 kms SWW of Orléans). Guided visit of app. 1h 30. Brief visit of the city. Back in Orléans around 19h30. Banquet at the picturesque (Loiret) riverside restaurant "Le Rivage" in Olivet. |
| Thursday May 29 | Lecture Hall at the Mediathèque, near Hotel IBIS |
| 9.30 - 10.00 |
C. Scharff (Nancy) - C. Lynch (Clarkson) "Basic Completion and E-cycle Simplification" |
| 10.00 - 10.30 |
K. Konrad (Saarebruecken) "Coloured Higher-Order Unification in Computational Semantics and Analogy" |
| 10.30 - 11.00 | Coffee break |
| 11.00 - 11.30 |
F. Baader (Aachen) - P. Narendran
(Albany-US) "Unification of Concept Terms" |
| 11.30 - 12.00 |
D. Lugiez (Nancy) "Constrained Automata and Sufficient Completeness (AC axioms and Presburger arithmetic)" |
| 12.00 - 12.30 |
E. Contejean - A. Boudet (Orsay) "AC-Unification of Higher-order Patterns" |
| 12.45 - 14.15 | Lunch at IBIS |
| 14.30 - 15.00 |
F. Ajili (Nancy) - H. Lock (Karlsruhe) "Cooperating Propagation Techniques and Solving Linear Diophantine Constraints" |
| 15.00 - 15.30 |
S. Kepser - K. Schulz (Munich) "Combination of Negated Constraints" |
| 15.30 - 16.00 |
C. Ringeissen (Nancy) "Efficient Combination of Constraint Solvers for Regular and Collapse-Free Amalgamations" |
| 16.00 - 16.30 | Coffee break |
| 16.30 - 17.00 |
M. Venturini Zilli (Rome) "Synchronization of Processes and Unification" |
| 17.00 - 17.30 |
Q. Guo - P. Narendran - S.K. Shukla (Albany-US) "On Solving Equations in Process Algebras" |
| 17.30 - 18.15 | UNIF Business Meeting |
| Friday May 30 | Lecture Hall at the Mediathèque, near Hotel IBIS |
| 9.30 - 10.00 |
M. Schmidt-Schauss (Frankfurt) "Stratified Context-Unification: Some improvements" |
| 10.00 - 10.30 |
Femke Van_Raamsdonk (Amsterdam+INRIA) "Translating logic programs into Conditional Rewriting Systems" |
| 10.30 - 11.00 | Coffee break |
| 11.00 - 11.30 |
F. Saubion - G. Richard (Orléans) "Answer Synthesis as a Formalism for Validation" |
| 11.30 - 12.00 |
Z. Maazouzi et al (Orléans) "A Conditional Rewrite based Method for designing Circuits" |
| 12.15 - 13.45 | Lunch at IBIS |
| 14.00 - 14.30 |
D. Briaud (Nancy) "Explicit Substitutions and Preunification: A Simple Approach" |
| 14.30 - 15.00 |
E. Deplagne - A. Tellez-Arenas (Orléans) "A practical Analysis of Explicit Substitutions Calculi" |
| 15.30 - 17.30 |
Unif'97 Demos at the University Campus - Implementation of explicit substitutions calculi under ELAN - Integrating Integer constraints in Conditional Term Rewriting |
| ** 17.30 ** | End of Unif'97 |