Vous êtes ici

Comité de centre - January meeting report

The meeting report is on line here (but in French)

Semaine du cerveau : retrouvez les membres des équipes VISAGES et HYBRID pour une session Bar en (neuro)sciences, mercredi 15 mars à partir de 19h !

Les chercheurs des équipes Visages et Hybrid proposeront, à l'occasion de la semaine du cerveau,  de partir à la découverte des dessous de notre cerveau dans un lieu atype : le Bar la quincallerie générale à Rennes, le mercredi 15 mars à part...

PhD defense of David Bühler (Celtique) on Wednesday 15 March at 2:00 pm in Michel Métivier room

Title :
Structuring an Abstract Interpreter through Value and State Abstractions:EVA, an Evolved Value Analysis for Frama-CAbstract :
The formal verification of programs is nowadays a crucial challenge
for computer science, as software bugs in...

BD meeting

Learn more

Rencontre BD "Quoi choisir ? quoi lire ?", jeudi 9 mars à 12h30

Bédépolis (le club des lecteurs de la bédéthèque de l'AGOS) organise jeudi 9 mars prochain une rencontre avec Franck de la librairie M'ENFIN.Il présentera une sélection de bandes dessinées et de romans graphiques qui ont retenu l'attention des lec...

AG (Visio) avec Vincent de Gauléjac, sociologue clinicien

Attention horaire modifié : de 10 h 30 à 12 h 30L'intersyndicale (SNCS/FSU, SNTRS/CGT, Sgen/CFDT) de l'Inria vous invite à participer à une assemblée générale nationale, en visio-conférence, le 14 mars 2017, de 10h30 à 12h30. Le sociologue Vincent...

Exceptional closure of the premises on 25 and 26 March 2017

During the last weekend in March, the technical services will shutdown the electrical installations in order to test the shutdown and recovery procedures as well as the proper functioning of the emergency installations.Consequently, the central IT...

Fermeture exceptionnelle des locaux du centre et de l'Irisa les 25 et 26 mars 2017

Le dernier weekend de mars, les services techniques et informatiques du centre et de l'Irisa vont procéder à un exercice de coupure générale des installations électriques afin de tester les procédures d'arrêt et reprises ainsi que le bon fonctionn...

SoSySec Seminar : Antoine Delignat-Lavaud (Microsoft Research, Cambridge) on march the 3rd in Petri/Turing room

Title : A Verified Implementation and Security Proof of the TLS 1.3 Record Layer
Abstract :
The new 1.3 revision of the Transport Layer Security protocol used to encrypt most traffic on the Internet is built on top of an updated modular AEAD cons...

Pages

S'abonner à www.irisa.fr RSS