Francois Maurel
Je suis en thèse à PPS. Je travaille principalement sur la ludique et
en particulier sur la ludique probabiliste.
Evénements futurs
Exposés prévus
Publications
- Nondederministic Light Logics and NP-Time.
Version ps.gz.
In Martin Hofmann editor, 6th International Conference, TLCA 2003,
June 2003,
Proceedings.
© Springer-Verlag.
- The qnu and qnuK calculi, name capture and control.
[avec Sylvain Baro]
Prépublication PPS PPS//03/11//n°16, Extended Abstract.
Exposés
Sur la ludique probabiliste
- Le mardi 7 janvier 2003 au groupe de
travail sémantique de PPS.
- Le mardi 7 mai 2002 au groupe de
travail sémantique de PPS.
- Le mardi 5 novembre 2002 au
séminaire de l'équipe logique, calcul et raisonnement de
Villetaneuse.
- Le jeudi 24 octobre 2002 au département d'informatique de
Cambridge.
- Le mardi 7 mai 2002 au groupe de
travail sémantique de PPS.
- Le jeudi 20 février 2002 aux journées logique et
intéraction du CIRM à Marseille du 28 janvier au 1 mars 2002.
Sur les logiques légères et la complexité NP
Sur le qNu-calcul
Enseignement
Programmation
Mes coordonnées
Francois Maurel
Equipe PPS, case 7014
Bureau 6C12,
175, rue du Chevaleret,
75013 PARIS,
FRANCE.
Tel : (+33) (1) 44 27 28 38
E-mail : francois.maurel AT pps.jussieu.fr
Pour revenir à PPS :
http://www.pps.jussieu.fr/
