From : Lennart Beringer <eberinge AT CS.Princeton.EDU>

: Lennart Beringer <eberinge AT CS.Princeton.EDU> To : coq-club <coq-club AT inria.fr>

: coq-club <coq-club AT inria.fr> Subject : [Coq-Club] Preannouncement: Second DeepSpec Summer School

: [Coq-Club] Preannouncement: Second DeepSpec Summer School Date : Wed, 8 Nov 2017 16:09:54 -0500 (EST)

: 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

: 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==

[Coq-Club] Preannouncement: Second DeepSpec Summer School, Lennart Beringer, 11/08/2017

Interested parties are invited to mark the following event in their calendar:Second DeepSpec Summer School on Verified SystemsPrinceton, July 16 to 27, 2018We 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 studentpresentations and other activitiesAttendees of the 2017 summer school will probably be given the opportunity toapply only for participation in week 2 in 2018.