coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] School on "Modelling and verifying algorithms in Coq"

From: Francesco Zappa Nardelli <francesco.zappa_nardelli AT inria.fr>
To: Coq Club <coq-club AT inria.fr>
Cc: Francesco Zappa Nardelli <francesco.zappa_nardelli AT inria.fr>
Subject: [Coq-Club] School on "Modelling and verifying algorithms in Coq"
Date: Wed, 31 Aug 2011 09:31:13 +0200

Dear all,

[sorry for multiple receptions]  a short note to remind that the deadline for
pre-registration to the CEA-EDF-INRIA summer school on:

Modelling and verifying algorithms in Coq: an introduction

14-18 November 2011 - INRIA Paris, France

is September 15th.  More informations are available from:

  http://moscova.inria.fr/~zappa/teaching/coq/ecole11/

Best regards
Francesco Zappa Nardelli

[Coq-Club] School on "Modelling and verifying algorithms in Coq", Francesco Zappa Nardelli