Sites Inria

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

© 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

Karthikeyan_Bhargavan

Europe

Karthikeyan Bhargavan - making the internet a safer place

Mediathena – A.C. (*) - 21/10/2019

The European Commission has just announced Karthikeyan Bhargavan, a specialist in cryptographic protocols and director of research at Inria in Paris, as winner of the Horizon Impact Award. The aim of his research, carried out in the context of the Crysp and Circus projects alongside his project team Prosecco and international researchers, was to improve the security of web browsers.

Keywords:

Home > Centre > Paris > News > Karthikeyan Bhargavan rend internet plus sûr

More

Recherche

Franco-African LIRIMA Seminar

13/11/2019

The next Franco-African conference will take place on Wednesday, November 13 at 4pm! It will be given by Patrick Valduriez in Rennes on the theme "Blockchain 2.0: opportunities and risks".

Place : Online, 4pm

Guest(s) : Patrick Valduriez

Keywords:

Home > Centre > Paris > Calendar > Séminaire LIRIMA Franco-Africain

lire la suite

© INRIA Sophie Auvin - C comme Cryptographie

Research Teams' Seminar

Cambium Seminar

16/12/2019

This talk presents Nomos, a programming language that has been designed from scratch to address the unique challenges of programming digital contracts: describing and enforcing protocols of interaction, controlling resource usage, and tracking linear assets.

Place : Conference Room Jacques-Louis Lions 1

Guest(s) : Jan Hoffmann, Carnegie Mellon University

Keywords:

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

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Research Teams' Seminar

Prosecco Seminar

27/11/2019

We present a new way of embedding functional languages into the Coq proof assistant by using meta-programming. This allows us to develop the meta-theory of the language using the deep embedding and provides a convenient way for reasoning about concrete programs using the shallow embedding.

Place : Room C434 (Building C), Inria de Paris

Guest(s) : Bas Spitters (Concordium Blockchain Research Center, Aarhus University)

Keywords:

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

lire la suite

© INRIA Sophie Auvin - C comme Cryptographie

Research Teams' Seminar

Cambium Seminar

18/12/2019

The DeepSpec research project is a cross institution, cross project investigation to push further the science of specification and verification of software artifacts. Its ambition is crystallized into four qualities that specifications should have: they should be rich, live, two-sided and formal.

Place : Room Jacques Louis Lions 2, building C

Guest(s) : Yannick Zakowski, University of Pennsylvania

Keywords:

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

lire la suite

Scientific mediation

"Rendez-vous des Jeunes Mathématiciennes et Informaticiennes" Event 2019

Axelle Balekdjian (*) - 25/11/2019

Monday 28th October marked the beginning of a new edition of the Rendez-vous des Jeunes Mathématiciennes et Informaticiennes event, organised at the Inria centre in Paris by the associations Animath and Femmes et Mathématiques. Over two days, it was our pleasure and privilege to welcome the 20 female school pupils from across France whose applications had been successful, and to share with them the very essence of Inria: scientific research. Let’s take a look back at those two days.

Keywords:

Home > Centre > Paris > News > Rendez-vous des Jeunes Mathématiciennes et Informaticiennes 2019

More

© 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

Top