UNIF'97 Program

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


[Past UNIF meetings] [UNIF main page]
This page is copied from the original UNIF'97 web site by Siva Anantharaman.
Ralf Treinen
November 24, 2000