Sites Inria

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

© INRIA / Sophie Chauvin - Equation

Séminaire des équipes de recherche

Séminaire Performance et Généricité du LRDE

1/10/2019

The Loci Auto-Parallelizing framework provides a Domain Specific Language (DSL) for the creation of high performance numerical models.

Lieu : 11h - Amphi 4, LRDE, EPITA (14-16, rue Voltaire 94276 Le Kremlin-Bicêtre)

Intervenant(s) : Edward A. Luke, Professor (Department of Computer Science and Engineering, Mississippi State University)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Performance et Généricité du LRDE

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

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. 

Lieu : Salle Jacques Louis Lions 2

Intervenant(s) : Jakob von Raumer (University of Nottingham)

Mots-clés :

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

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

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.

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

Intervenant(s) : Denis Merigoux

Mots-clés :

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

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

7/11/2019

The challenges of verified and secure compilation often involve translating between different languages while preserving semantic properties of the models.

Lieu : Salle Jacques Louis Lions 2

Intervenant(s) : Paolo Torrini (Lab. Verimag - INP Grenoble)

Mots-clés :

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

lire la suite

Recherche

Séminaire LIRIMA Franco-Africain

13/11/2019

La prochaine conférence franco-africaine aura lieu le mercredi 13 novembre à 16 heures. Elle sera donnée par Patrick Valduriez en présentiel à Rennes (salle Métivier) sur le thème "Blockchain 2.0: opportunités et risques".

Lieu : En ligne, à 16h

Intervenant(s) : Patrick Valduriez

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire LIRIMA Franco-Africain

lire la suite

© 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 - P comme Protocole

Séminaire des Équipes de Recherche

Séminaire Prosecco

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.

Lieu : Salle C434 (bâtiment C), Inria de Paris

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

Mots-clés :

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

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