UNIF 2000 Program

Friday, June 16

9:00 Combining Decision Procedures for the word problem
  Franz Baader (RWTH Aachen, Germany), Cesare Tinelli (University of Iowa)
10:00 Coffee Break
10:30 Congruence closure and syntactic unification
  Leo Bachmair, Ashish Tiwari (SUNY at Stonybrook)
11:00 Goal-directed completion of noncommutative Gröbner bases
  Ben Keller (Virginia Tech.), Chris Lynch (Clarkson Univ.)
11:30 End of Session
12:00 Lunch
1:30 Learning a Semantic Lexicon for a Unification Grammar (Invited Talk)
  Andrew Haas (Univ. at Albany --- SUNY)
2:30 On the search for a phase transition in AC-matching
  Thomas Raffill (University of California at Santa Cruz)
3:00 Normal forms and reduction for theories of binary relations
  Dan Dougherty, Claudio Gutierrez (Wesleyan University)
3:30 Break
4:00 Business Meeting
4:30 End of Workshop

[Past UNIF meetings] [UNIF main page]
This page is copied from the original UNIF 2000 web site by Paliath Narendran and Christopher Lynch.
Ralf Treinen
November 24, 2000