Sites Inria

There are 2 Results with the keyword : "formal methods"

CEA-EDF-Inria School

CEA-EDF-Inria schools - Modelling and verifying algorithms in Coq: an introduction

14/11/2011 to 18/11/2011

This school is a 5 days course for engineers, and for students and researchers. Participants should be familiar with programming (e.g. in C or Java), but no knowledge of a proof assistant or of a functional language is required. Participants are invited to bring their own laptop to profit of the afternoon exercise sessions.

Place : Rooms Orange 1 and Orange 2 (5th floor), Inria Antenne de Paris, 23 avenue d'Italie, 75013 Paris. Metro: Place d'Italie.


Home > Centre > Paris > Calendar > 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


You are kindly invited to participate to Forum 2011, on April 12th, in Le Campus Microsoft (Issy-les-Moulineaux). This will be an opportunity to showcase a very fruitful research collaboration through research presentations and demonstrations. There will be seven scientific talks and demos.

Place : Campus Microsoft 39, quai du Président Roosevelt 92130 Issy-les-Moulineaux

Guest(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


Home > Centre > Paris > Calendar > Forum Microsoft Research Inria 2011

lire la suite