Sites Inria

There are 11 Results with the keyword : "science"

Conférence Scientifique

IRIS « Science des données, données de la science »

18/11/2016

La science des données interconnecte une multitude de disciplines qui génèrent elles-mêmes de nombreuses données. Riche de l’activité de ses équipes en ce domaine, Paris Sciences et Lettres a mis en place l’Initiative de Recherche Interdisciplinaire et Stratégique (IRIS) « Science des données, données de la science », destinée à promouvoir les interactions entre laboratoires PSL autour de ce sujet.

Place : 29 rue d'Ulm - 75016 Paris

Keywords:

Home > Centre > Paris > Calendar > IRIS « Science des données, données de la science »

lire la suite

Research Team Seminar

SERENA Seminar

27/09/2019

Place : Room A415, building A - 3pm

Guest(s) : Ivan Yotov

Keywords:

Home > Centre > Paris > Calendar > Séminaire SERENA 3

read more

Scientific Conference

The Science Half-Hour

10/10/2019

The Science Half-Hour is back! See you on Thursday, October 10th at 1:45pm in conference room Jacques-Louis Lions (building C) for a new edition of your favorite meeting.

Place : Room Jacques Louis Lions, building C - 1:45pm

Keywords:

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

lire la suite

© INRIA Sophie Auvin - G comme Grille

Research Teams Seminar

Gallium Seminar

14/10/2019

EverCrypt is a comprehensive collection of verified, high-performance cryptographic functionalities available via a carefully designed API. 

Place : Inria de Paris, Room Jacques Louis Lions 1, building C - 10:30am

Guest(s) : Jonathan Protzenko, Microsoft Research

Keywords:

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

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Research Teams Seminar

Prosecco Seminar

9/10/2019

For performance and security reasons, it is sometimes necessary to program at the lowest levels of abstraction, using a mixture of C and assembly. In this talk, we present techniques that allow verifying such code for correctness and side-channel resistance.

Place : Wednesday, October 9th, 11am ✫ Room Jacques-Louis Lions 2

Guest(s) : Nik Swamy (MSR) and Aymeric Fromherz (CMU)

Keywords:

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

lire la suite

@Freepik

Événement

Session Inria Alumni, "Open Science"

12/11/2019

Come and check the next Inria Alumni Session: "Open Science: Research also exploits the potential of the digital" !

Place : 2:30pm-7pm, Room Jacques Louis Lions

Keywords:

Home > Centre > Paris > Calendar > Session Inria Alumni, "Science Ouverte"

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Research Teams' Seminar

Prosecco Seminar

23/10/2019

Indexed inductive types are a feature of most languages based on dependent types. So far, they have only been described as schematic extensions of a type theory or as being instances of the very semantically oriented definition of (indexed) W-types. 

Place : Room Jacques Louis Lions 2

Guest(s) : Jakob von Raumer (University of Nottingham)

Keywords:

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

lire la suite

© INRIA Sophie Auvin - G comme Grille

Research Teams' Seminar

Gallium Seminar

4/11/2019

The tax code, as a legislative text, defines a mathematical function that computes the income tax of a fiscal household. In order to collect taxes, this function is implemented as an algorithm by the Direction Générale des Finances Publiques (DGFiP), using a domain specific language called M (standing for "Macro-language"). We propose a formal semantics of the M language, tested thanks to data published by the DGFiP.

Place : Room Jacques Louis 1, building C

Guest(s) : Denis Merigoux

Keywords:

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

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Research Teams' Seminar

Prosecco Seminar

7/11/2019

The challenges of verified and secure compilation often involve translating between different languages while preserving semantic properties of the models.

Place : Room Jacques Louis Lions 2

Guest(s) : Paolo Torrini (Lab. Verimag - INP Grenoble)

Keywords:

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

lire la suite

© INRIA Sophie Auvin - C comme Cryptographie

Research Teams' Seminar

Cambium Seminar

25/11/2019

Debug information, usually encoded in the DWARF format, is a hidden and obscure component of our computing infrastructure. Debug information is obviously used by debuggers, but it also plays a key role in program analysis tools, and, most surprisingly, it can be relied upon by the runtime of high-level programming languages.

Place : Inria Paris Center, Room Jacques-Louis Lions 1 (building C)

Guest(s) : Francesco Zappa Nardelli

Keywords:

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

lire la suite

Top