[TYPES/announce] Introductory School on Coq, January 22 -- January 26 2017, Sophia Antipolis, France

[Yves Bertot]

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 ).


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20171030/4577f23e/attachment.html>