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: nikolay.kosmatov at cea.fr (Nikolai Kosmatov)
  • Date: Wed, 1 Nov 2017 09:48:07 +0100
  • In-reply-to: <6f88ece6-d3f3-3bd2-705c-d2037466be0e@inria.fr>
  • References: <6f88ece6-d3f3-3bd2-705c-d2037466be0e@inria.fr>
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