Alexis Saurin

Actualités scientifiques

• (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)

Pour me contacter:

Le plus simple est le courrier électronique: prénom.nom@pps.jussieu.fr.
Vous pouvez également utiliser le bon vieux courrier postal:
Alexis Saurin
Laboratoire PPS
Université Paris Diderot - Paris 7
Case 7014
75205 PARIS Cedex 13

Pour me rendre visite:

Vous me trouverez sur l'un des deux sites du laboratoire:

• sur le site Place d'Italie (23, avenue d'Italie, 75013 Paris), le plus souvent, dans le bureau 32;
• sur le site Chevaleret (175, rue du Chevaleret, 75013 Paris), dans le bureau 5A16.
Pour savoir plus précisément où me trouver, plusieurs moyens:
• m'appeler au 01 39 63 58 38: si je réponds, c'est que je suis Place d'Italie. Sinon, mes collègues de bureau sauront peut-être vous renseigner.
• en regardant le calendrier ci-dessous où je tenterai d'indiquer mes prévisions de présence dans l'un ou l'autre bureau. Si rien n'est indiqué, c'est que je suis probablement Place d'Italie.

Quelques collègues et amis:

Pointeurs vers quelques collègues et amis chercheurs (maths, info, logique, sciences humaines): David Baelde, Adrien Deloro, Etienne Duchesne, Germain Faure, Marco Gaboardi, Aurélien Galateau, Antonin Guilloux, Stéphane Lengrand, Assia Mahboubi, Damiano Mazza, Olivier Milhaud, Joseph Najnudel, Michele Pagani, Magali Reghezza-Zitt, Christine Tasson, Pierre-Victor Tournier, Noam Zeilberger, ...