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


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.


The workshop is hosted by the Stanford Computer Security Lab.