Patrick
BAILLOT
Chargé de recherche au CNRS (CNRS researcher)
LIP (UMR 5668)
ENS Lyon
46 Allée d'Italie,
69364 Lyon Cedex 07, France.
Bureau GN1 sud 317
Tel: (+33) 4 72 72 81 49 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:
workshop on
Develoments in Implicit Computational ComplExity (DICE 2010) , March 27-28. 2010 (at ETAPS 2010). Paphos, Cyprus.
FoSSaCS 2010 , March 20-28. 2010 (at ETAPS 2010). Paphos, Cyprus.
Winter school on Game Semantics and Linear Logic , February 8-12, 2010. Lyon. (Part of a series of 6 Winter Schools at ENS Lyon in January & February 2010).
workshop on
Foundational and Practical Aspects of Resource Analysis FOPARA'09 , November 3, 2009. Eindhoven.
Current projects:
Projet ANR COMPLICE : Complexité Implicite, Concurrence et Extraction (appel Blanc 08) (2009-2012),
Prochaine rencontre: vendredi 23/10/2009, LORIA, Nancy.
description: pdf. Sites partenaires: ENS Lyon (LIP), Université Paris 13 (LIPN), LORIA-INPL Nancy
Projet ANR NO-CoST :
Nouveaux Outils pour la Complexité : Sémantique et Types (New Tools for
Complexity: Semantics and Types) (appel Jeunes Chercheurs 05) (2005-2009).
Habilitation
à diriger les recherches (11/3/2008).
Conferences and workshops: FoSSaCS 2010 (PC member), LCC'09 (PC co-chair), FOPARA'09 (PC member), TLCA'09 (PC member),
CSL'08 (PC member).
Invited talks: PCC 2009 workshop, TLCA'07.
Sujets de stages (Master2) de l'équipe Plume
Curriculum Vitae (english)
Working groups / Seminars:
Groupe de travail
de l'équipe Plume.
Séminaire LIMD-Plume (Chambéry-Lyon).
Groupe de travail Complexité
Implicite (à Paris 13).
Personnel:
Le site artistique de mon frère Dominique.