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.