Vous êtes ici

Inria Rennes – Bretagne Atlantique et l’IRISA, au coeur de la recherche en intelligence artificielle en Bretagne

Dans un contexte d’accroissement de l’intérêt pour l’IA, le centre de recherche Inria Rennes – Bretagne Atlantique et l’IRISA (Institut de Recherche en Informatique et Systèmes Aléatoires, UMR 6074) ont réalisé un bilan des activités menées dans c...

PhD thesis of Yon Fernandez de Retana (Celtique team) on 5 July at 3:30 pm in Michel Métivier room

Title :
“Toward Sea of Nodes verified compilation: semantic properties and reasoning”
Abstract :

Optimizing compilers for programming languages have become complex software, and they are hence subject to bugs. This can be
dangerous in the contex...

Soutenance de thèse de Yon Fernandez de Retana (Equipe Celtique) le jeudi 5 juillet 2018 à 15h30 en salle Michel Métivier

Bonjour,
Vous êtes cordialement invités à venir assister à la soutenance de thèse de Yon Fernandez de Retana (Equipe Celtique) intitulée "Vers la compilationvérifiée de Sea of Nodes : propriétés et raisonnement sémantiques".La soutenance...

Call for volunteers

Hello everyone,I'm looking for volunteers to participate in an experiment, organized by Simon Hilt (Phd student in MimeTic) and myself (intern), that will take place from 11th to 20th July in the office 004 in building 13.The task performed will b...

Appel à volontaires

Bonjour à tous,
J'ai besoin de volontaires pour participer à une expérience organisée par Simon Hilt (doctorant MimeTic) et moi-même (stagiaire) qui aura lieu du 11 Juillet au 20 Juillet dans le bureau 004 du bâtiment 13.La tâche a effectué sera...

CUMIR

Compte-rendu CUMIR

Le compte rendu de la CUMIR du 21 juin est disponible ici.L'ordre du jour était le suivant :

Connexion des machines personnellesAnticipation des personnels et stagiairesPolitique de renouvellement des postes tous les 4 ansExtension d’IgridaSémina...

WELCOME MEETING FOR NEWCOMERS on Thursday, July 5, 2018 from 9.15am to 11.30am in MINQUIERS meeting room

WELCOME MEETING FOR NEWCOMERS on Thursday, July 5, 2018 from 9.15am to 11.30am in MINQUIERS meeting room
The following subjects will be presented and discussed:
- Presentation of Inria Center and Irisa
- Rights and obligations related to Human Res...

A NOTER : LA MATINEE DES NOUVEAUX ARRIVANTS AURA LIEU LE JEUDI 5 JUILLET 2018 salle MINQUIERS !

Tous les mois, les nouveaux arrivants sont invités à participer à une matinée d'information !Elle aura lieu le jeudi 5 juillet 2018, salle MINQUIERS de 09h15 à 11h30Au menu :
Présentation du Centre Inria et de l'Irisa
Droits et devoirs RH (Inria e...

WELCOME MEETING FOR NEWCOMERS on Thursday, June 5, 2018 from 9.15am to 11.30am in MINQUIERS meeting room

WELCOME MEETING FOR NEWCOMERS on Thursday, June 5, 2018 from 9.15am to 11.30am in MINQUIERS meeting room
The following subjects will be presented and discussed:
- Presentation of Inria Center and Irisa
- Rights and obligations related to Human Res...

Pages

S'abonner à www.irisa.fr RSS