The Coq mailing list

[Benoît Viguier <beviguier AT gmail.com>]

Hi Enrico,

will this winter school be streamed / placed on Youtube (like DSSS17) for those who are not able to attend it ?

On 10/26/2017 08:17 AM, Enrico Tassi wrote:

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 4th December 2017 to Friday 8.

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/coq-winter-school-2017-2018-ssreflect-mathcomp/

Best regards,

-- 
Kind regards,

Benoît Viguier
Software Engineer - PhD Student | Cryptography & Formal Methods
Radboud University | Mercator 1, room 03.17, Toernooiveld 212
6525 EC Nijmegen, the Netherlands | www.viguier.nl

--------------------------------------------------------------------------
This message (and any attachments) is intended solely for the addressee(s)
and may contain confidential information. If you are not the addressee, do
not copy this message (and any attachments), forward or share this message
with third parties. You are requested to notify the sender immediately and
delete this message.