Les démonstrations

• «Cabri-3d» Safwan Qasem (Imag, Grenoble)
• «Calico» Isabelle Dutour
• «Coq» Christine Paulin (LRI, Orsay)
• «Résolution de contraintes numériques en Declic» Frédéric Goualard, Laurent Grandvilliers (Lifo, Orléans)
• «Prolog» Olivier Ridoux (Irisa, Rennes)
• «VRcaML: une bibliothèque de manipulation d'objets 3D en Caml et de traduction en VRML» Jean-Baptiste Lalanne et Nadine Richard (Paris 6)
• «Démonstration automatique et conception de circuits logiques programmables» N. Andrianarivelo, Wadoud Bousdira, J. Chabin et Zahir Maazouzi (Lifo, Orléans)