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