--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on November 2017 ---
Would it be possible to record the session and post the video on-line? I would be interested in this training material. Thanks On Wed, Nov 1, 2017 at 4:48 AM, Nikolai Kosmatov <nikolay.kosmatov at cea.fr> wrote: > 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> <Yves.Bertot at inria.fr> > Répondre à : Yves Bertot <Yves.Bertot at inria.fr> <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 ). > > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20171102/27aa9657/attachment.html>