coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Benjamin C. Pierce" <bcpierce AT cis.upenn.edu>
- To: deepspec AT lists.cs.princeton.edu, coq-club AT inria.fr, types-announce AT lists.seas.upenn.edu
- Subject: [Coq-Club] DeepSpec summer school is online!
- Date: Mon, 31 Jul 2017 12:06:14 -0400
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=bcpierce AT cis.upenn.edu; spf=Pass smtp.mailfrom=bcpierce AT cis.upenn.edu; spf=None smtp.helo=postmaster AT fox.seas.upenn.edu
- Ironport-phdr: 9a23:pXz8+h0zhK7epI0msmDT+DRfVm0co7zxezQtwd8ZseIQK/ad9pjvdHbS+e9qxAeQG96Ku7Qc06L/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q89pDXYAhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmiDsIOTE2/2/Zl8J+j7xVrhW6qhxj2o7UZZ2ZNPpicq7fe94RWGpPXtxWVyxEGo6wYZYCAPQHPeZatYb9oloOrR2jDgSyHu/k1yVGhn7o0q0gz+suDw/K1xEnEt0VrHvUtNT1O7kIUe+p0qbF1inMb/JN2Tvn9YjIag4uofeKXb5qb8Xe1FQvGhrDg16Np4LlODaV2f4Ms2id9+dvSPyghHA/qwFqujig2NsjhpPOhoIPxVDJ8zhyzoUtJdCgVUJ2Yd2pHIFNuyyUK4d6WMEvT3xytCon1LELvYa3cDUKxZkk3RLTdvKKf5SS7h/jWuudOyl0iXZjdbminRi961Kgxff5VsSs0FZFsC5Fkt7Uu3AD0BzS5dKLSuBj8Ui7wjaDzR3T6vlaLkAyk6rXMYAuzaMtlpYLsETDGDH5mFnugaOLdkgp+fKk5/npb7n6vJORNZJ4hhvjPqgwnsGzGeE4PRIPX2if9+S8zrrj/UjhTbpRkvI2iqjZv47AJcsHuKG0GBNa0oc46xqlEjemyMoXnX8BLF5fZh2IkpXpN0nUIP/kFfe/n0iskDBzyv/aOb3hG4zBIWTHkLf8Zrlw8FVcyQo2zdBH/Z1YELABIPTpWk/wrtPUFBE5Mxbni9rgXdlw25sFQW+EKquYK7/J91SToPo1Iu+HaZMSvnDwJ+Vhr/XplDoynUIXVaivx5oeLn6iWrx6Ml2Uej/lhNEGDGEBsyI6Tff2kxuZXDdIIWuqUqQ6oDw3FdGIF4DGE8qHjbqD1SK6GNV9ICh+C12WGnqiP9GOUO8NZTiZL+dqkydCSKCsTYln2B2z4lypg4F7J/bZr3VL/ano08J4srXe
The DeepSpec Summer School on Verified Systems was held in Philadelphia
during the last two weeks of July. If you weren’t able to join in person,
you may like to know that all the lectures, lecture materials, and exercises
are online:
https://deepspec.org/event/dsss17/
Enjoy!
- Benjamin
- [Coq-Club] DeepSpec summer school is online!, Benjamin C. Pierce, 07/31/2017
Archive powered by MHonArc 2.6.18.