Actualités

Workshop FMAI at IRISA Rennes
Publié le: 17 avr 2019

The forthcoming workshop builds on the original idea while extending it: how Formal Methods can be used in AI, and how AI can be used in formal methods.

Publié le: 16 avr 2019

Venez assister à une soirée de vulgarisation sur les Fake News et comprendre comment Cédric Maigrot, docteur dans l'équipe de recherche LinkMedia, s'intéresse à détecter les fausses informations sur les réseaux sociaux.  Le 21 mai à partir de 19h au Warpzone à Rennes, inscrivez-vous les places sont limitées.
 

J'apeux pas j'ai informatique - Collèges de Bruz et Saint Aubin d'Aubigné
Publié le: 05 avr 2019

Ce mercredi 03 avril, plus d’une centaine d’élèves de 5ème des collèges Pierre Brossolette de Bruz et collège Amand Brionne à Saint Aubin d'Aubigné, ont participé à la journée « J’peux pas j’ai informatique » à l'IRISA et au centre Inria Rennes - Bretagne Atlantique.

Seminaires/Workshops

Date Titre Orateur Lieu Dpt.
02 mai 2019 - 03 mai 2019 Formal Methods and AI : 2-3 of May 2019 IRISA Rennes, Rooms Petri-Turing and Metivier D4

Recherche & innovation en sciences et technologies du numérique

L'IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires - est aujourd'hui le plus grand laboratoire de recherche français (+ de 850 personnes) dans le domaine de l'informatique et des technologies de l'information. Il couvre l'ensemble des thématiques de ces domaines, de l’architecture des ordinateurs et des réseaux à l’intelligence artificielle en passant par le génie logiciel, les systèmes distribués et la réalité virtuelle.

Tourné vers le futur de la science informatique avec une expertise reconnue à l’international, l’IRISA est présent sur 3 sites géographiques (Rennes, Lannion, Vannes), au cœur d'un écosystème régional de recherche et innovation riche.

Pour rester à la pointe de l’évolution des sciences et des technologies de l’information, tout en accompagnant la transition numérique de la société et des autres disciplines scientifiques, le laboratoire est structuré en sept départements scientifiques croisés par sept axes répondant à des questions sociétales telles que la cybersécurité, la santé, l’environnement et l’écologie, les transports, la robotique, l’énergie et la culture.

L’IRISA est issu d’une volonté de collaboration entre huit établissements tutelles pluridisciplinaires : CentraleSupélec, CNRS, ENS Rennes, IMT Atlantique, Inria, INSA Rennes, Université Bretagne Sud, Université de Rennes 1. De cette pluridisciplinarité nait une force issue de femmes et d'hommes qui donnent le meilleur d’eux-mêmes pour la recherche fondamentale et appliquée, la formation, les échanges avec d’autres disciplines, la médiation scientifique, les transferts de savoir-faire et de technologie.

IRISA, le partenaire pour tous vos projets...