Nantes Présentation de Coq
Le mardi 27 novembre 2012 de 19h30 à 21h30.
Nantes, Pays de la Loire
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
- preuve coq