Conférence sur Coq à la Cantine - Nantes le 27/11

Posté par (page perso) . Édité par Benoît Sibaud. Modéré par Christophe Guilloux.
Tags : aucun
7
22
nov.
2012
Communauté

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.

  • # Site du projet

    Posté par . Évalué à  1 .

    Bien que je n'ai rien contre Wikipedia, je pense qu'il aurait été plus pertinent de mettre un lien vers la page du projet, suivi éventuellement du lien vers l'article WP pour d'éventuelles explications complémentaires.

    • [^] # Re: Site du projet

      Posté par (page perso) . Évalué à  2 .

      Ah oui, effectivement, oubli bête de ma part…
      Les modérateurs pourraient-ils faire quelque chose ?

      Un pays bien organisé est celui où le petit nombre fait travailler le grand nombre, est nourri par lui, et le gouverne - Voltaire

  • # Diapos et code de la présentation

    Posté par (page perso) . Évalué à  2 .

    Le code et les diaporamas de la présentation d'hier soir se trouvent ici.

    Remercions Maxime pour son cours d'une très grande clarté !

    Un pays bien organisé est celui où le petit nombre fait travailler le grand nombre, est nourri par lui, et le gouverne - Voltaire

Suivre le flux des commentaires

Note : les commentaires appartiennent à ceux qui les ont postés. Nous n'en sommes pas responsables.