Actualités scientifiques
- (février 2012) Classical call-by-need sequent calculi: The unity of semantic artifacts a été accepté à FLOPS 2012;
- (février 2012) Début du cours au LMFI;
- (janvier 2012) Le programme de la troisième semaine des rencontres Logique et Interaction 2012 est accessible en ligne<;
- (décembre 2011) Böhm theorem and Böhm trees for the Λμ-calculus a été accepté pour publication à TCS;
- (décembre 2011) Visite de Silvia Ghilezan à PPS dans le cadre du projet SEMACODE;
- (novembre 2011) Je donnerai en avril 2012 un exposé lors d'une session spéciale intitulée "Structural Proof Theory and Computing" à l'occasion du congrès annuel 2012 de l'ASL (Association of Symbolic Logic) qui se tiendra aux USA à Madison, Wisconsin
- (novembre 2011) Les inscriptions pour LI2012 sont ouvertes jusqu'au 19 décembre. Pensez à proposer un exposé pour la deuxième semaine sur le thème Preuves et Programmes avant le 15 décembre (ainsi qu'aux autres semaines...);
- (9 octobre 2011) Un Jour Très Important;
- (octobre 2011) Arrivée de Pierre-Marie Pédrot qui effectuera sa thèse sous la direction d'Hugo Herbelin et sous ma co-direction;
- (septembre 2011) Visite de Zena Ariola dans le cadre de l'EA SEMACODE;
- (septembre 2011) J'enseignerai un cours d'introduction à l'informatique au second semestre à la Maison d'arrêt de Fresnes, dans le cadre du DU Lettres et Sciences Humaines de la Section des Étudiants Empêchés de l'Université Paris Diderot.
- (été 2011) Paul Downen et Luke Maurer, étudiants à l'université d'Oregon, sont en stage au laboratoire pour l'été;
- (juin-juillet 2011) Oraux des Écoles normales supérieures;
- (29-30 mai 2011) Workshop TPDC 2011 à Novi Sad (Serbie);
- (printemps 2011) J'enseignerai avec Thomas Ehrhard le module Lambda-calcul et preuves du Master 2 Logique et Fondements de l'Informatique;
- (printemps 2011) Je participerai au comité scientifique des semaines Logique et Interaction 2011 qui se tiendront au CIRM (Luminy) au mois de février 2012;
- (printemps 2011) Comité de programme ICFP 2011;
- (5/11/10) La semaine du 15 au 20/11 sera chargé: rencontres LAC les 16 et 17, colloque du groupe LIGC du 18 au 20;
- (29/10/10) Je suis rentré du Brésil et participerai à la rencontre du projet CHOCO le 4 novembre à l'ENS-Lyon;
- (18/10/10) Je suis membre du comité de programme d'ICFP 2011: pensez dès maintenant à soumettre à cette conférence;
- (1/09/10) J'organise, avec Claudia Faggian et Jean Krivine, le séminaire du laboratoire PPS: proposez-nous des exposés!
- (1/09/10) Avec Delia Kesner, je co-organise la réunion du Groupe de Travail LAC (Logique, Algèbre et Calcul) qui se tiendra à PPS à la mi-novembre. Plus d'informations ici;
- (11/10/10-29/10/10) Visite à l'université du Minas Gerais (Bréil) dans le cadre du programme INRIA--FAPEMIG;
- (15/06/10-30/06/10) Participation à l'École d'Été OPLSS (Oregon Programming Language Summer School, Eugene, Oregon, USA);
- (17/04/10-2/05/10) Participation à FLOPS 2010 et visite scientifique au RIMS;
- (23-28/03/10) Participation à ETAPS 2010;
- (16/03/10) From the Focalization of Logic to the Logic of Focalization en collaboration avec Michele Basaldella et Kazushige Terui a été accepté à MFPS 2010;
- (4/03/10) Exposé au séminaire du département d'informatique de l'Université d'Oregon;
- (fev-mars 2010) du 21 février au 18 mars, je suis à Eugene dans l'Oregon, pour une collaboration avec Zena Ariola dans le cadre du projet NSF Foundations for Effects et pour donner un cours aux graduate students en informatique;
- (10/02/10) Exposé au séminaire CONTRAINTES, INRIA Rocquencourt;
- (3/02/10) Séminaire à Novi Sad;
- (jan-fev 2010) Collaboration scientifique à Novi Sad avec Silvia Ghilezan (Projet TLIT) et Workshop on Formal Aspects of Theorem Proving and Applications à Berlgrade;
- (18/01/10) Exposé au séminaire du LIPN, Université Paris 13;
- (23/12/09) Standardization and Böhm Trees for Λμ-calculus a été accepté à FLOPS 2010;
- (11/12/09) Je suis lauréat du prix ASTI 2009;
- (12/12/09) A hierarchy for delimited continuations in call-by-name a été accepté à FOSSACS 2010. Vous le trouverez ici, avec mes autres publications scientifiques;
- Quelques conférences, workshops et écoles intéressants dans mon domaine de recherche:
- Je suis membre du comité de programme du workshop GaLoP 2010 qui fait partie d'ETAPS 2010;
- La conférence FOSSACS 2010;
- FLOC 2010, grand rassemblement autour de la logique et de l'informatique;
- Une école d'hiver à Lyon.
- Exposé donné lors de la journée organisée par le projet PANDA à PPS
- Une exposé donné au LABRI à Bordeaux (le 17/11/09)