Les membres du GdT LAC sont associés aux projets ANR suivants:


  • Méthodes catégoriques et logiques en transformations de modèles (Climt).
    Responsable: Rachid Echahed.
    Date début: 15/2/2012
    Date fin: 14/2/2016


  • PiCoq.
    Responsable: Alan Schmitt.
    Dates: 2011-2014
    Page web: http://sardes.inrialpes.fr/collaborations/PiCoq/index.php


  • Complexité implicite, Concurrence et Extraction (COMPLICE).
    Responsable: Patrick Baillot.
    Date début: 1/1/2009
    Date fin: 31/12/2012
    Page web: http://www-lipn.univ-paris13.fr/complice/


  • Proof Search Control in interaction with Domain-specific methods (PSI).
    Responsable: Stéphane Lengrand.
    Date début: 01/09/2009
    Date fin: 31/10/2013
    Page web: http://www.lix.polytechnique.fr/~lengrand/PSI/


  • Formal proOfs of Scientific compuTation programs (FOST).
    Responsable: Sylvie Boldo.
    Dates: 2009-2011
    Page web: http://fost.saclay.inria.fr/


  • Curry-Howard pour la concurrence (CHOCO).
    Responsable: Thomas Ehrhard.
    Date début: 1/11/2007
    Date fin: 30/4/2011
    Page web: http://choco.pps.jussieu.fr/


  • Security of Cryptographic ALgorithms with Probabilities (Scalp).
    Responsable: Yassine Lakhnech.
    Dates: 2008-2011
    Page web: http://scalp.gforge.inria.fr/


  • Géométrie, algorithmes, preuves (GALAPAGOS).
    Responsable: Yves Bertot.
    Dates: 2008-2010
    Page web: http://galapagos.gforge.inria.fr/



  • Safety and Security under Focal (SSURF).
    Responsable: Mathieu Jaume.
    Dates: 2007-2010
    Page web: http://www-spi.lip6.fr/~jaume/ssurf.html


  • Rewriting and Approximations for Java Applications Verification (RAVAJ).
    Responsable: Thomas Genet.
    Dates: 2007-2010
    Page web: http://www.irisa.fr/celtique/genet/RAVAJ/


  • Theory and Application of Deep Inference (INFER).
    Responsable: Lutz Straßburger.
    Dates: 2006-2008
    Page web: http://www.lix.polytechnique.fr/~lutz/orgs/infer.html


  • Nouveaux Outils pour la Complexité : Sémantique et Types (NO-COST).
    Responsable : Patrick Baillot.
    Dates: 2005-2008
    Page web: http://www-lipn.univ-paris13.fr/nocost/


  • Ingénierie de modèles et méthodes formelles intégrées pour le développement des logiciels de vols spatiaux (SPaCIFY).
    Responsable: David Chemouil.
    Dates: 2006-2008
    Page web: http://spacify.gforge.enseeiht.fr/

  • Safe Pointer-Based Data Structures: A Declarative Approach to their Specification and Analysis (ARROWS).
    Responsable: Rachid Echahed.
    Dates: 2006-2008
    Page web: http://arrow.irccyn.ec-nantes.fr/


  • MoDyFiable.
    Responsable : Tom Hirschowitz.
    Dates: 2006-2008
    Page web: http://www.lama.univ-savoie.fr/~hirschowitz/mody


  • Assister automatiquement les assistants de preuve avec des traces (A3PAT).
    Responsable: Xavier Urbain.
    Dates: 2005-2008
    Page web: http://a3pat.ensiie.fr/


  • Certification de Programmes d'Analyse Numérique (CerPAN).
    Responsable: Micaela Mayero.
    Dates: 2005-2008
    Page web: http://www-lipn.univ-paris13.fr/CerPAN/



    This document was translated from LATEX by HEVEA.