France
Québec
Belgique
Suisse

L'Agenda du Libre

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

Priorité au Logiciel Libre! Je soutiens l'April.

Groupes d'utilisateurs de la région

Actions

Ajouter à mon calendrier

Nantes : Présentation de Coq

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

Site Web: http://nantesfp-coq.eventbrite.com/

Contact: ontologiae CHEZ gmail POINT com

Tags: preuve, coq