Frama-C-discuss mailing list archives
This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.
[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
- Subject: [Frama-c-discuss] Fwd: [gdr.gpl ] Introductory School on Coq, January 22 -- January 26 2017, Sophia Antipolis, France
- From: hxdg21 at gmail.com (Aaron R)
- Date: Thu, 2 Nov 2017 09:27:11 -0400
- In-reply-to: <4f07a5eb-ca79-39fc-8e05-d68d6688034e@cea.fr>
- References: <6f88ece6-d3f3-3bd2-705c-d2037466be0e@inria.fr> <4f07a5eb-ca79-39fc-8e05-d68d6688034e@cea.fr>
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>
- References:
- [Frama-c-discuss] Fwd: [gdr.gpl ] Introductory School on Coq, January 22 -- January 26 2017, Sophia Antipolis, France
- From: nikolay.kosmatov at cea.fr (Nikolai Kosmatov)
- [Frama-c-discuss] Fwd: [gdr.gpl ] Introductory School on Coq, January 22 -- January 26 2017, Sophia Antipolis, France
- Prev by Date: [Frama-c-discuss] Frama-C 16 (Sulfur) - beta
- Next by Date: [Frama-c-discuss] Backward Conditioning?
- Previous by thread: [Frama-c-discuss] Fwd: [gdr.gpl ] Introductory School on Coq, January 22 -- January 26 2017, Sophia Antipolis, France
- Next by thread: [Frama-c-discuss] Frama-C 16 (Sulfur) - beta
- Index(es):