Vous êtes ici

Comité des Projets

Le compte-rendu du comité des projets de mai 2017 et les présentations/annexes sont en ligne ici.Le prochain comité des projets se déroulera mardi 6 juin 2017. Ordre du jour à paraître prochainement.  

Multifunction copiers replacement at Inria and Irisa

Following the end of the lease, the copiers of the center will be replaced as of June 6th.
The visibility of printers on your computer will change.
Printing will be available via two virtual queues independent of the physical copiers (one for B&am...

Remplacement des copieurs Multifonctions du centre Inria et de l’Irisa

Suite à la fin du contrat de location, les copieurs du centre vont être remplacés à partir du 6 juin.
La visibilité des imprimantes sur les postes de travail va changer.
L’impression sera accessible via deux files virtuelles indépendantes des copi...

Running for Inria anniversary

On the occasion of INRIA's 50th anniversary, the center proposes to attend running events under INRIA's colors.One of these events is "Tout Rennes Court" (everybody runs in Rennes), on October 8th, 2017.
Runners, but also your family an...

Courir pour les 50 ans d'Inria

A l'occasion des 50 ans d'INRIA, le centre de Rennes propose de participer à des rassemblements sportifs, sous lescouleurs d'INRIA. Un des événements choisis est "Tout Rennes Court", le 8 octobre 2017.
Pour tous les coureurs qui souhait...

PhD Defense of Oana Fabiana Andreescu on Monday 29th May 2017 in Petri/Turing rooms at 02:00 pm

TitleStatic Analysis of Functional Programs with an Application to the Frame Problem in Deductive Verification Abstract
In the field of software verification, the frame problem refers to establishing the
boundaries within which program elemen...

PhD Defense of Antoine Guellier on Monday 22nd May 2017 in room 510 at CentraleSupélec at 10:30 am

TitleStrongly Private Communications in a Homogeneous Network AbstractWith the development of online communications in the past decades, new privacy concerns have emerged. A lot of research effort have been focusing on concealing relationshi...

Soutenance de thèse de Oana Fabiana Andreescu (Celtique) lundi 29 mai à 14h00 en salles Petri/Turing

Vous êtes cordialement invités à venir assister à la soutenance de thèse de Oana Fabiana Andreescu (équipe CELTIQUE) le lundi 29 Mai 2017 à 14h00 en salles Petri/Turing ainsi qu’au pot qui suivra en Salle Sein. Membres du jury - Catherin...

Soutenance de thèse de Antoine Guellier (CIDRE) lundi 22 mai à 10h30 en salle 510 à CentraleSupélec

Vous êtes cordialement invités à venir assister à la soutenance de thèse de Antoine Guellier (équipe CIDRE) le lundi 22 Mai 2017 à 10h30 en salle 510 à CentraleSupélec ainsi qu'au pot qui suivra. Membres du jury
- LAURENT Maryline, Professeur...

PhD Defense of Pauline Bolignano on Wednesday 24th May 2017 in Petri/Turing rooms at 02:00 pm

TitleFormal models and verification of memory management in a hypervisor 
A hypervisor is a software which virtualizes hardware resources,
allowing several guest operating systems to run simultaneously on the
same machine. Since the...


S'abonner à www.irisa.fr RSS