You are here

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 
Abstract
A hypervisor is a software which virtualizes hardware resources,
allowing several guest operating systems to run simultaneously on the
same machine. Since the...

Soutenance de thèse de Pauline Bolignano (Celtique) mercredi 24 mai à 14h00 en salles Petri/Turing

Vous êtes cordialement invités à venir assister à la soutenance de thèse de Pauline Bolignano (équipe CELTIQUE) le mercredi 24 Mai 2017 à 14h00 en salles Petri/Turing ainsi qu’au pot qui suivra en Salle Sein. Membres du jury - Marie-Laur...

Vélos tampons dans le local du bâtiment 12D

Bonjour,
Le local à vélo au sous-sol du bâtiment 12D est un équipement très apprécié, beaucoup mieux aménagé que d'autres emplacements à vélo du campus (pas fermés, ou pas abrités). Mais sa capacité est réduite en permanence par des vélos tampons...

Décès d'Alain Colmerauer, inventeur du langage Prolog

Alain Colmerauer est l'initiateur du langage de programmation par contrainte Prolog, né au début des années 1970.Ce chercheur à la renommée mondiale, a eu une influence importante à l’IRISA-Inria : Prolog a initié de nombreux travaux, aussi bien s...

Migration d’une chargée des partenariats vers le Sud

Les informations sur l’affaire sont encore parcellaires mais il semblerait que notre collègue Laure Ait-Ali, chargée du Transfert de l’Innovation et des Partenariats au sein du Service du même nom (STIP), ait été envoûtée par des mots comme Pomer...

Pages

Subscribe to www.irisa.fr RSS