Contracts and grants - Laboratoire de Recherche en Informatique

#	Period	Type	Name	Principal investigator

101.	2012 - 2015	ANR	Typex Typeful certified XML: : integrating language, logic, and data- oriented best practices	BENZAKEN Véronique

102.	2010 - 2013	ANR	pimi pimi

103.	2010 - 2013	ANR	TEOMATRO TEOMATRO	FORGE David

104.	2011 - 2015	ANR	Paral-ITP Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems	WOLFF Burkhart

105.	2011 - 2019	ANR	DIGISCOPE High performance infrastructure for interactive and collaborative visualization	BEAUDOUIN-LAFON Michel

106.	2011 - 2019	ANR	DIGISCOPE High performance infrastructure for interactive and collaborative visualization	BEAUDOUIN-LAFON Michel

107.	2011 - 2015	ANR	DIQIP DIQIP

108.	2011 - 2012	ANR	FITTING FITTING	AL AGHA Khaldoun

109.	2011 - 2014	ANR	MDGest Interacting with Multi-Dimensional Gestures	APPERT Caroline

110.	2011 - 2012	ANR	PSN(SAFETY) PSN(SAFETY)	MARTIN Steven

111.	2011 - 2012	ANR	VNC VNC	AL AGHA Khaldoun

112.	2012 - 2016	ANR	Bware Bware

113.	2012 - 2016	ANR	QUALINCA QUALINCA	SAÏS Fatiha

114.	2013 - 2016	ANR	PAGODA Practical Algorithms for Ontology-Based Data Access

115.	2013 - 2016	ANR	IDEX IMSV IDEX IMSV

116.	2012 - 2016	ANR	LOGIMA LOGIMA

117.	2013 - 2016	ANR	GREEN-DYSPAN GREEN-DYSPAN

118.	2011 - 2019	ANR	DIGISCOPE High performance infrastructure for interactive and collaborative visualization	BEAUDOUIN-LAFON Michel

119.	2009 - 2013	ANR	MSLN MSLN	MACKAY Wendy

120.	2012 - 2015	ANR	VERASCO VERASCO	MELQUIOND Guillaume

121.	2016 - 2021	ANR	Datacert Datacert	CONTEJEAN Evelyne

122.	2011 - 2014	ANR	ECS ECS

123.	2010 - 2014	ANR	FP3C FP3C

124.	2011 - 2013	ANR	PETAL-H PETAL-H

125.	2010 - 2014	ANR	RESCUE RESCUE


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