Sites Inria

There are 79 Results with the keyword : "Inria de Paris"

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

26/06/2018

We present composition theorems for security protocols, to compose a key exchange protocol and a symmetric-key protocol that uses the exchanged key. Our results rely on the computational model of cryptography and are stated in the framework of the tool CryptoVerif.

Place : Inria de Paris, 2 rue Simone Iff, Salle Jacques-Louis Lions 1, bâtiment C

Guest(s) : Bruno Blanchet (Prosecco)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Prosecco

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

17/09/2018

Data layout transformations such as array-of-structures to structure-of-arrays, peeling and splitting of records, can lead to significant performance improvement.

Place : Inria de Paris, 2 rue Simone Iff (ou: 41 rue du Charolais) Salle A115, bâtiment A

Guest(s) : Ramon Fernandez I Mir (Inria)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

10/09/2018

A number of tools have been developed for carrying out separation-logic proofs mechanically using an interactive proof assistant.

Place : Inria de Paris, 2 rue Simone Iff (ou: 41 rue du Charolais) Salle Jacques-Louis Lions 1, bâtiment C

Guest(s) : Robbert Krebbers (Delft University of Technology)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

Médiation scientifique

Fête de la science 2018 - Sorbonne universités

12/10/2018 to 14/10/2018

Depuis 2014, Sorbonne Universités réunit ses chercheurs au cœur du campus de Jussieu pour y célébrer la Fête de la science au mois d’octobre. Cette manifestation permet à chacun et chacune de rencontrer les acteurs des sciences issus de tous les établissements membres de Sorbonne Universités.

En phase avec l’objectif d'excellence scientifique de Sorbonne Universités, son village des sciences a pour but de valoriser les problématiques scientifiques de sa communauté autour des enjeux de demain.

Place : Campus Jussieu - 4 place Jussieu 75005 Paris

Keywords:

Home > Centre > Paris > Calendar > Fête de la science 2018 - Sorbonne universités

lire la suite

Logo - La demi-heure de science Inria de Paris

La demi-heure de science

La demi-heure de science

3/07/2018

La demi-heure de science a lieu tous les mois, à partir de 13h45, dans la salle Jacques-Louis Lions au bâtiment C. Un café vous y accueille dès 13h30.

Cette demi-heure a pour but de présenter, à tous les scientifiques du centre, un thème, son intérêt et les questions qui s’y rapportent afin de répondre à la question  « pourquoi mène-t-on des recherches dans ce domaine-là ? »

Place : Inria Paris - 2 rue Simone Iff- 75012 Paris - Batiment C - Salle Jacques Louis Lions

Guest(s) : Martin Vohralík (Serena)

Keywords:

Home > Centre > Paris > Calendar > La demi-heure de science

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

18/06/2018

Arguments about linearizability of a concurrent data structure are typically carried out by specifying the linearization points of the data structure's procedures.

Place : Inria de Paris, 2 rue Simone Iff, 75012 Paris, bâtiment C, salle J.L. Lions 1 - 14h00

Guest(s) : Germán Delbianco (IRIF)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

Caption: areas of the brain "taught" by the algorithm which enable it to determine the probable diagnosis - © ARAMIS

Recherche

Towards more reproducible research in artificial intelligence for medicine

8/10/2018

Being able to reproduce the results obtained is a major challenge in biomedical research, and an essential stage in drawing lasting conclusions from them. Olivier Colliot and Stanley Durrleman's ARAMIS team is an Inria team (based at the ICM (Brain and Spine Institute), jointly with the CNRS, Inserm and Sorbonne University) that has developed a set of software tools enabling reproducibility in medical decision-making support system evaluation studies. The results are published in the journal Neuroimage.

Keywords:

Home > Centre > Paris > News > Vers une recherche plus reproductible en IA pour la médecine

More

Liliana Cucu-Grosjean - © Inria

Recherche

New team : Kopernic

A.A. (*) - 10/10/2018

The Kopernic team was created in July 2018, within the research centre. It is supervised by Liliana Cucu-Grosjean.

Keywords:

Home > Centre > Paris > News > Nouvelle équipe : Kopernic

More

Laura Grigori - © Inria / Photo G. Scagnelli

European Research Council 2018

Laura Grigori (Alpines) winner of an ERC Synergy grant

23/10/2018

The Extreme-scale Mathematically-based  Computational Chemistry (EMC2)  project led by Eric Cancès, Laura Grigori, Yvon Maday and Jean-Philip Piquemal  has won an ERC Synergy Grant  in the context of the 2018 call for projects, and is one of the 27 winners announced on Tuesday, October 23 2018. The four EMC2 principal investigators explain the challenges of this very high-level research project. 

Keywords:

Home > Centre > Paris > News > Laura Grigori (Alpines) lauréate d'une bourse ERC Synergy

More

Educational actions

Getting pupils interested

Inria's researchers have met over 700 pupils at the lectures they have given at secondary schools or during the Mathematical Olympiad awards ceremony or the training courses held as part of the "Pépinière de mathématiques".

Keywords:

Home > Centre > Paris > Research > Science for all > Susciter l’intérêt

More

Top