Contracts and grants - Laboratoire de Recherche en Informatique

#	Period	Type	Name	Principal investigator

176.	2005 - 2008	Contrat europeen	WS-DIAMOND Web Services - DIAgnosability, MONitoring and Diagnosis

177.	2008 - 2010	ANR	VERAP Approximate Veri?cation of Probabilistic Systems

178.	2007 - 2009	Subvention	GT CMF Complexity and Finite Models

179.	2003 - 2006	Subvention	VERA Approximate verification

180.	2017 - 2018		BRAINTIME BRAINTIME	DECELLE Aurélien

181.	2016 - 2016	Subvention	AAP 2016 A.D AAP 2016 A.D	DECELLE Aurélien

182.	2017 - 2018		Myndblue Myndblue	DECELLE Aurélien

183.	2005 - 2009	ANR	SOGEA Security Of Games. Equilibria and distributed Algorithms.	DELAËT Sylvie

184.	2014 - 2017	DIGITEO	C&O C&O

185.	2017 - 2019	Industriel	17OCTOPE HAY 17OCTOPE HAY	DOAN Bich-Liên

186.	2009 - 2011	ANR	Cosinus-PETAQCD Cosinus-PETAQCD	EISENBEIS Christine

187.	2009 - 2011	DIGITEO	ITOC ItoC	FALCOU Joël

188.	2010 - 2013	DIGITEO	FLUCTUS FLUCTUS	FALCOU Joël

189.	2011 - 2012	Industriel	AIMA METASCALE (OSEO) AIMA METASCALE (OSEO)	FALCOU Joël

190.	2017 - 2018	Subvention	RCO RCO	FDILI ALAOUI Sarah

191.	2017 - 2018	Subvention	SKIN SKIN	FDILI ALAOUI Sarah

192.	2016 - 2016	Subvention	AAP 2016 S.F.A AAP 2016 S.F.A	FDILI ALAOUI Sarah

193.	2005 - 2009	ANR	Dsslab Dsslab

194.	2008 - 2009	Contrat europeen	EDGeS EDGeS

195.	2005 - 2009	ANR	CAT C Analysis Toolbox	FILLIÂTRE Jean-Christophe

196.	2015 - 2020	ANR	VOCAL VOCAL	FILLIÂTRE Jean-Christophe

197.	2005 - 2009	ANR	CerPAN Certification of numerical analysis programs	FILLIÂTRE Jean-Christophe

198.	2015 - 2015	Subvention	AAP2015 C.F. AAP2015 C.F.

199.	2010 - 2013	ANR	TEOMATRO TEOMATRO	FORGE David

200.	2003 - 2006	Subvention	PAIR A PAIR PAIR A PAIR


Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - 10 - Suivant - Dernière page [Page 8 sur 22]