Manifestations scientifiques, missions
Antonia Balaa et Yves Bertot
ont présenté leurs travaux à TPHOLs2000.
Antonia Balaa et Nicolas Magaud
ont participé à l'école d'été APPSEM'2000 qui a eu lieu en septembre 2000 à Caminha, Minho, Portugal.
Yves Bertot
a été invité pour un tutorial Coq à la conférence TPHOL (Theorem Proving in Higher Order Logics) qui a eu lieu en août 2000 à Portland, Oregon, Etats-Unis.
Yves Bertot, Loïc Pottier, Laurence Rideau et Laurent Théry
se sont rendus fin juin au LORIA pour participer à la réunion de l'ARC AOC et mi-novembre à l'École Normale Superieure de Lyon pour participer au groupe de travail AOC.
Hanane Naciri
a participé à l'ecole de jeunes chercheurs en programmation EJC'2000, qui a eu lieu en Mars à l'ENS de Lyon. Elle a présenté ses travaux à JED'2000, journée Ecrit et Document, spéciale jeunes chercheurs des colloques CIFED'2000 (Colloque International Francophone sur l'Ecrit et le document) et CIDE'2000 (Colloque International sur le Document Electronique), qui s'est déroulée en Juillet 2000 à Lyon. Elle a participé à l'école thématique "Nouveaux défis en Sciences de l'Information : Documents et Evolution" qui a eu lieu en septembre 2000 à Marseille, et au 5ème colloque Africain sur la Recherche en Informatique, CARI'2000 du 16 au 19 octobre 2000 à Antananarivo, Madagascar.
Claude Pasquier
a participé au Workshop XOT [
9
].
Loïc Pottier
a participé à la journée sur les prouveurs organisée par l'équipe Coq à Rocquencourt.
Laurence Rideau
a participé à la 1ère conférence internationale sur MathML du 19 au 21 octobre à Urbana-Champaign, Illinois.
Laurent Théry
s'est rendu à l'université de Pise (Italie) fin février début mars, fin mai à l'INRIA Rocquencourt pour donner un exposé dans le cadre du séminaire Coq, à l'université de l'Aquila (Italie) fin octobre début novembre.