https://informatique.ens-rennes.fr/ens-rennes-site-institutionnel 2022-10-05T16:51:39+02:00 https://informatique.ens-rennes.fr/bibliotheque 2022-10-05T16:53:14+02:00 https://informatique.ens-rennes.fr/droit-economie-management 2022-10-05T16:56:34+02:00 https://informatique.ens-rennes.fr/informatique 2022-10-05T16:58:55+02:00 https://informatique.ens-rennes.fr/facebook 2022-10-05T16:48:42+02:00 https://informatique.ens-rennes.fr/linkedin 2022-10-05T16:48:42+02:00 https://informatique.ens-rennes.fr/youtube 2022-10-05T16:48:42+02:00 https://informatique.ens-rennes.fr/site-institutionnel 2022-10-05T16:48:43+02:00 https://informatique.ens-rennes.fr/bibliotheque-1 2022-10-05T16:48:43+02:00 https://informatique.ens-rennes.fr/annuaire 2022-10-05T16:48:43+02:00 https://informatique.ens-rennes.fr/presentation 2024-06-25T11:48:16+02:00 https://informatique.ens-rennes.fr/admission/integrer-le-departement 2026-01-13T11:35:35+01:00 https://informatique.ens-rennes.fr/presentation/lequipe 2025-09-02T12:00:23+02:00 https://informatique.ens-rennes.fr/recherche 2026-03-10T16:02:00+01:00 https://informatique.ens-rennes.fr/plan-du-site 2015-01-22T16:42:23+01:00 https://informatique.ens-rennes.fr/actualites/seminaires 2025-09-26T10:46:14+02:00 https://informatique.ens-rennes.fr/formation/presentation 2024-02-08T20:15:58+01:00 https://informatique.ens-rennes.fr/actualites/visites-de-laboratoires 2019-09-12T09:14:46+02:00 https://informatique.ens-rennes.fr/debouches 2025-09-02T11:39:24+02:00 https://informatique.ens-rennes.fr/actualites/agenda 2025-10-13T15:00:35+02:00 https://informatique.ens-rennes.fr/formation/agregation-informatique 2026-02-17T10:25:19+01:00 https://informatique.ens-rennes.fr/contact 2021-06-09T16:46:07+02:00 https://informatique.ens-rennes.fr/flux-rss 2022-10-05T16:48:42+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/2026-03-04 2026-03-02T10:08:25+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/memory-management-for-big-data 2016-03-14T11:26:10+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/realite-virtuelle-et-jeux-video-commandes-par-la-pensee 2016-03-14T11:27:11+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/number-format-optimization-problems-and-how-to-solve-them 2024-01-30T11:22:04+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/theorie-des-jeux-sur-les-graphes 2016-03-22T15:09:54+01:00 https://informatique.ens-rennes.fr/actualites/from-understanding-to-greening-the-energy-consumption-of-distributed-systems 2020-12-18T14:19:39+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/apprentissage-de-systemes-geophysiques-a-partir-dimages 2017-01-25T11:07:58+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/representations-exotiques-des-nombres-et-operateurs-arithmetiques-materiels 2019-09-12T09:13:17+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/seminaire-6-mardi-09-02-2021-par-matthieu-dorier-«-gestion-des-donnees-sur-les-supercalculateurs-exaflopiques-» 2021-02-09T18:18:32+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/seminaire-10-mardi-13-04-2021-par-francois-tessier-allocation-dynamique-de-ressources-de-stockage-sur-infrastructures-hybrides 2021-04-08T18:42:41+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/seminaire-11-mardi-20-04-2021-par-simon-castellan-outils-algebriques-pour-la-modelisation-des-programmes 2021-04-06T16:44:36+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/seminaire-6-mardi-09-02-2021-par-matthieu-dorier 2021-01-22T08:17:50+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/seminaire-7-mardi-16-03-2021-par-kevin-huguenin-genetique-famille-et-vie-privee 2021-03-16T22:30:51+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/seminaire-8-mardi-23-03-2021-par-claire-cury-neuro-imagerie-et-neurosciences-numeriques 2021-03-22T21:15:51+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/seminaire-9-mardi-06-04-2021-par-julien-mairal 2021-01-26T09:40:27+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/seminaire-9-mardi-06-04-2021-par-julien-mairal-aliasing-is-your-ally-end-to-end-super-resolution-from-raw-image-bursts 2021-03-31T09:35:17+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/seminaire-mardi-09-03-2021-par-david-baelde-«-preuve-formelle-de-protocoles-cryptographiques-» 2021-03-16T22:25:39+01:00 https://informatique.ens-rennes.fr/actualites/modeles-scalable-pour-la-prediction-temporelle-et-energetique-des-infrastructures-fog 2024-10-02T16:10:31+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/rfid-security-and-privacy 2019-09-12T09:12:34+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/towards-parameterized-verification-of-probabilistic-systems 2019-09-09T14:55:52+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/communication-computation-tradeoffs-in-consensus-based-distributed-optimization 2019-09-09T16:08:50+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/metaheuristiques-pour-loptimisation-combinatoire-a-grande-echelle 2019-09-09T16:08:39+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/program-analysis-and-quantitative-techniques-against-web-tracking 2019-09-09T16:08:31+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/estimation-de-pires-temps-dexecution-wcet-worst-case-execution-times 2019-09-09T16:08:23+02:00 https://informatique.ens-rennes.fr/actualites/visites-de-laboratoires/visite-de-laboratoires-a-nancy 2019-09-09T14:58:49+02:00 https://informatique.ens-rennes.fr/actualites/seminaires-du-dit-2012-2013 2015-12-04T09:41:14+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/verification-formelle-dune-plate-forme-dexecution-java-premiers-resultats-et-perspectives 2019-09-09T15:04:31+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/del-sequents-for-progression-regression-and-epistemic-planning 2019-09-09T16:08:58+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/enjeux-et-perspectives-du-traitement-de-donnees-en-neuroimagerie 2019-09-09T16:09:06+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/complexite-algorithmique-des-beaux-pre-ordres 2019-09-09T16:10:12+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/intervention-de-jade-alglave-james-brotherston-juan-navarro-perez-and-peter-ohearn-university-college-london-ucl 2019-09-09T16:09:48+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/introduction-to-model-driven-engineering-mde 2019-09-09T16:10:28+02:00 https://informatique.ens-rennes.fr/actualites/petite-mathematique-du-cerveau-une-theorie-de-linformation-mentale 2014-03-31T00:00:00+02:00 https://informatique.ens-rennes.fr/actualites/communications-mashup-bridging-the-gap-between-telecom-service-providers-and-web-service-providers 2010-03-16T00:00:00+01:00 https://informatique.ens-rennes.fr/actualites/user-participation-mashups-an-innovation-catalyst-in-the-web-2-0-era 2010-03-17T00:00:00+01:00 https://informatique.ens-rennes.fr/actualites/anonymous-asynchronous-systems-failure-detectors-and-consensus 2010-03-16T00:00:00+01:00 https://informatique.ens-rennes.fr/actualites/composing-web-services-in-an-open-world 2010-03-17T00:00:00+01:00 https://informatique.ens-rennes.fr/actualites/seminar-on-trends-in-service-based-infrastructures-in-an-open-world 2010-03-29T00:00:00+02:00 https://informatique.ens-rennes.fr/actualites/seminar-on-trends-in-service-based-infrastructures-in-an-open-world-1 2010-03-29T00:00:00+02:00 https://informatique.ens-rennes.fr/actualites/creation-de-lagregation-dinformatique 2021-06-21T09:43:37+02:00 https://informatique.ens-rennes.fr/actualites/visites-de-laboratoires/visite-de-laboratoires-a-grenoble 2019-09-09T14:59:02+02:00 https://informatique.ens-rennes.fr/actualites/structured-wide-area-programming 2010-03-17T00:00:00+01:00 https://informatique.ens-rennes.fr/actualites/seminar-on-trends-in-service-based-infrastructures-in-an-open-world-2 2010-03-29T00:00:00+02:00 https://informatique.ens-rennes.fr/actualites/seminar-on-trends-in-service-based-infrastructures-in-an-open-world-3 2010-03-29T00:00:00+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/systemes-daide-a-largumentation-de-la-theorie-aux-defis-informatiques 2019-09-12T09:11:47+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/recherche-dans-les-graphes-model-checking-et-techniques-dordre-partiel 2019-09-12T09:13:30+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/vers-laudit-des-algotithmes 2021-11-18T15:40:52+01:00 https://informatique.ens-rennes.fr/actualites/seminaires-2020-2021 2021-09-03T14:26:58+02:00 https://informatique.ens-rennes.fr/actualites-du-departement-informatique 2021-07-20T10:12:50+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/an-overview-of-formation-control-and-localization-for-multiple-robot-systems 2021-11-18T15:41:15+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/quelle-securite-pour-le-vote-electronique 2021-11-18T15:41:35+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/la-securite-informatique-a-lere-de-lintelligence-artificielle 2021-11-18T15:37:33+01:00 https://informatique.ens-rennes.fr/actualites/seminaires-du-dit-2007-2008 2015-12-04T09:40:45+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/la-neuroinformatique-ou-comment-accelerer-notre-comprehension-du-cerveau-grace-a-lanalyse-de-donnees-en-irm 2021-11-18T15:38:43+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/introduction-to-the-theory-of-belief-functions-an-application-to-intelligent-vehicles 2019-09-12T09:16:08+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/conception-darchitectures-multiprocesseurs-heterogenes-adaptatives 2019-09-09T16:08:14+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/le-genie-mathematique-du-theoreme-de-quatre-couleurs-a-la-classification-des-groupes 2019-09-09T14:55:39+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/visualisation-et-fouille-de-donnees 2019-09-09T15:02:52+02:00 https://informatique.ens-rennes.fr/actualites/delphine-demange-wins-the-eapls-best-phd-dissertation-award-2012 2013-03-25T00:00:00+01:00 https://informatique.ens-rennes.fr/actualites/eapls-2012-delphine-demange-remporte-le-prix-de-la-meilleure-these 2013-07-22T00:00:00+02:00 https://informatique.ens-rennes.fr/actualites/compilation-verifiee-et-securisee-contre-les-canaux-caches-temporels 2023-03-03T11:34:12+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/pattern-mining-a-biased-perspective 2021-12-08T16:24:13+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/being-prepared-in-a-sparse-world-the-case-of-knn-graph-construction 2017-01-25T11:07:11+01:00 https://informatique.ens-rennes.fr/actualites/inria-rennes-bretagne-atlantique-retournement-temporel-imagerie-passive-echographie-et-imagerie-multi-ondes 2013-03-27T00:00:00+01:00 https://informatique.ens-rennes.fr/actualites/seminaires-du-dit-2015-2016 2016-09-22T14:21:39+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/structure-de-donnees-a-faible-empreinte-memoire-pour-la-genomique 2017-01-25T11:06:27+01:00 https://informatique.ens-rennes.fr/actualites/seminaires-du-dit-2013-2014 2015-12-04T10:28:53+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/verification-formelle-dun-compilateur-realiste-du-langage-c 2019-09-09T16:08:05+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/la-verification-formelle-appliquee-aux-protocoles-cryptographiques 2017-01-25T11:06:50+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/irm-de-diffusion-2-0-observer-la-microstructure-cerebrale-in-vivo 2017-01-25T11:05:58+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/informatique-musicale-etat-de-lart-et-dernieres-avancees 2019-09-12T09:16:17+02:00 https://informatique.ens-rennes.fr/recherche/simuler-des-systemes-distribues-de-grande-echelle 2016-12-20T10:05:01+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/privacy-preserving-data-publishing-where-are-we-now 2017-01-25T11:04:29+01:00 https://informatique.ens-rennes.fr/actualites/formation-ipr-2013-la-theorie-des-jeux 2014-02-21T00:00:00+01:00 https://informatique.ens-rennes.fr/formation/magistere-informatique 2017-05-04T09:30:08+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/neutralite-du-net-introduction-modelisation-et-defis 2017-02-09T11:24:25+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/reproducible-research-where-do-we-stand 2017-02-15T12:19:36+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/mooc-de-la-formation-en-ligne-aux-questions-de-recherche-en-e-education 2017-04-11T09:49:58+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/pushdown-vector-addition-systems 2017-03-31T10:43:00+02:00 https://informatique.ens-rennes.fr/actualites/agenda/le-departement-informatique-et-telecommunications-accueille-des-lyceen-ne-s 2017-03-31T11:21:56+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/conception-de-cryptosystemes-post-quantiques-lexemple-de-la-signature-falcon 2022-10-04T10:14:39+02:00 https://informatique.ens-rennes.fr/actualites/seminaires-2021-2022 2022-09-08T09:27:32+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/algorithmes-hors-coeur-pour-les-arbres-de-poids-minimum-et-les-hierarchies-de-segmentations 2022-10-04T18:19:49+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/resume-generique-de-flux-de-donnees 2019-09-12T09:12:41+02:00 https://informatique.ens-rennes.fr/application-at-master-2-level-computer-science 2017-04-24T16:19:30+02:00 https://informatique.ens-rennes.fr/actualites/formation-ipr-algorithmique-une-approche-raisonnee 2019-09-09T15:01:41+02:00 https://informatique.ens-rennes.fr/actualites/visites-de-laboratoires/visite-de-laboratoire-a-bordeaux 2019-09-09T15:02:25+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/vote-electronique-conception-et-analyse 2019-09-09T14:59:10+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/an-overview-on-collective-coordination-of-multiple-robots 2019-09-09T14:57:57+02:00 https://informatique.ens-rennes.fr/actualites/voyage-pedagogique-et-sportif-des-eleves-de-1re-annee-du-departement-informatique-et-telecommunications 2010-04-30T00:00:00+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/modelisation-et-verification-de-systemes-probabilistes 2019-09-09T15:02:18+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/seminaires 2019-09-09T15:04:56+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/analyse-de-code-assemble 2019-09-12T09:24:42+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/visualisation-et-mesure-de-fragmentation-de-graphes 2019-09-09T15:02:44+02:00 https://informatique.ens-rennes.fr/actualites/formation-ipr-2013-liste-des-hotels 2013-07-25T00:00:00+02:00 https://informatique.ens-rennes.fr/formats-2009-un-ancien-eleve-recoit-le-best-paper-award 2009-10-06T00:00:00+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/graphes-infinis-un-pont-entre-theorie-des-langages-et-logique 2019-09-12T09:18:30+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/architectures-materielles-specialisees-pour-la-bio-informatique 2019-09-12T09:24:05+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/contraintes-globales-modelisation-resolution-et-applications 2019-09-12T09:20:41+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/design-concerns-for-emerging-operating-systems 2019-09-12T09:19:58+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/panorama-des-methodes-de-suivi-temps-reel-pour-la-realite-augmentee-et-la-robotique 2019-09-12T09:14:37+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/apprentissage-statistique-de-la-classification 2019-09-12T09:24:13+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/de-darwin-a-la-mecatronique-principe-et-application-de-loptimisation-par-algorithme-genetique 2019-09-12T09:20:06+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/lequipe-bunraku-fertilisation-croisee-des-travaux-de-recherche-en-realite-virtuelle-et-sur-lhumain-virtuel 2019-09-12T09:15:15+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/cluster-computing-grid-computing-cloud-computing-ou-va-le-calcul-reparti 2019-09-12T09:23:51+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/virologie-informatique-enjeux-et-techniques 2019-09-09T15:03:12+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/on-the-modeling-and-verification-of-timed-systems 2019-09-12T09:14:52+02:00 https://informatique.ens-rennes.fr/formation/licence-3-informatique-parcours-science-informatique 2018-03-28T16:10:56+02:00 https://informatique.ens-rennes.fr/formation/master-1-informatique-parcours-science-informatique 2018-04-12T17:00:20+02:00 https://informatique.ens-rennes.fr/actualites/journee-informatique-bac-1-bac2 2020-05-06T18:38:18+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/leveraging-vision-langage-model-to-improve-representation-learning 2024-02-09T16:16:01+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/les-milieux-granulaires-un-exemple-de-systeme-complexe 2019-09-12T09:18:36+02:00 https://informatique.ens-rennes.fr/actualites/lens-rennes-partenaire-de-ttl-2015 2015-09-10T14:42:18+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/la-bioinformatique-et-les-sequences 2017-09-18T15:12:07+02:00 https://informatique.ens-rennes.fr/actualites/seminaires-du-dit-2016-2017 2017-09-18T15:13:59+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/methodes-bioinformatiques-pour-letude-de-la-diversite-structurale-des-genomes 2023-02-02T08:58:00+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/a-few-challenges-related-to-exploiting-multimedia-collections 2017-09-29T11:40:15+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/cryptanalyse-par-canaux-auxiliaires 2019-09-12T09:20:33+02:00 https://informatique.ens-rennes.fr/projetsm1 2014-06-24T00:00:00+02:00 https://informatique.ens-rennes.fr/pierre-evariste-dagand-recoit-un-best-paper-award-au-workshop-satellite-de-la-conference-sosp-2009 2010-03-01T00:00:00+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/gossip-based-video-streaming-managing-heterogeneous-bandwidth 2019-09-12T09:18:45+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/logical-information-systems-and-their-extension-to-the-semantic-web 2019-09-12T09:15:25+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/analyse-numerique-et-algebres-de-hopf 2019-09-12T09:24:37+02:00 https://informatique.ens-rennes.fr/actualites/seminaires-du-dit-2010-2011 2015-12-04T09:41:08+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/la-recommandation-vue-comme-un-probleme-sequentiel 2018-01-23T09:05:21+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/map-reduce-programmation-a-tres-grande-echelle-pour-le-big-data-sur-les-clouds 2018-01-23T09:04:39+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/theorie-des-jeux-et-application-aux-encheres-pour-la-publicite-en-ligne 2018-01-23T09:03:57+01:00 https://informatique.ens-rennes.fr/actualites/le-projet-anr-entracte-prime-grand-prix-du-numerique-de-lanr 2017-12-18T15:36:13+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/realite-virtuelle-au-service-de-la-comprehension-de-lactivite-humaine� 2019-09-12T09:13:40+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/towards-privacy-preserving-location-based-services 2019-09-09T14:57:51+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/statistical-model-checking 2019-09-09T15:05:03+02:00 https://informatique.ens-rennes.fr/actualites/seminaires-du-dit-2011-2012 2015-12-04T09:41:19+01:00 https://informatique.ens-rennes.fr/actualites/taupic-2012-guillaume-endignoux-en-classe-preparatoire-au-lycee-hoche-de-versailles-remporte-la-2e-edition-du-concours-en-moins-de-4h30 2012-03-29T00:00:00+02:00 https://informatique.ens-rennes.fr/actualites/visites-de-laboratoires/visite-de-laboratoires-a-lille 2019-09-09T14:59:24+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/du-capteur-au-supercalculateur-un-projet-de-capteurs-mobiles-pour-lanalyse-de-la-qualite-de-lair 2018-02-05T09:38:13+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/apprendre-aux-robots-a-nous-entendre 2018-02-13T12:51:17+01:00 https://informatique.ens-rennes.fr/news-of-computer-science-and-telecommunications-department 2014-04-16T00:00:00+02:00 https://informatique.ens-rennes.fr/magisterium-in-computer-science-and-telecommunications 2024-09-13T16:14:20+02:00 https://informatique.ens-rennes.fr/option-informatique-a-lagregation-de-mathematiques-option-d 2017-10-05T18:09:26+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/communication-opportuniste-dans-les-reseaux-mobiles-ad-hoc-discontinus 2019-09-12T09:23:35+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/golaem-valorisation-de-quinze-ans-de-recherche-academique-sur-les-humains-virtuels 2019-09-12T09:18:54+02:00 https://informatique.ens-rennes.fr/actualites/entretien-avec-david-pichardie-laureat-erc 2018-02-28T15:31:23+01:00 https://informatique.ens-rennes.fr/research-and-innovation-thematic-track 2014-12-22T11:18:48+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/verification-de-modeles-quantitatifs 2018-03-12T12:41:32+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/3d-multimodal-interaction-with-physically-based-virtual-environments 2018-03-27T09:35:56+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/des-milliers-aux-milliards-indexation-de-grandes-bases-dimages-et-de-videos 2019-09-12T09:19:45+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/television-a-point-de-vue-libre 2018-04-09T10:25:32+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/explorer-et-comprendre-les-reseaux-sociaux-numeriques-une-perspective-croisee-informatique-et-sociologie 2019-09-12T09:19:35+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/les-defis-de-la-programmation-parallele 2019-09-09T14:56:50+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/stabilite-en-mecanique-des-fluides-et-des-plasmas 2019-09-09T14:57:24+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/lenseignement-de-linformatique-en-france-et-a-letranger 2019-09-09T14:57:19+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/understanding-youtube-videos 2019-09-09T14:57:43+02:00 https://informatique.ens-rennes.fr/actualites/seminaires-du-dit-2017-2018 2018-09-20T10:29:57+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/un-voyage-extraordinaire-dans-le-monde-des-systemes-cyber-physiques 2018-09-20T10:34:27+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/computational-optimal-transport 2018-09-20T10:37:50+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/introduction-to-cache-side-channel-attacks 2018-09-20T10:37:33+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/larchitecture-histoire-du-pentium 2019-09-12T09:15:59+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/comprendre-et-prevoir-le-mouvement-des-fluides-turbulents-a-partir-dimages 2019-09-12T09:21:10+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/computing-over-convex-polyhedra-using-vpl 2018-12-05T16:22:47+01:00 https://informatique.ens-rennes.fr/actualites/francois-bonnet-laureat-du-“best-student-paper”-de-la-conference-disc-2010 2010-08-26T00:00:00+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/analyse-de-sons-ambiants-apprendre-aux-machines-a-ecouter 2019-01-28T16:31:21+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/geometrie-algorithmique 2019-01-23T10:17:41+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/resonances-en-mecanique-quantique-et-simulation-numerique 2019-09-12T09:13:10+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/analyse-decoulements-fluides-a-partir-de-sequences-dimages 2019-09-09T14:56:59+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/bioinformatics-data-analysis-with-semantic-web-tools-general-principles-and-application-to-the-reduction-of-metabolic-network-candidates 2019-09-09T14:57:06+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/telephones-intelligents-reseaux-sociaux-et-vie-privee 2019-09-09T14:57:12+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/evaluation-de-performances-dalgorithmes-danalyse-de-flux-de-donnees 2019-09-09T14:57:31+02:00 https://informatique.ens-rennes.fr/actualites/seminaires-du-dit-2014-2015 2015-12-04T09:41:52+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/computational-mechanisms-of-rapid-visual-recognition 2019-09-09T14:57:37+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/function-approximation-problems-in-signal-processing-and-deep-learning 2019-03-12T13:53:57+01:00 https://informatique.ens-rennes.fr/actualites/addressing-the-challenges-of-i-o-variability-in-post-petascale-hpc-simulations 2015-09-10T14:40:42+02:00 https://informatique.ens-rennes.fr/actualites/high-performance-big-data-management-across-cloud-data-centers 2015-09-10T14:40:31+02:00 https://informatique.ens-rennes.fr/actualites/high-performance-big-data-management-across-cloud-data-centers-1 2015-02-17T14:57:04+01:00 https://informatique.ens-rennes.fr/actualites/addressing-the-challenges-of-i-o-variability-in-post-petascale-hpc-simulations-1 2015-02-17T15:06:03+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/apprentissage-automatique-et-respect-de-la-vie-privee 2019-03-22T15:04:53+01:00 https://informatique.ens-rennes.fr/actualites/visites-de-laboratoires/visite-de-laboratoires-a-sophia-antipolis 2019-09-09T15:04:03+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/un-projet-pluridisciplinaire-en-bio-robotique-le-projet-raamo 2019-09-12T09:11:39+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/des-methodes-logiques-peuvent-elles-aider-a-comprendre-pourquoi-certains-poulets-sont-plus-gras-que-dautres 2019-09-12T09:19:51+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/open-science-needs-a-universal-software-archive-enter-software-heritage 2019-04-16T11:06:03+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/informatique-et-droits-sujets-de-societe-sujets-de-recherche 2019-09-12T09:16:24+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/linformatique-medicale 2019-09-12T09:15:49+02:00 https://informatique.ens-rennes.fr/actualites/seminaires-du-dit-2009-2010 2015-12-04T09:41:00+01:00 https://informatique.ens-rennes.fr/presentation/le-departement-informatique 2021-11-18T15:46:55+01:00 https://informatique.ens-rennes.fr/actualites/visites-de-laboratoires/visite-de-laboratoires-a-grenoble-1 2019-09-09T14:59:58+02:00 https://informatique.ens-rennes.fr/actualites/seminaires-du-dit-2018-2019 2019-09-02T11:39:39+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/comment-ameliorer-les-performances-dun-reseau-wi-fi-sans-modifier-la-technologie-wi-fi 2019-11-13T11:39:40+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/which-abstractions-for-the-blockchain-technology 2020-02-17T11:47:03+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/pourquoi-la-securite-informatique-naura-jamais-de-solution-definitive 2019-10-22T14:08:49+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/jeux-quantitatifs-sur-des-graphes 2019-11-13T11:43:09+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/interaction-homme-machine-techniques-de-pointage-a-distance 2019-11-12T16:23:22+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/apprentissage-par-renforcement-theorique 2019-12-05T15:38:24+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/quelques-defis-de-taille-pour-le-traitement-du-signal-et-des-images-de-demain 2019-09-12T09:14:02+02:00 https://informatique.ens-rennes.fr/actualites/2nd-prix-de-these-de-la-fondation-rennes-1-decerne-a-matthieu-dorier 2015-09-10T14:38:55+02:00 https://informatique.ens-rennes.fr/actualites/visites-de-laboratoires/visite-de-laboratoire-a-grenoble 2019-09-09T14:53:28+02:00 https://informatique.ens-rennes.fr/actualites/visites-de-laboratoires/visite-de-laboratoire-a-nancy 2019-09-09T14:50:29+02:00 https://informatique.ens-rennes.fr/actualites/visites-de-laboratoires/visite-de-laboratoire-a-bordeaux-1 2019-09-09T14:51:17+02:00 https://informatique.ens-rennes.fr/actualites/seminaires-du-dit-2008-2009 2015-12-04T09:40:54+01:00 https://informatique.ens-rennes.fr/actualites/nicolas-mansard-medaille-de-bronze-du-cnrs-palmares-2015 2016-03-07T15:29:27+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/quels-sont-les-objectifs-dun-enseignement-de-linformatique-au-lycee 2019-09-12T09:13:54+02:00 https://informatique.ens-rennes.fr/actualites/concours-cycle-master-informatique 2016-03-07T15:29:21+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/commander-directement-par-la-pensee-avec-les-interfaces-cerveau-ordinateur-un-tour-dhorizon-a-travers-le-projet-openvibe 2019-09-12T09:23:43+02:00 https://informatique.ens-rennes.fr/actualites/“best-student-paper-award”-pour-kevin-huguenin 2010-01-26T00:00:00+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/graphes-infinis-un-pont-entre-theorie-des-langages-et-logique-1 2019-09-12T09:18:23+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/utilisation-de-modeles-formels-pour-la-reconstruction-de-pathways-en-bioinformatique 2019-09-12T09:11:16+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/robotique-medicale-guidee-par-limage 2019-09-12T09:12:26+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/gipsy-2011-workshop-on-games-logic-and-security 2019-09-12T09:19:29+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/et-la-logique-crea-linformatique-quand-les-geants-parcouraient-la-terre 2019-09-12T09:19:41+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/superposition-a-general-framework-for-effective-reasoning-in-propositional-and-first-order-logic 2019-09-12T09:11:55+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/choix-social-computationnel 2019-09-12T09:23:57+02:00 https://informatique.ens-rennes.fr/actualites/christophe-avenel-laureat-du-best-poster-award-a-la-conference-curves-and-surface-2010 2010-09-21T00:00:00+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/quantitative-modeling-of-biological-systems 2019-09-12T09:14:09+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/geometrie-algorithmique-des-mathematiques-pour-la-modelisation-du-monde-reel 2020-02-17T11:47:45+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/lintelligence-artificielle 2021-07-20T10:26:23+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/bridging-physicsand-ai-application-to-upper-ocean-dynamics 2020-03-12T12:18:51+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/vote-electronique-enjeux-proprietes-et-securite-annule 2020-03-15T05:10:43+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/modelisation-stochastique-decoulements-geophysiques 2020-02-17T11:47:23+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/seminaire-de-gilles-muller-annule 2020-03-15T05:09:48+01:00 https://informatique.ens-rennes.fr/recherche/florestan-de-moor-laureat-du-prix-national-andre-blanc-lapierre-2019 2019-12-13T12:30:57+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/que-revelent-vos-requetes-votre-reseau-social-et-vos-mouvements-a-votre-propos 2019-09-12T09:13:47+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/modelisation-hybride-et-analyse-dynamique-des-reseaux-de-regulation-genetique 2019-09-12T09:15:08+02:00 https://informatique.ens-rennes.fr/actualites/anne-cecile-orgerie-medaille-de-bronze-du-cnrs-2020 2021-10-14T16:41:47+02:00 https://informatique.ens-rennes.fr/actualites/herve-jegou-laureat-du-prix-bretagne-jeune-chercheur-2010 2010-03-01T00:00:00+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/vertex-connectivity-under-sampling 2019-09-09T14:55:45+02:00 https://informatique.ens-rennes.fr/actualites/epistemic-reasoning-in-ai 2020-04-08T15:42:34+02:00 https://informatique.ens-rennes.fr/actualites/interpreteurs-abstraits-mecanises 2020-04-10T08:53:45+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/reecriture-et-probleme-du-mot 2019-09-12T09:13:24+02:00 https://informatique.ens-rennes.fr/recherche/la-recherche-en-informatique/archives-des-soutenances-de-theses-hdr-soutenues 2020-05-06T18:44:24+02:00 https://informatique.ens-rennes.fr/actualites/seminaires-du-dit-2005-2006 2015-10-28T12:34:18+01:00 https://informatique.ens-rennes.fr/prix-du-meilleur-article-etudiant-icdl09 2010-03-01T00:00:00+01:00 https://informatique.ens-rennes.fr/actualites/seminaires-du-dit-2004-2005 2015-12-03T17:21:47+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/interactive-design-of-sustainable-cities-with-a-distributed-local-sarch-solver 2019-09-09T14:55:32+02:00 https://informatique.ens-rennes.fr/actualites/seminaires-du-dit-2003-2004 2015-12-04T09:11:39+01:00 https://informatique.ens-rennes.fr/actualites/seminaires-du-dit-2002-2003 2015-12-04T09:20:44+01:00 https://informatique.ens-rennes.fr/actualites/journee-contributive-wikipedia 2016-03-11T15:23:56+01:00 https://informatique.ens-rennes.fr/actualites/seminaires-du-dit-2006-2007 2015-12-04T09:38:08+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/spontaneous-activity-and-plasticity-in-spiking-neuronal-networks 2019-09-09T14:55:13+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/seminaire-kic-ouest-infrastructures-et-services 2019-09-12T09:12:06+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/enforcing-the-privacy-and-the-security-of-multimedia-contents 2019-09-09T14:56:25+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/linformatique-dans-la-classification-des-sciences 2019-09-09T14:56:18+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/la-comparaison-de-sequences-dadn-des-fondements-de-la-bioinformatique-aux-nouveaux-defis-poses-par-les-sequenceurs-de-nouvelle-generation 2019-09-09T14:56:10+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/geometric-matching-in-image-retrieval 2019-09-09T14:56:04+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/les-systemes-hybrides-et-leurs-abstractions 2019-09-09T14:55:20+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/modelisation-de-connaissances-pour-linterpretation-dimages 2019-09-09T14:55:04+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/apprentissage-en-grande-dimension-de-limage-a-la-chimie-quantique 2019-09-09T14:55:26+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/economies-denergie-dans-les-systemes-distribues-a-grande-echelle 2019-09-09T14:56:32+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/des-enjeux-de-la-gestion-de-linformation-sur-le-web 2019-09-09T14:55:58+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/seminaire-2-mercredi-30-09-2020-par-stephanie-challita-automated-reverse-engineering-of-a-cloud-api 2020-10-01T13:56:06+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/seminaire-3-mercredi-04-11-2020-par-ocan-sankur-an-abstraction-technique-for-parameterized-model-checking-of-leader-election-protocols-application-to-ftsp 2020-11-04T19:25:41+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/seminaire-4-mercredi-02-12-2020-par-charlotte-pelletier-deep-learning-for-time-series-classification-application-to-earth-observation-time-series 2020-12-03T18:03:16+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/seminaire-5-mercredi-09-12-2020-par-gilles-tissot-modelisation-stochastique-des-structures-coherentes-en-mecanique-des-fluides 2020-12-04T16:16:28+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/seminaire-1-mercredi-16-09-2020-par-david-pichardie-formal-verification-of-a-constant-time-preserving-c-compiler 2021-09-03T15:56:23+02:00 https://informatique.ens-rennes.fr/actualites/seminaires-du-dit-2019-2020 2020-09-10T17:17:42+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/securite-des-systemes-embarques 2019-09-12T09:12:15+02:00 https://informatique.ens-rennes.fr/actualites/seminaire-kic-ouest-infrastructures-et-services 2010-03-01T00:00:00+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/introduction-a-la-cryptographie-reposant-sur-les-reseaux-euclidiens 2019-09-09T14:53:48+02:00 https://informatique.ens-rennes.fr/actualites/marie-morgane-paumard-lintelligence-artificielle-au-service-de-larcheologie 2020-10-05T10:01:32+02:00 https://informatique.ens-rennes.fr/actualites/lesly-ann-daniel-debusquer-automatiquement-les-failles-de-securite-informatique 2020-10-05T10:01:43+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/realite-virtuelle-et-jeux-video-commandes-par-la-pensee-1 2019-09-09T14:53:05+02:00 https://informatique.ens-rennes.fr/actualites/visites-de-laboratoires/visite-de-laboratoire-a-lille 2019-09-09T14:58:30+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/un-nouveau-metier-professeur-dinformatique 2016-05-10T10:23:34+02:00 https://informatique.ens-rennes.fr/ 2025-10-13T15:01:15+02:00 https://informatique.ens-rennes.fr/actualites/reunion-information-2025 2025-06-03T16:59:37+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/2026-03-25 2026-03-24T14:10:50+01:00 https://informatique.ens-rennes.fr/actualites/aurele-barriere-eapls-award-2023 2025-05-21T17:57:59+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/aide-au-diagnostic-assiste-par-ordinateur-des-maladies-neurodegeneratives-le-dur-passage-des-donnees-de-recherche-aux-donnees-de-routine-clinique 2024-03-18T10:16:38+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/contributions-to-privacy-preserving-data-intensive-systems 2024-04-16T11:09:16+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/machine-learning-pour-la-compression-dimage-et-de-video 2024-08-29T14:19:41+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/titre-a-preciser 2025-05-13T11:15:37+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/titre-a-preciser-1 2025-05-13T11:17:27+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/titre-a-preciser-2 2025-05-13T11:16:26+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/titre-a-preciser-3 2024-10-02T15:20:25+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/titre-a-preciser-4 2024-10-14T08:42:14+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/titre-a-preciser-5 2025-05-13T11:18:19+02:00 https://informatique.ens-rennes.fr/actualites/seminaires-2022-2023-2 2024-08-29T16:54:24+02:00 https://informatique.ens-rennes.fr/actualites/seminaires-2023-2024 2024-08-29T16:54:42+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/sur-les-invariants-de-boucles-pour-les-programmes-en-temps-continu 2025-05-13T11:20:59+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/un-langage-formel-pour-les-diagrammes-de-sequence 2025-05-13T11:23:38+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/ai-security-a-game-of-weak-signal-design-and-detection 2025-05-13T11:26:34+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/towards-resilient-and-autonomous-human-multi-robot-collaboration 2025-05-13T11:44:45+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/putting-knowledge-back-where-neural-networks-can-use-it 2025-05-13T11:44:18+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/monitoring-cyber-physical-systems-using-formal-methods 2025-05-13T11:51:35+02:00 https://informatique.ens-rennes.fr/actualites/la-verification-semi-active-de-programmes 2025-01-21T10:29:46+01:00 https://informatique.ens-rennes.fr/actualites/analyse-statique-relationnelle-de-cout-sur-architecture-superscalaire 2025-01-21T10:50:25+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/software-heritage-analyzing-the-global-graph-of-public-software-development 2022-11-29T09:16:11+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/2026-03-18 2026-03-17T16:33:37+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/monte-carlo-search 2022-11-09T09:52:40+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/compiling-audio-dsp-on-fpga-preliminary-results-of-the-emeraude-team 2023-01-04T18:04:40+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/modelisation-computationnelle-et-neurosciences-pour-mieux-comprendre-le-cerveau-son-developpement-et-ses-pathologies 2023-01-19T11:43:16+01:00 https://informatique.ens-rennes.fr/actualites/seminaires-2022-2023 2023-03-03T11:35:21+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/rules-computation-and-politics-scrutinizing-unnoticed-programming-choices-in-french-housing-benefits 2023-03-13T15:37:42+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/analyse-temporelle-de-systemes-temps-reel-etat-de-lart-et-defis 2023-03-24T19:20:49+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/2026-04-01 2026-03-30T15:31:44+02:00 https://informatique.ens-rennes.fr/actualites/seminaires-2022-2023-1 2023-08-31T14:33:32+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/bandits-manchots-agir-et-apprendre-en-meme-temps 2023-09-14T15:59:37+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/representation-et-formalisation-dune-attaque-avancee-sur-un-systeme-informatique 2023-09-14T16:00:06+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/how-to-provide-proof-that-software-is-bug-free-verified-compilation-to-the-rescue 2023-09-29T18:11:42+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/le-chemin-vers-une-coherence-disponible 2023-11-03T13:57:29+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/comment-developper-du-logiciel-critique-a-grande-vitesse-le-cas-de-la-blockchain-tezos 2023-11-10T09:49:57+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/analyse-et-synthese-du-mouvement-humain 2023-11-17T11:04:25+01:00 https://informatique.ens-rennes.fr/actualites/20231220-these-santiago-bautista 2023-12-07T16:09:29+01:00 https://informatique.ens-rennes.fr/actualites/20231208-these-clement-courageux-sudan 2023-12-07T16:48:08+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/genetic-improvement-and-magpie 2024-01-11T10:07:47+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/model-checking-using-logic-solvers 2024-02-07T15:28:00+01:00 https://informatique.ens-rennes.fr/formation/premiere-annee-l3-sif 2026-02-17T10:26:07+01:00 https://informatique.ens-rennes.fr/formation/deuxieme-annee-m1-sif 2025-01-14T10:39:10+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/2025-09-24 2025-11-17T14:21:35+01:00 https://informatique.ens-rennes.fr/actualites/seminaires-2024-2025 2025-09-26T10:42:35+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/caio-corro 2025-11-17T14:22:29+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/yixin-shen 2025-11-17T14:21:14+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/loic-germerie-guizouarn 2025-11-20T16:54:24+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/sophie-huiberts 2025-12-01T14:06:52+01:00 https://informatique.ens-rennes.fr/actualites/aline-goeminne-mcf-informatique 2025-10-14T16:01:25+02:00 https://informatique.ens-rennes.fr/debouches/portraits-alumni 2025-10-17T15:35:00+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/2025-10-22 2025-11-17T14:21:52+01:00 https://informatique.ens-rennes.fr/actualites/seminaires/mesurer-la-consommation-energetique-des-clouds 2022-10-14T17:46:20+02:00 https://informatique.ens-rennes.fr/actualites/seminaires/playing-with-tangibles-in-virtual-reality 2022-10-04T18:20:50+02:00