The Coq mailing list

[demri <demri AT lsv.ens-cachan.fr>]

Vous trouverez ci-dessous l'annonce de la soutenance HdR de Jean-Michel
Couvreur.

Cordialement, Stéphane.


Le 4 juin 04, à 14:37, Jean-Michel Couvreur a écrit :

> Bonjour à tous,
>
> J'ai le plaisir de vous annoncer que je passerai mon habilitation le
>         mardi 6 juillet 2004 à 14h
>         Pavillon des jardins (ENS de Cachan).
>
> Le titre de mon mémoire est :
>         "Contribution à l'algorithmique de la vérification"
>
> et sera défendu face au jury composé de :
>         Pierre Wolper (rapporteur) (Institut Montefiore, Univ. de Liège)
>         Igor Walukiewicz (rapporteur) (LaBRI, Univ. Bordeaux I)
>         Serge Haddad (rapporteur) (LAMSADE, Univ. Paris-Dauphine)
>         Paul Gastin (LIAFA, Univ. de Paris VII)
> 	Javier Esparza (Institute of Formal Methods in Computer Science, 
> Univ. de Stuttgart)
>         André Arnold (LaBRI, Univ. Bordeaux I)
>         Philippe Schnoebelen (LSV, ENS de Cachan)
>         Alain Finkel (LSV, ENS de Cachan)
>
> Amicalement,
>         Jean-Michel