Sites Inria

Il y a 20 Résultats avec le mot clé : "Méthodes Formelles"

Laboratoire commun

Forum Microsoft Research Inria 2011

12/04/2011

Le 12 avril, le laboratoire commun Inria - Microsoft research vous invite à participer au forum 2011 au Centre de conférence Microsoft-France à Issy-les Moulineaux. L'occasion de faire le point sur une collaboration scientifique fructueuse autour de conférences et de démonstrations.

Lieu : Centre de conférence Microsoft-France 41, quai du Président Roosevelt 92130 Issy-les-Moulineaux

Intervenant(s) : Assia Mahboubi, Inria, Cédric Fournet, Microsoft Research Cambridge, Damien Doligez, Inria, Frédéric Chyzak, Inria, Bertrand Thirion, Inria, Jean-Daniel Fekete, Inria,Youssef Hamadi, Microsoft Research Cambridge, Marc Schoenauer, Inria,Jean Ponce, Ecole Normale Supérieure

Mots-clés :

Accueil > Actualité > Agenda > Forum Microsoft Research Inria 2011

lire la suite

sécurité

Séminaire - Sécurité

Séminaire "Sécurité & méthodes formelles"

3/12/2010

Lieu : Centre de recherche Inria Rennes - Bretagne Atlantique, salle Michel Métivier

Intervenant(s) : Yassine Lakhnech, Université de Grenoble, CNRS/VERIMAG

Mots-clés :

Accueil > Centre > Rennes > Agenda > Séminaire "Sécurité & méthodes formelles"

Lire la suite

Gilles Dowek © Inria / Photo S. Tetu - La Company

Recherche

Deducteam

12/03/2012

Nous avons rencontré Gilles Dowek, responsable de l’équipe Deducteam créée le 1er janvier dernier.

Mots-clés :

Accueil > Centre > Paris > Actualités > Deducteam

Lire la suite

École CEA-EDF-Inria

Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction

14/11/2011 au 18/11/2011

Cette école CEA-EDF-Inria abordera les techniques de base en modélisation et vérification d'algorithmes en Coq. Elle s'adresse aux étudiants, chercheurs ou ingénieurs qui ont une bonne connaissance de la programmation dans un langage conventionnel (C, Java).

Lieu : Inria - Antenne Parisienne, 23 avenue d'Italie - Paris 13ème

Intervenant(s) : Yves Bertot (Inria), Pierre Castéran (U Bordeaux), Benjamin Gregoire (Inria), Pierre Letouzey (U. Denis Diderot), Assia Mahboubi (Inria).

Mots-clés :

Accueil > Centre > Paris > Agenda > Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction

Lire la suite

Laboratoire commun

Forum Microsoft Research Inria 2011

12/04/2011

Le 12 avril, le laboratoire commun Inria - Microsoft research vous invite à participer au forum 2011 au Centre de conférence Microsoft-France à Issy-les Moulineaux. L'occasion de faire le point sur une collaboration scientifique fructueuse autour de conférences et de démonstrations.

Lieu : Centre de conférence Microsoft-France 41, quai du Président Roosevelt 92130 Issy-les-Moulineaux

Intervenant(s) : Assia Mahboubi, Inria, Cédric Fournet, Microsoft Research Cambridge, Damien Doligez, Inria, Frédéric Chyzak, Inria, Bertrand Thirion, Inria, Jean-Daniel Fekete, Inria,Youssef Hamadi, Microsoft Research Cambridge, Marc Schoenauer, Inria,Jean Ponce, Ecole Normale Supérieure

Mots-clés :

Accueil > Centre > Paris > Agenda > Forum Microsoft Research Inria 2011

lire la suite

École CEA-EDF-Inria

Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction

7/06/2010 au 11/06/2010

Cette école CEA-EDF-Inria abordera les techniques de base en modélisation et vérification d'algorithmes en Coq. Elle s'adresse aux étudiants, chercheurs ou ingénieurs qui ont une bonne connaissance de la programmation dans un langage conventionnel (C, Java).

Lieu : Inria - Rocquencourt bâtiment 1

Mots-clés :

Accueil > Centre > Paris > Agenda > Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction

Lire la suite

airbus - MiqsPixImaging

Séminaire In'Tech

Séminaire In'Tech - Validation formelle de systèmes industriels critiques

18/04/2013

Le club de veille technologique In’ Tech, en partenariat avec CAP’TRONIC, organise une demi-journée de rencontres entre chercheurs et industriels sur le thème " Validation formelle de systèmes industriels critiques ", le jeudi 18 avril de 13h30 à 18h, à Inria Montbonnot.

Lieu : Inria Grenoble - Rhône-Alpes, Montbonnot

Mots-clés :

Accueil > Innovation > Agenda > Séminaire In'Tech - Validation formelle de systèmes industriels critiques

lire la suite

Cockpit Airbus A350 © Airbus

Forum Méthodes Formelles

Forum Méthodes Formelles

28/06/2013

Le Forum Méthodes Formelles est un cycle de conférences créé par le pôle Aerospace Valley afin de sensibiliser les entreprises aux méthodes formelles pour la conception de systèmes et de logiciels sûrs, en diffusant l'expérience acquise en ce domaine par les grands acteurs de l'aéronautique et de l'espace.

Lieu : Grand amphithéâtre Inria Grenoble

Intervenant(s) : Reinhard Wilhelm, Florent Kirchner, Stéphane Duprat, Benjamin Monate, Christian Ferdinand, Jean Souyris, Patrick Munier, Aurore Dupuis, Francesco Logozzo, Mehdi Bouaziz, Cyrille Comar

Mots-clés :

Accueil > Centre > Grenoble > Agenda > Forum Méthodes Formelles

Retrouvez le programme détaillé

Cockpit Airbus A350 © Airbus

Forum Méthodes Formelles 2014

Forum Méthodes Formelles

4/02/2014

Le Forum Méthodes Formelles est un cycle de conférences créé par le pôle Aerospace Valley afin de sensibiliser les entreprises aux méthodes formelles pour la conception de systèmes et de logiciels sûrs, en diffusant l'expérience acquise en ce domaine par les grands acteurs de l'aéronautique et de l'espace.

Lieu : Grand amphithéâtre Inria Grenoble

Mots-clés :

Accueil > Centre > Grenoble > Agenda > Forum Méthodes Formelles

Retrouvez le programme détaillé

Cockpit Airbus A350 © Airbus

Forum Méthodes Formelles

Forum Méthodes Formelles : Le Model-Checking en action

16/10/2014

Le prochain Forum Méthodes Formelles sera retransmis le 16 octobre 2014 de 8h45 à 17h30 à Inria Grenoble - Rhône-Alpes. Ce forum est un cycle de conférences créé par le pôle Aerospace Valley afin de sensibiliser les entreprises aux méthodes formelles pour la conception de systèmes et de logiciels sûrs, en diffusant l'expérience acquise en ce domaine par les grands acteurs de l'aéronautique et de l'espace.

Lieu : Inria Grenoble - Rhône-Alpes

Mots-clés :

Accueil > Centre > Grenoble > Agenda > Forum Méthodes Formelles : Le Model-Checking en action

lire la suite

Haut de page

Suivez Inria