coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] CALL FOR PARTICIPATION: DeepSpec Workshop @ PLDI 2019 (Phoenix, AZ, June 22-23, 2019)
Chronological Thread
- From: Zhong Shao <zhong.shao AT gmail.com>
- To: types-announce AT lists.seas.upenn.edu, coq-club AT inria.fr
- Subject: [Coq-Club] CALL FOR PARTICIPATION: DeepSpec Workshop @ PLDI 2019 (Phoenix, AZ, June 22-23, 2019)
- Date: Mon, 13 May 2019 11:52:08 -0400
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=zhong.shao AT gmail.com; spf=Pass smtp.mailfrom=zhong.shao AT gmail.com; spf=None smtp.helo=postmaster AT mail-lf1-f46.google.com
- Ironport-phdr: 9a23:aLfajhdCmakFXphwwxSQrU5GlGMj4u6mDksu8pMizoh2WeGdxcuzbR7h7PlgxGXEQZ/co6odzbaP6uaxBSdRu96oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9vMRm6twHcu8YZjYZmNKo61wfErGZPd+lK321jOEidnwz75se+/Z5j9zpftvc8/MNeUqv0Yro1Q6VAADspL2466svrtQLeTQSU/XsTTn8WkhtTDAfb6hzxQ4r8vTH7tup53ymaINH2QLUpUjms86tnVBnlgzoBOjUk8m/Yl9ZwgbpUrxKvpRNxw4DaboKIOvRgYqzQZskVSXZbU8tLSyBNHoGxYo0SBOQBJ+ZYqIz9qkMNohu+AgmsAuzvwSJViH/2x6I61PkqHAbH3QwgGNIOtnvUoM/uNKcSS++1y7LFzTrGb/xM2Df97JLEfQwmofGJRL99d9fax0coFwPAlFqQqIrlMiuO1uQMvGib9+5gWvipi2I9rAFxuDevyt8xhYbXmI0V0kvE9T1nz4kpP9G4T1R7YdGiHZBNtC+aL5N7Tt0+T2xsoio3yb0LtYSmcCULypkr3RHSZv2BfoOV+BzsTvyRLi19hH99eLKwmRKy8U+4x+35TMa00VJKojNBktnCq3wBzhLT58eGR/dn8Ueh3jGP1w/X6u5aO0w7ia3bK5s5zr4xkJocr1jDEzfolEnqiKKabEYp9+iy5+j6Y7jrpIWQOoB1hw3mN6QhgM2/AeA2MggUWGib/Pyx1bzj/U3+RrVKgec6krLZsJ/AIsQWvaG5AwpP3YYi7xazFSup0NMdnXUfNlJKZAqHj5T1O1HJOP33EfC/g021nDh3w/DGI6buD47WLnnDlbfhZaxy51RdyAo119Bf5ohbBqsPIPLpCQfNs4nEHwc0KEm9xeDgFdN226saWHmTGemCParJ90KQ6+QpZeSAectdszHkbvMh+vTGjHkjmFZbc7P684EQbSWKHvNgLA2iYXPryoMTEWAMsUwlTOXtoFKHWD9XIX21WvRvtXkAFIu6ANKbFciWi7ub0XLjR8wEViV9ElmJVEzQWcCBUvYIZjiVJ5Y4wDMBXLmlDYQm0EP37VOo+/9cNuPRvxYgm9f7ztEsvr/ckBgz8Xp/CMHPizjQHVExpXsBQnoN5I46oUF5zQ3eg61xgvgdEdIKov0VDEE1MpnTy+E8ANf3CFrM
# CALL FOR PARTICIPATION
Phoenix, AZ, USA,
June 22-23, 2019
## ABOUT
The DeepSpec @ PLDI 2019 workshop will bring together researchers interested
in Deep Specifications. Our goal is to promote the development of new science,
technology, and tools–for specifying what programs should do, for building
programs that conform to those specifications, and for verifying that programs
do behave exactly as specified. This workshop will examine the role of
verification in the context of core software-systems infrastructure such as
operating systems, programming-language compilers, and computer chips; with
applications such as elections and voting systems, cars, and smartphones.
The workshop program is now available!
## PROGRAM HIGHLIGHTS
* Invited talk on the Development of the RISC-V ISA Formal Specification
by Rishiyur Nikhil from Bluespec
* Invited talk on Project Oak: Control Data in Distributed Systems,
Verify All the Things by Ben Laurie from DeepMind
* DeepSpec project overview by Benjamin Pierce
* Focused sessions on SW/HW interface specifications, and
interaction trees and algebraic effects
* Technical talks on topics such as compiler verification, modular
reasoning, coinduction, and testing
* Project updates by DeepSpec members
## REGISTRATION
Registration for the Workshop is now open through PLDI:
## The Science of Deep Specifications
More information abut the DeepSpec project is available from
- [Coq-Club] CALL FOR PARTICIPATION: DeepSpec Workshop @ PLDI 2019 (Phoenix, AZ, June 22-23, 2019), Zhong Shao, 05/13/2019
Archive powered by MHonArc 2.6.18.