Patrick
BAILLOT
Chargé de recherche au CNRS (CNRS researcher)
Postal address:
LIP (UMR 5668)
ENS Lyon
46 Allée d'Italie,
69364 Lyon Cedex 07, France.
Bureau : 364, GN1 Nord.
Tel: (+33) 4 72 72 85 47
Fax: (+33) 4 72 72 80 80
email:
patrick.baillot'at'ens-lyon.fr
Research team: Plume
Research interests: logic, types and lambda calculus, semantics, implicit computational complexity.
Previously I was at IML (Marseille), LFCS (Edinburgh), LIF (Marseille),
LIPN .
Some Events:
DICE 2013 :
4th International Workshop on Developments in Implicit Computational Complexity,
March 16th-17th, 2013, Rome, Italy, as part of ETAPS 2013 .
TLCA 2013
: International Conference on Typed Lambda Calculi and Applications, June 26-28, 2013, Eindhoven, The Netherlands.
CSR 2013
: 8th International Computer Science Symposium in Russia, June
25-29, 2013, Ekaterinburg, Russia.
Current projects:
Projet ANR COMPLICE : Complexité Implicite, Concurrence et Extraction (appel Blanc 08) (2009-2012),
description: pdf. Sites
partenaires: ENS Lyon (LIP), Université Paris 13 (LIPN), LORIA-INPL
Nancy
Projet France-Italie PICS
Logique linéaire et applications (2010-2012).
Habilitation
à diriger les recherches (11/3/2008).
Conferences and workshops: TLCA 2013
(PC), CSR 2013
(PC), LCC'12 (PC),
LICS 2011
(PC),
workshop DICE 2011 (PC), workshop DICE 2010 (chair), FoSSaCS 2010 (PC), LCC'09 (PC co-chair), FOPARA'09 (PC), TLCA'09 (PC),
CSL'08 (PC).
Invited talks: PCC 2009 workshop, TLCA'07.
Curriculum Vitae (english)
Working groups / Seminars:
Groupe de travail
de l'équipe Plume.
Séminaire LIMD-Plume (Chambéry-Lyon).
Personnel:
Le site artistique de mon frère Dominique.