The Science of Deep Specification

DeepSpec Summer School, Philadelphia, July 13-28, 2017

In July of 2017, the DeepSpec project will host a summer school for graduate students, researchers, and industrial engineers interested in formal specification and verification of low-level software and hardware. More information can be found here.

First DeepSpec Workshop, Princeton, June 6-8, 2016

A list of presentations (and slides if provided by the speaker) is available here.

This workshop brought together our industrial partners (including the IAB), academic collaborators, and other interested parties. The DeepSpec PIs detailed their plans for Coq-based specification interfaces and verified components; other speakers spoke about industrial needs, experience stories, and complementary research efforts elsewhere. Breakout sessions discussed technical aspects, demonstrate prototype systems, and sketched out new collaboration projects.

The Coq development team was present to offer their expertise and outline proposals to deepen their connections with the DeepSpec community.

Participation in the workshop is free of charge, but by invitation only.