Vous êtes ici

Best paper award pour ASCOLA et I4S

L'équipe ASCOLA a reçu le Best Paper Award, lors de la conférence internationale CLOSER 2017 (the 7th International Conference on Cloud Computing and Services Science) qui s'est déroulée en avril dernier à Porto (Portugal).En savoir plusMichael Do...

Rennes Projects Committee

May meeting report is on line here (but in French).The next Projects Committee is planned on June 6, 2017. 

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...


S'abonner à www.irisa.fr RSS