Patrick BAILLOT

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 : à partir du 4/11/2011: N3/175, batiment LUG (accès).
                   jusqu'au 3/11/2011: GN1 sud 317,

Tel: from Nov. 4, 2011: (+33) 4 37 28 76 46
                 before that: (+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:

  • Logic and interactions 2012 , January 30 – March 2, 2012, CIRM, Marseille.
  • DICE 2012 , 3rd International Workshop on Developments in Implicit Complexity, 31/3 and 1/4, 2012, Tallinn.

    Past events

    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).

    Past projects

    Publications

    Enseignement


    Habilitation à diriger les recherches (11/3/2008).

    Conferences and workshops: 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:

    Cheval machine (par Dominique Baillot)
    Le site artistique de mon frère Dominique.