Patrick BAILLOT

Patrick Baillot Directeur de recherche au CNRS (CNRS researcher)

mailing adress:
LIP (UMR 5668)
ENS Lyon
46 Allee d'Italie,
69364 Lyon Cedex 07, France.

Bureau : 329, GN1 Sud.
Tel: (+33) 4 72 72 89 01 (* new *)
Fax: (+33) 4 72 72 80 80
email: patrick.baillot'at'ens-lyon.fr

Leader of the Plume (Proofs and languages) research team.

Research interests: logic, types and lambda calculi, semantics, implicit computational complexity.

Master 2 internship proposal: here . And some other proposals in the Plume team.

Some Events:

  • DICE 2016 : 7th Workshop on Developments in Implicit Computational Complexity, April 2-3, 2016, Eindhoven. @ETAPS 2016.
    DICE workshops series

    Past events

    Current projects:

  • Elica (ANR "projet cooperatif", 2014-2019)

    Past projects

    Publications

    PhD and Master students

    Enseignement


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

    Personnel:

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