Workshop on Computer Security,
Logic, and Programming Languages
Logic, and Programming Languages
In Honor of John Mitchell's 60th Birthday
Stanford University, May, 19-20, 2016
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, 2016Location: Bechtel conference center, Stanford University (tentative). Directions and parking.
Organizers
- Dan Boneh, Stanford University
- Kathleen Fisher, Tufts University
- Patrick Lincoln, SRI
- Andre Scedrov, U. Penn
- Vitaly Shmatikov, Cornell Tech
The workshop is hosted by the Stanford Computer Security Lab.