![[previous]](../img/prev.gif){kind=small}
![[up]](../img/up.gif){kind=small}
![[next]](../img/next.gif){kind=small}
| UNIF 2002 | | 16th
International Workshop on Unification |
Future link: UNIF'03 is at http://www.dsic.upv.es/~rdp03/unif/.
UNIF is the main international meeting on unification. Unification is concerned with the problem of identifying given terms, either syntactically or modulo a given logical theory. Syntactic unification is the basic operation of most automated reasoning systems, and unification modulo theories can be used, for instance, to build in special equational theories into theorem provers.
Workshop web page with more information
http://unif2002.lri.fr/Invited speakers
- Nachum Dershowitz, Tel Aviv U,
Israel and Claude Kirchner, LORIA Nancy, France
Abstract canonical inference systems - Michael Kohlhase, Carnegie
Mellon U, USA
Sorted higher-order unification - Christopher Lynch, Clarkson U,
USA
Decidability and complexity of e-unification for some classes of equational theories
Organizers
- Ralf Treinen <Ralf.Treinen@lri.fr>, U Paris XI (Paris-Sud), France
- Christophe Ringeissen <Christophe.Ringeissen@loria.fr>, LORIA Nancy, France
- Cesare Tinelli <tinelli@uiowa.edu>, U Iowa, USA
- Rakesh M. Verma <rverma@uh.edu>, U Houston, USA
| FLoC |
|
| MEETINGS |
|
| PROGRAM |
|
| FACILITIES |
|
| COPENHAGEN |
|
| MISCELLANEOUS |
|
