Partager cette page :
Séminaires du DIT 2012 - 2013
- DEL-sequents for progression, regression and epistemic planning Le 2 octobre 2012
- Vérification formelle d'une plate-forme d'exécution Java: premiers résultats et perspectives Le 16 octobre 2012
- Enjeux et perspectives du traitement de données en neuroimagerie Le 6 novembre 2012
- Intervention de Jade Alglave, James Brotherston, Juan Navarro-Perez and Peter O'Hearn - University College London (UCL) Le 13 novembre 2012
- Complexité algorithmique des beaux pré-ordres Le 27 novembre 2012
- Introduction to Model Driven Engineering (MDE) Le 11 décembre 2012
- Conception d'architectures Multiprocesseurs Hétérogènes Adaptatives Le 22 janvier 2013
- Introduction to the theory of belief functions. An application to intelligent vehicles. Le 5 février 2013
- Le génie mathématique, du théorème de quatre couleurs à la classification des groupes Le 12 février 2013
- Inria Rennes - Bretagne Atlantique : "Retournement temporel, imagerie passive, échographie et imagerie multi-ondes" Le 17 avril 2013
Mise à jour le 4 décembre 2015
Contact
Archives
- Séminaires 2021-2022
- Séminaires 2020-2021
- Séminaires 2019-2020
- Séminaires 2018-2019
- Séminaires 2017-2018
- Séminaires 2016-2017
- Séminaires 2015-2016
- Séminaires 2014-2015
- Séminaires 2013-2014
- Séminaires 2012-2013
- Séminaires 2011-2012
- Séminaires 2010-2011
- Séminaires 2009-2010
- Séminaires 2008-2009
- Séminaires 2007-2008
- Séminaires 2006-2007
- Séminaires 2005-2006
- Séminaires 2004-2005
- Séminaires 2003-2004
- Séminaires 2002-2003