The Coq mailing list

[Yves Bertot <Yves.Bertot AT inria.fr>]

This is an announcement for a one-week intensive course on Coq given at Inria Sophia Antipolis

"Software Verification and computer proof"

   January 22 -- january 26, 2018

   Inria Sophia Antipolis


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

This course is an introductory course intended for students in computer science who have very little knowledge of functional programming and no knowledge of computer proof.  The background in mathematics will also be  elementary (basically, you are required to know how to perform a division on a sheet of paper).

At the end of the week, we expect that students will know how to write little programs (for instance number or list manipulations), write specifications about programs (for instance that a sorting algorithm does not loose data), and perform the proof that programs satisfy specifications.

If you, one of your students, or one of your colleagues wishes to learn about Coq from scratch, this may be the right event for you.

Registration is free but mandatory and every participant is responsible for their own accommodation, but we can provide some help finding affordable solutions.  You can register by sending a mail to Nathalie Bellesso and Yves Bertot ( firstname.name AT inria.fr ).