426.

2003 - 2005

RNTL

COP
COP

427.

2001 -

Industriel

COMPAQ
COMPAQ

428.

2015 - 2019

Contrat europeen

OpenDreamKit
Open Digital Research Environment Toolkit for the Advancement of Mathematics

429.

2009 - 2012

ANR

SHAMAN
SHAMAN Self-organizing and Healing Architectures for Malicious and Adversarial Networks

430.

2004 - 2008

Subvention

FRAGILE
Tolerance aux défaillances et intégrité garantie par les applications dans les systèmes à grande échelle

431.

2004 - 2007

ANR

SR2I
Sécurité du routage interdomaine dans l'internet

432.

2011 - 2019

Subvention

ARSCPMD
ARSCPMD

433.

2017 - 2017

Subvention

RESTO
RESTO

434.

2017 - 2019

OPLa
OPLa

435.

2018 - 2018

Subvention

RESTO 2018
RESTO

436.

2017 - 2018

DIPLab
DIPLab

437.

2009 - 2012

DIGITEO

PACTOLE
PACTOLE

438.

2005 - 2009

ANR

A3PAT
Assister Automatiquement les Assistants de Preuve avec des Traces

439.

2018 - 2020

autre financeur public

ITEA 3 QUANTEX
ITEA 3 QUANTEX

440.

2018 - 2018

Industriel

18BULLGOUBAU
18BULL GOUBAU

441.

2017 - 2021

ANR

SOFTQPRO
SOFTQPRO

442.

-

Industriel

MATRA
MATRA

443.

2012 - 2013

Subvention

Updates
Updates

444.

2013 - 2013

Contrat europeen

KIC 2013 - CATALYST LEAD I&E MOD
CATALYST LEAD I&E MODULE

445.

2011 - 2012

DIGITEO

ICTSSv3
ICTSSv3

446.

2012 - 2016

Contrat europeen

EURO-MILS
EURO-MILS

447.

2011 - 2015

ANR

Paral-ITP
Parallélisation des systèmes de preuve interactifs de haute fiabilite

448.

2007 - 2010

ANR

WebMov
Modélisation et Validation de Services Web

449.

2015 - 2015

Subvention

SUBVENTION GDR
SUBVENTION GDR