[TYPES/announce] CALL FOR PARTICIPATION: DeepSpec Workshop @ PLDI 2019 (Phoenix, AZ, June 22-23, 2019)

[Zhong Shao]

# CALL FOR PARTICIPATION

DeepSpec Workshop @ PLDI 2019
<https://pldi19.sigplan.org/home/deepspec-2019>

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!

https://pldi19.sigplan.org/home/deepspec-2019#program

## 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:
https://pldi19.sigplan.org/attending/registration

## The Science of Deep Specifications

More information abut the DeepSpec project is available from
https://deepspec.org/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190513/d2876565/attachment.html>