Agenda du Libre France France
Agenda du Libre Québec Québec
Agenda du Libre Belgique Belgique
Agenda du Libre Suisse Suisse

L'Agenda du Libre

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

Groupes d'utilisateurs de la région

HERLUG (85)
LinuX Maine (72)
MayLUG (53)
N@utile (44)
Linux-Nantes (44)
GULLL (44)
LiLoLiPo (44)
CERIO (44)

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