# |
 Period  |
Type |
Name |
Principal investigator |
 |
226. |
2008 - 2009 |
Contrat europeen |
|
|
|
227. |
2008 - 2012 |
Contrat europeen |
HiPEAC 2European Network of Excellence on High Performance and Embedded Architecture and Compilation |
|
|
228. |
2008 - 2011 |
Contrat europeen |
CSQIPCollaborative student training in Quantum Information Processing |
|
|
229. |
2002 - 2005 |
Contrat europeen |
|
|
|
230. |
2003 - 2008 |
Contrat europeen |
|
|
|
231. |
2005 - 2008 |
Contrat europeen |
|
|
|
232. |
2004 - 2008 |
Contrat europeen |
|
|
|
233. |
2004 - 2008 |
Contrat europeen |
TYPESTypes for Proofs and Programs |
|
|
234. |
2006 - 2009 |
Contrat europeen |
QOSCOSGRIDQuasi Opportunistic Supercomputing for Complex Systems in Grid Environments |
|
|
235. |
2006 - 2008 |
Contrat europeen |
|
|
|
236. |
2008 - 2011 |
Contrat europeen |
FVOOSFormal Verification of Object-Oriented Programs |
|
|
237. |
2008 - 2009 |
Contrat europeen |
|
|
|
238. |
2004 - 2008 |
Contrat europeen |
Rex CoreGridEuropean Research Network on Foundations, Software Infrastructures and Applications for large scale distributed, Grid and Peer-to-Peer Technologies |
|
|
239. |
2010 - 2013 |
Contrat europeen |
|
|
|
240. |
2010 - 2014 |
Contrat europeen |
|
|
|
241. |
- |
Contrat europeen |
|
|
|
242. |
2012 - 2016 |
Contrat europeen |
|
|
|
243. |
2012 - 2015 |
Contrat europeen |
|
|
|
244. |
2010 - 2014 |
Contrat europeen |
HYCON 2Highly-complex and networked control systems |
|
|
245. |
2011 - 2011 |
Contrat europeen |
|
|
|
246. |
2013 - 2018 |
Contrat europeen |
CREATIVCreating Co-adpative Human-Computer Partnerships |
|
|
247. |
2013 - 2013 |
Contrat europeen |
|
|
|
248. |
2012 - 2012 |
Contrat europeen |
|
|
|
249. |
2012 - 2015 |
Contrat europeen |
|
|
|
250. |
2015 - 2019 |
Contrat europeen |
OpenDreamKitOpen Digital Research Environment Toolkit for the Advancement of Mathematics |
|
|
|
| Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - 10 - Suivant - Dernière page [Page 10 sur 22] |
