France) Journées francophones de programmation logique et programmation par contraintes (9e 2000 Marseille
Philippe Codognet
Jorge Lobo
Rohit Parikh
Richard A. O'Keefe
Dominique Snyers
PLILP '88 (1988 Orléans, France)
Robert Goldblatt
International Symposium on Logic Programming (1984 Atlantic City, N.J.)
North Atlantic Treaty Organization
Evan Tick
Richard Lassaigne
Jean-Pierre Jouannaud
C. E. V. Madhavan
Pierpaolo Degano
Ontario.