56th Biophysical Society Annual Meeting, 2012-02-29
54th Biophysical Society Annual Meeting, 2010-02-21
Proof Systems for Program Logics, 2010-07-10