L'Agenda du Libre

L'agenda des événements du Logiciel Libre en France

Nantes Présentation de Coq

Groupes d'utilisateurs de la région

Actions

Ajouter à mon calendrier

Date et lieu

Le mardi 27 novembre 2012, de 19h30 à 21h30.

À Nantes, Pays de la Loire

Description

NantesFP organise le mardi 27 novembre à 19h30 une conférence sur le logiciel assistant de preuve Coq.

La présentation aura lieu à la Cantine, impasse Juton à Nantes et abordera pour cette première partie le cadre mathématique de Coq. Cette présentation, gracieusement proposée et réalisée par Maxime Folschette, sera la première d'une série couvrant les principaux aspects de Coq et de son langage Gallina.

Les prochaines séances s'orienteront petit à petit vers un mode plus « travaux pratiques » afin que chaque participant puisse s'approprier l'outil.

Le nombre de places étant limité, une inscription est nécessaire.

Informations

URL http://nantesfp-coq.eventbrite.com/

Contact

Tags preuve coq