Il y a 20 Résultats avec le mot clé : "Méthodes formelles"
Laboratoire commun
Forum Microsoft Research Inria 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 :
- Microsoft research
- Laboratoire commun
- Méthodes formelles
- Preuves
- Fonctions mathématiques
- Vision artificielle
- Saclay - Île-de-France
- E-Sciences
- TLA+
- Coq
- Ssreflect
- ReActivity
Accueil > Actualité > Agenda > Forum Microsoft Research Inria 2011
Séminaire - Sécurité
Séminaire "Sécurité & méthodes formelles"
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"
© Inria / Photo S. Tetu - La Company
Recherche
Deducteam
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
École CEA-EDF-Inria
Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction
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
Laboratoire commun
Forum Microsoft Research Inria 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 :
- Microsoft research
- Laboratoire commun
- Méthodes formelles
- Preuves
- Fonctions mathématiques
- Vision artificielle
- Saclay - Île-de-France
- E-Sciences
- TLA+
- Coq
- Ssreflect
- ReActivity
Accueil > Centre > Paris > Agenda > Forum Microsoft Research Inria 2011
École CEA-EDF-Inria
Ecoles CEA-EDF-Inria - Modélisation et vérification d'algorithmes en Coq : une introduction
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
airbus
-
MiqsPixImaging
Séminaire In'Tech
Séminaire In'Tech - Validation formelle de systèmes industriels critiques
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
© Airbus
Forum Méthodes Formelles
Forum Méthodes Formelles
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
© Airbus
Forum Méthodes Formelles 2014
Forum Méthodes Formelles
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
© Airbus
Forum Méthodes Formelles
Forum Méthodes Formelles : Le Model-Checking en action
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
Centres de recherche Inria
