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
Worshop location
The workshop will be held at the Bechtel conference center, Encica Hall located at
Encina Hall
616 Serra Street
Stanford, CA 94305-6055
Map to Encina.
616 Serra Street
Stanford, CA 94305-6055
Pay Parking
Pay parking is available at the Galvez lot. Please use code 2184 at the meters.Public transportation
1 Take the cal train to the Palo alto station.2 Take the Stanford free Marguerite shuttle to Encinca.
Margerite route map is available here.