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
- Cryptographie et quelques jolis algorithmes utiles en crypto Le 18 octobre 2011Intervention de Pierre-Alain Fouque, ENS Ulm (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
