Ewing Lusk
Stephen, Philip Tubbs
Philippe Codognet
Manuel Hermenegildo
David H. D. Warren
Jorge Lobo
Verónica Dahl
Kees Doets
Krzysztof R. Apt
Bob Zeidman
D. Kozen
Dov M. Gabbay
Leonard Bolc
Jean-Marc Alliot
Santo Banerjee
France) Journées francophones de programmation logique et programmation par contraintes (9e 2000 Marseille
Koichi Furukawa
James O. Hamblen
Kim Marriott
Rohit Parikh