The Coq mailing list

[Jean-Bernard Stefani <jean-bernard.stefani AT inria.fr>]

Dear Enrico,

I would have very much liked to attend this winter school, but unfortunately I have other obligations.

Would it be possible to have access to the slides or documents presented during the school ?

Thanks in advance,

Jean-Bernard

Le 13 nov. 2015 à 10:14, Enrico Tassi <enrico.tassi AT inria.fr> a écrit :

Dear Coq enthusiasts, we are organizing a winter school for master
students titled

  “ADVANCED SOFTWARE VERIFICATION AND COMPUTER PROOF”

in Sophia-Antipolis (Nice) from Monday 18th January 2016 to Friday 22.

The school will be in English and will target master students with
already basic knowledge of Coq.  The course will introduce formalization
techniques based on the SSReflect proof language and the Mathematical
Components library.

All relevant data is at:

 https://team.inria.fr/marelle/en/advanced-coq-winter-school-2016/

Best regards,
--
Cyril Cohen, Laurence Rideau, Enrico Tassi and Laurent Thery

=======================================
Jean-Bernard Stefani

Délégué Scientifique
INRIA
Centre Grenoble-Rhône-Alpes

655 Avenue de l’Europe

38334 St Ismier Cedex, FRANCE

email: jean-bernard.stefani AT inria.fr

tel: +33 4 76 61 52 57

=======================================