Sites Inria

Il y a 270 Résultats avec le mot clé : "séminaire"

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

12/03/2018

We present the design of a new functional programming language, MLTS, that possesses built-in mechanisms for treating data structures that include bindings.

Lieu : Inria Paris - 2 rue Simone Iff- 75012 - Paris- Salle Lions 1- bâtiment C

Intervenant(s) : Ulysse Gérard ( Inria Saclay)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - R comme Robot

Séminaire des Equipes de recherche

Séminaire RITS

20/03/2018

Une réduction des accidents et une meilleure fluidité du trafic sont les bénéfices importants espérés avec l'avènement des véhicules automatisés connectés (VAC). Au cours de cet exposé, j'aborderai les problèmes de recherche posés par les VAC en matière de cybersécurité. Ensuite, je présenterai des travaux en cours sur la détection de VAC au comportement malhonnête.

Lieu : Inria de Paris - 2 rue Simone Iff - 75012 - Paris

Intervenant(s) : Jonathan Petit

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire RITS

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

26/03/2018

Standard libraries of programming languages provide efficient implementations for common data containers. The details of these implementations are abstracted away by generic interfaces which are specified in terms of well understood mathematical structures such as sets, multisets, sequences, and partial functions. The intensive use of container libraries makes important their formal verification.

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

Intervenant(s) : Raphaël Cauderlier

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

Séminaire des équipes de recherche

Séminaire Prosecco

4/06/2018

I will present Template-Coq which is a Coq plugin to quote and unquote terms.

Lieu : Inria de Paris, 2 rue Simone Iff, 75012 Paris, bâtiment C, salle J.L. Lions 2 - 2:00 pm

Intervenant(s) : Simon Boulier (Inria Nantes)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

23/07/2018

Rust represents a major advancement in production programming languages because of its success in bridging the gap between high-level application programming and low-level systems programming. At the heart of its design lies a novel approach to ownership that remains highly programmable.

Lieu : Inria de Paris - 2 rue Simone Iff 75012 - Bâtiment C - Salle Lions

Intervenant(s) : Aaron Weiss (Northeastern University)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

© 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.

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

Intervenant(s) : Bruno Blanchet (Prosecco)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherce

Séminaire Gallium

1/10/2018

The Bindlib library provides a set of tools for the manipulation of structureswith variable binding. It is very well suited for the representation of syntax trees, and has already been used for the implementation of several programming . languages and proof assistants (including a new version of the Dedukti logical
framework).

Lieu : Inria de Paris - 2 rue Simone Iff 75012 - Batiment C - Salle Lions 1

Intervenant(s) : Rodolphe Lepigre

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

Séminaire des équipes de recherche

Séminaire des équipes de recherche

10/10/2018

We propose an automatic method to infer high dynamic range illumination from a single, limited field-of-view, low dynamic range photograph of a scene. 

Lieu : Inria de Paris - 2 rue Simone Iff 75012 - Bâtiment C - Salle Lions

Intervenant(s) : Jean - François Lalonde ( Université de Laval, Québec, Canada)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire des équipes de recherche

lire la suite

Archéologie : imagerie numérique et 3D

Evènement

Séminaire scientifique et technique: Archéologie, Imagerie numérique et 3D

26/06/2018 au 27/06/2018

Les 26 et 27 juin prochain, Inria, l’Inrap et l’IRISA organisent le séminaire scientifique et technique « Archéologie: Imagerie numérique et 3D » , Espace Conférences du centre Inria Rennes - Bretagne Atlantique. Cet événement présentera des réflexions sur l’utilisation des méthodes et technologies numériques non destructives (d’acquisition comme la tomodensitométrie ou la photogrammétrie, d’interaction comme la réalité virtuelle) dans le processus d’étude, d’analyse, d’enregistrement et de diffusion des données archéologiques et patrimoniales.

Lieu : Espace Conférences Inria - Inria Rennes - Bretagne Atlantique

Mots-clés :

Accueil > Centre > Rennes > Agenda > Séminaire scientifique et technique: Archéologie, Imagerie numérique et 3D

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

24/07/2018

Bringing the benefits of gradual typing to a language with parametric polymorphism like System F, while preserving relational parametricity, has proven extremely challenging: first attempts were formulated a decade ago, and several recent developments have been published in the past year.

Lieu : Inria de Paris - 2 rue Simone IFF 75012 - Batiment C- Salle Lions 2

Intervenant(s) : Éric Tanter (University of Chile)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

Haut de page

Suivez Inria