Workshop FMAI at IRISA Rennes
Published: 17 Apr 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.

Published: 16 Apr 2019

Come and attend an evening of popularization on Fake News and understand how Cédric Maigrot (LinkMedia research team) is interested in detecting Fake News on social networks? May 21 from 7pm at the Warpzone in Rennes.

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

Wednesday April 03, over one hundred students (12-13 years old) from Pierre Brossolette (Bruz) and Amand Brionne middle schools (Saint Aubin d'Aubigné), participated in the "J'peux pas j'ai informatique" day at IRISA and the centre Inria Rennes - Bretagne Atlantique.



Date Title Speaker Place Department
02 May 2019 to 03 May 2019 Formal Methods and AI : 2-3 of May 2019 IRISA Rennes, Rooms Petri-Turing and Metivier D4

Research & innovation in computer science and information technology

IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires - is today the largest French research laboratory (850+ people) in the field of computer science and information technology. The lab covers all the themes within these fields, from computer and network architecture to artificial intelligence, going through, e.g., software engineering, distributed systems and virtual reality.

Focused on the future of computer science at large with internationally recognized expertise, IRISA is present in 3 geographical sites in Brittany (Rennes, Lannion, Vannes), at the heart of a rich regional research and innovation ecosystem.

To remain at the forefront of the evolution of computer science and information technology while accompanying the digital transition of society and other scientific disciplines, the laboratory is structured into seven scientific departments along with seven transversal axes addressing societal issues such as cybersecurity, health, environment and ecology, transport, robotics, energy, culture.

IRISA results from a desire of collaboration between eight institutions, in alphabetical order CentraleSupélec, CNRS, ENS Rennes, IMT Atlantique, Inria, INSA, Rennes, Université Bretagne Sud, Université de Rennes 1. A multidisciplinary approach gives rise to a force of women and men who give their best for fundamental and applied research, training, exchanges with other disciplines, scientific mediation, know-how and technology transfer.

IRISA, the partner for all your projects....