Sites Inria

Il y a 3 Résultats avec le mot clé : "Semantics"

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

4/07/2016

Lieu : 2 rue Simone Iff, 75012 Paris - Salle Jacques-Louis Lions 1, bâtiment C - 10h30

Intervenant(s) : Arthur Charguéraud

Mots-clés :

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

lire la suite

Brian Cantwell Smith Brian Cantwell Smith

Colloquium Jacques Morgenstern

Colloquium Jacques Morgenstern : Brian Cantwell Smith (Université de Toronto)

8/12/2016

Brian Cantwell Smith, de l'Université de Toronto, viendra nous présenter ses travaux le 8 décembre 2016. L'intitulé de son exposé : "Semantics in the Time of Computing"

Lieu : Amphithéâtre du Bâtiment Kahn, Inria, Sophia Antipolis

Intervenant(s) : Brian Cantwell Smith (Université de Toronto)

Mots-clés :

Accueil > Centre > Sophia > Agenda > Colloquium Jacques Morgenstern : Brian Cantwell Smith (Université de Toronto)

Lire la suite (en anglais)

© INRIA Sophie Auvin - A comme Algorithme

Séminaire des équipes de recherche

Séminaire Aost2

2/06/2017

This presentation introduces Chisel, a tool that synthesizes a program slicer directly from a given algebraic specification of a programming language operational semantics.

Lieu : Inria de Paris, BâtimentC, Salle C234 - 14h00

Intervenant(s) : Irina-Mariuca Asavoae

Mots-clés :

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

lire la suite

Haut de page

Suivez Inria