PLDI 2020
Mon 15 - Sat 20 June 2020

REMS-DeepSpec 2020 provides a forum for researchers interested in foundational specifications and rigorous engineering of mainstream systems and their components. It will consist of in-depth presentations by members of the REMS project (UK) and DeepSpec (US), invited talks by external experts, and general talks selected in response to a call for short abstracts. No formal proceedings are associated with this event.

The workshop brings together two large projects, REMS and DeepSpec. REMS aims to develop semantics and rigorous engineering methods that apply to mainstream systems, and DeepSpec to push forward the state of the art in applying computer proof assistants to verify realistic software and hardware stacks at scale.

Call for Papers

Presentations will be selected based on one or two-page abstracts, which must be in PDF format.