--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on November 2017 ---
Dear All, Here is an announcement of a one-week intensive course on Coq that may be of interest for some of you. Regards, Nikolai -------- Message transféré -------- Sujet : [gdr.gpl ] Introductory School on Coq, January 22 -- January 26 2017, Sophia Antipolis, France Date : Mon, 30 Oct 2017 13:47:58 +0100 De : Yves Bertot <Yves.Bertot at inria.fr> Répondre à  : Yves Bertot <Yves.Bertot at inria.fr> Pour : gdr.gpl at imag.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 ). -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20171101/536305e3/attachment-0001.html> -------------- next part -------------- ------ Plus d'infos sur le GDR GPL : http://gdr-gpl.cnrs.fr