PreviousThere are 79 Results with the keyword : "Inria de Paris"
Research Teams' Seminar
Prosecco Seminar
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:
Research Teams' Seminar
Gallium Seminar
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:
Europe
Karthikeyan Bhargavan - making the internet a safer place
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
Recherche
Franco-African LIRIMA Seminar
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
Research Teams' Seminar
Cambium Seminar
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:
Research Teams' Seminar
Prosecco Seminar
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:
Research Teams' Seminar
Cambium Seminar
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:
Scientific mediation
"Rendez-vous des Jeunes Mathématiciennes et Informaticiennes" Event 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
Research Teams' Seminar
Prosecco Seminar
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)
Inria Research Centers
