diff -r 1f237ce9630a -r 43da71639190 pc --- a/pc Wed Apr 09 15:18:58 2014 +0100 +++ b/pc Mon May 26 12:08:57 2014 +0100 @@ -34,4 +34,14 @@ Larry Paulson Dan Licata (check whether he had an ITP paper) Lars Birkedal -Jesper Bengtson \ No newline at end of file +Jesper Bengtson +Zhaohui Luo (Royal Holloway) + + + +========= +Invited speakers: + +Zhong Shao +Andrew Appel +Jeremy Avigad