Précédent
Il y a 270 Résultats avec le mot clé : "séminaire"
Séminaire des équipes de recherche
Séminaire Gallium
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 :
Séminaire des Equipes de recherche
Séminaire RITS
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 :
Séminaire des équipes de recherche
Séminaire Gallium
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 :
Séminaire des équipes de recherche
Séminaire Prosecco
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 :
Séminaire des équipes de recherche
Séminaire Prosecco
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 :
Séminaire des équipes de recherche
Séminaire Prosecco
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 :
Séminaire des équipes de recherce
Séminaire Gallium
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 :
Séminaire des équipes de recherche
Séminaire des équipes de recherche
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
Evènement
Séminaire scientifique et technique: Archéologie, Imagerie numérique et 3D
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
Séminaire des équipes de recherche
Séminaire Prosecco
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)
Centres de recherche Inria
