--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on November 2017 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Fwd: [gdr.gpl ] Introductory School on Coq, January 22 -- January 26 2017, Sophia Antipolis, France



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>