Partager cette page :
Séminaires du DIT 2011 - 2012
- Utilisation de modèles formels pour la reconstruction de pathways en bioinformatique Le 20 septembre 2011Intervention de Blaise Genest, IPAL - Singapour (séminaire du département Informatique et télécommunications). Lire la suite
- Robotique médicale guidée par l'image Le 4 octobre 2011Intervention d'Alexandre Krupa, IRISA - LAGADIC (séminaire du département Informatique et télécommunications). Lire la suite
- GIPSy 2011 : Workshop on Games, Logic and Security Du 25 octobre 2011 au 27 octobre 2011Organisé par l'INRIA Rennes - Bretagne Atlantique. Lire la suite
- Et la logique créa l'informatique : quand les géants parcouraient la Terre Le 27 octobre 2011Conférence exceptionnelle de Moshe Y. VARDI dans le cadre du WORKSHOP GIPSy organisé par Sophie Pinchinat, (professeure des universités et chercheuse à l'IRISA). Lire la suite
- Superposition: A General Framework for Effective Reasoning in Propositional and First-Order Logic. Le 8 novembre 2011Intervention de Christoph Weidenbach, Max-Planck-Institut für Informatik - Saarbrücken (séminaire du département Informatique et télécommunications). Lire la suite
- Quantitative modeling of biological systems Le 22 novembre 2011Intervention de Damien Eveillard, Université de Nantes (séminaire du département Informatique et télécommunications). Lire la suite
- Choix social computationnel Le 6 décembre 2011Intervention de Jérôme Lang, Paris Dauphine - LAMSADE (séminaire du département Informatique et télécommunications). Lire la suite
- Analyse de code assemblé Le 17 janvier 2012Intervention de Colas Le Guernic, accompagné de Sébastien Josse et Jean-Marie Borello - DGA/DMI. (séminaire du département Informatique et télécommunications). Lire la suite
- On the Modeling and Verification of Timed systems Le 31 janvier 2012Intervention en anglais d'Akshay Sundararaman, actuellement postdoctorant à l'ENS Cachan - Bretagne (séminaire du département Informatique et télécommunications). Lire la suite
- Les milieux granulaires : un exemple de système complexe Le 14 février 2012Intervention de Renaud Delannay, professeur à l'Université de Rennes 1; un événement du Collège de recherche Hubert Curien, organisé par le département Informatique et télécommunications. Lire la suite
- Réalité virtuelle au service de la compréhension de l'activité humaine� Le 6 mars 2012Intervention de Franck Multon, professeur à l'Université Rennes 2, chercheur dans les laboratoires M2S et IRISA (séminaire du département Informatique et télécommunications). Lire la suite
- Explorer et comprendre les réseaux sociaux numériques, une perspective croisée informatique et sociologie Le 20 mars 2012Intervention de Karine Roudaut et Cécile Bothorel de Telecom Bretagne (séminaire du département Informatique et télécommunications). Lire la suite
- Comprendre et prévoir le mouvement des fluides turbulents à partir d'images Le 3 avril 2012Intervention de Cédric Herzet, chargé de recherche INRIA (séminaire du département Informatique et télécommunications). Lire la suite
Mise à jour le 4 décembre 2015
Archives
- 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
