There are 1 Results with the keyword : "the Coq proof assistant"

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.

Keywords:

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

Lire la suite

Top