Sites Inria

Il y a 4 Résultats avec le mot clé : "Cambium"

© INRIA Sophie Auvin - C comme Cryptographie

Séminaire des équipes de recherche

Séminaire Cambium

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.

Lieu : Inria de Paris, Salle Jacques-Louis Lions 1 (bâtiment C)

Intervenant(s) : Francesco Zappa Nardelli

Mots-clés :

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

lire la suite

© INRIA Sophie Auvin - C comme Cryptographie

Séminaire des Équipes de Recherche

Séminaire Cambium

2/12/2019

Due to the nature of quantum computation, we believe that, in this field, formal verification is meant to play a role similar to that of test development in classical computing.

Lieu : Inria de Paris, Salle Jacques-Louis Lions 1

Intervenant(s) : Christophe Chareton

Mots-clés :

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

lire la suite

© INRIA Sophie Auvin - C comme Cryptographie

Séminaire des Équipes de Recherche

Séminaire Cambium

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.

Lieu : Salle Jacques-Louis Lions 1

Intervenant(s) : Jan Hoffmann, Carnegie Mellon University

Mots-clés :

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

lire la suite

© INRIA Sophie Auvin - C comme Cryptographie

Séminaire des Équipes de Recherche

Séminaire Cambium

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.

Lieu : Salle Jacques Louis Lions 2, bâtiment C

Intervenant(s) : Yannick Zakowski, University of Pennsylvania

Mots-clés :

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

lire la suite

Haut de page

Suivez Inria