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
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.