Sites Inria

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

Soutenance de thèse

Soutenance de thèse de Kailiang Ji (Deducteam)

25/09/2015

Le model checking est une technique de vérification automatique de propriétés de correction de systèmes finis. Normalement, les outils de model checking ont deux caractéristiques remarquables : ils sont automatisés et ils produisent un contre-exemple si le système ne satisfait pas la propriété. La Déduction Modulo est une reformulation de la logique des prédicats où certains axiomes---possiblement tous---sont remplacés par des règles de réécriture.

Lieu : 10h00 Salle 1006 - Bât. "Sophie-Germain" - Paris Diderot - 8, place Aurélie Nemours, 75013 Paris

Intervenant(s) : Kailiang Ji (Deducteam)

Mots-clés :

Accueil > Centre > Paris > Agenda > Soutenance de thèse de Kailiang Ji (Deducteam)

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

25/01/2016

Lieu : 2 rue Simone Iff, 75012 Paris (ou: 41 rue du Charolais) - Salle Jacques-Louis Lions 1, bâtiment C

Intervenant(s) : Jonathan Protzenko (Microsoft Research)

Mots-clés :

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

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

23/02/2016

Lieu : Salle de réunion Jacques-Louis Lions 1, bâtiment C

Intervenant(s) : Chung-Kil Hur (Seoul National University)

Mots-clés :

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

lire la suite

© INRIA Sophie Auvin - M comme Multimédia

Conférence scientifique

Rencontres Inria & LJLL en calcul scientifique

17/10/2016

Les Rencontres ont pour but de présenter les dernières avancées dans le calcul scientifique, la modélisation et l’analyse numérique, ainsi que de rassembler les communautés académiques et industrielles intéressées par ces domaines. On souhaite que les présentations comportent une partie explicative des méthodes, compréhensible par la plupart, et une partie plus spécialisée, contenant également des résultats numériques. Les Rencontres  résultent de la fusion du Séminaire Modélisation et Calcul Scientifique  du centre Inria de Paris et ldu Groupe de travail ‹‹ Méthodes Numériques ››  du Laboratoire Jacques-Louis Lions de l’université Paris 6 (UPMC).

Lieu : Salle Jacques-Louis Lions, Inria Paris (café à partir de 10h45)

Intervenant(s) : Ricardo Nochetto, University of Maryland

Mots-clés :

Accueil > Centre > Paris > Agenda > Rencontres Inria & LJLL en calcul scientifique

lire la suite

Haut de page

Suivez Inria