UNIF'97
International Unification Workshop
JFPLC'97
French Conference on Logic Programming and
Constraint Programming
Journées Francophones de Programmation
Logique et Programmation par Contraintes