Overview

The workshop aims to bring together researchers in Computer Security, Logic, and Programming languages with the goal of furthering communication across these fields.

Registration

Please register by sending mail to Ruth Harris at
rharris3 AT cs.stanford.edu
This will help us prepare name tags and order food. Registration is free.

Workshop Venue

Date: May 19-20, 2016
Location: Bechtel conference center, Stanford University (tentative).    Directions and parking.

Organizers

The workshop is hosted by the Stanford Computer Security Lab.