The Coq mailing list

[Christine Paulin <Christine.Paulin AT lri.fr>]

Nous organisons une formation Coq du 20 au 22 decembre a l'INRIA
Rocquencourt. Cette formation est destinee a des personnes n'ayant pas
de connaissances particulieres en theorie des types mais souhaitant
developper des modelisations en Coq.
Le nombre de place est tres limite (10).
Les informations pratiques ainsi qu'un programme provisoire de cette
formation peuvent etre consultes a 
          http://coq.inria.fr/formation.html
Les personnes interessees sont invitees a 
    1- remplir le formulaire d'inscription officiel
    2- m'indiquer par e-mail leur souhait de participation ainsi que 
quelques lignes decrivant:
         - leurs connaissances dans les domaines suivants : 
programmation fonctionnelle, methodes formelles, outils de preuve
         - leur attente vis a vis de cette formation 

Cordialement,
Christine Paulin.
-- 
  Christine Paulin-Mohring             mailto : 
Christine.Paulin AT lri.fr
  LRI, URA 410 CNRS, Bat 490, Université Paris Sud,   91405 ORSAY Cedex 
  LRI   tel : (+33) (0)1 69 15 66 35       fax : (+33) (0)1 69 15 65 86
  INRIA tel : (+33) (0)1 39 63 54 60       fax : (+33) (0)1 39 63 56 84