coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Lennart Beringer <eberinge AT CS.Princeton.EDU>
- To: coq-club <coq-club AT inria.fr>
- Subject: [Coq-Club] Preannouncement: Second DeepSpec Summer School
- Date: Wed, 8 Nov 2017 16:09:54 -0500 (EST)
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=eberinge AT CS.Princeton.EDU; spf=Pass smtp.mailfrom=eberinge AT cs.princeton.edu; spf=None smtp.helo=postmaster AT greenlight.cs.princeton.edu
- Ironport-phdr: 9a23:43eSRR3jh31E6Hq7smDT+DRfVm0co7zxezQtwd8ZsegUI/ad9pjvdHbS+e9qxAeQG96Eu7QZ06L/iOPJZy8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tLw6annrn5jkLXx77KAA9cu/yA8vZi9m9/+G04ZzaJQtS0mmHbKt2PSmx+CHcsM8fm5cqAKsryx3Gr2EAL+lcyHlpI12etz3HoP+q/Zho/jhXvbQM2/MWAovgeKFtabFeCj08Lygf6dfqsxbOV0Pb63ERSGQQnRdgKDOD1Av7WJz8riz88MdR5X/JboXNUbkoVGH6vO9QQxjyhXJfOg==
Interested parties are invited to mark the following event in their calendar:
Second DeepSpec Summer School on Verified Systems
Princeton, July 16 to 27, 2018
We will publish a more detailed announcement (list of lecturers and topics,
how to apply for participation and / or funding, accommodation options, ...)
early in 2018, but it is currently envisioned that
- a 2-3 day Coq Intensive will again be offered, likely June 16 & 17
- the rest of week 1 will mostly cover similar topics as the 2017 edition
- week 2 will contain a mixture of topics & systems familiar from 2017
(suitably updated) plus some new topics
- there will be ample opportunity for self-study / homework, for student
presentations and other activities
Attendees of the 2017 summer school will probably be given the opportunity to
apply only for participation in week 2 in 2018.
- [Coq-Club] Preannouncement: Second DeepSpec Summer School, Lennart Beringer, 11/08/2017
Archive powered by MHonArc 2.6.18.