159 <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/tphols09/idw.html">IDW'09</A> (organiser), |
159 <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/tphols09/idw.html">IDW'09</A> (organiser), |
160 <A HREF="http://www.seas.upenn.edu/~sweirich/wmm/wmm09.html">WMM'09</A> (PC chair), |
160 <A HREF="http://www.seas.upenn.edu/~sweirich/wmm/wmm09.html">WMM'09</A> (PC chair), |
161 <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/tphols09/">TPHOLs'09</A> (PC co-chair), |
161 <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/tphols09/">TPHOLs'09</A> (PC co-chair), |
162 <A HREF="http://dream.inf.ed.ac.uk/events/automatheo-2010/">Automatheo'10</A> (member of PC), |
162 <A HREF="http://dream.inf.ed.ac.uk/events/automatheo-2010/">Automatheo'10</A> (member of PC), |
163 <A HREF="http://www.floc-conference.org/">ITP'10</A> (member of PC), |
163 <A HREF="http://www.floc-conference.org/">ITP'10</A> (member of PC), |
164 <A HREF="http://www.inf.kcl.ac.uk/staff/maribel/UNIF/UNIF.html">UNIF'10</A> (invited speaker), |
164 UNIF'10 (invited speaker), |
165 <A HREF="http://www.cis.upenn.edu/~bcpierce/wmm/">WMM'10</A> (invited speaker), |
165 <A HREF="http://www.cis.upenn.edu/~bcpierce/wmm/">WMM'10</A> (invited speaker), |
166 <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/idw10/idw.html">IDW'10</A> (co-organiser), |
166 <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/idw10/idw.html">IDW'10</A> (co-organiser), |
167 CPP'11 (member of PC), |
167 CPP'11 (member of PC), |
168 <A HREF="http://www.rdp2011.uns.ac.rs/rta/">RTA'11</A> (member of PC), |
168 <A HREF="http://www.rdp2011.uns.ac.rs/rta/">RTA'11</A> (member of PC), |
169 <A HREF="http://lfmtp11.cs.umn.edu">LFMTP'11</A> (member of PC), |
169 <A HREF="http://lfmtp11.cs.umn.edu">LFMTP'11</A> (member of PC), |
334 <TR> |
334 <TR> |
335 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
335 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
336 <B>Forum</B> |
336 <B>Forum</B> |
337 I implemented Forum, a programming language based on classical linear logic, |
337 I implemented Forum, a programming language based on classical linear logic, |
338 as my M.Phil. thesis. This was joint work with |
338 as my M.Phil. thesis. This was joint work with |
339 <A HREF="http://www.cs.st-andrews.ac.uk/~rd/">Dr Roy Dyckhoff</A>. |
339 <A HREF="https://rd.host.cs.st-andrews.ac.uk">Dr Roy Dyckhoff</A>. |
340 Details can be found |
340 Details can be found |
341 <A HREF="http://www.cs.st-andrews.ac.uk/~rd/logic/nonmac/">here</A> and |
341 <A HREF="https://rd.host.cs.st-andrews.ac.uk/logic/nonmac/">here</A> and |
342 <A HREF="http://www.lix.polytechnique.fr/Labo/Dale.Miller/forum/">here</A>. During my |
342 <A HREF="http://www.lix.polytechnique.fr/Labo/Dale.Miller/forum/">here</A>. During my |
343 M.Phil study I spent one month in Philadelphia invited by |
343 M.Phil study I spent one month in Philadelphia invited by |
344 <A HREF="http://www.lix.polytechnique.fr/~dale/">Prof. Dale Miller</A>. |
344 <A HREF="http://www.lix.polytechnique.fr/~dale/">Prof. Dale Miller</A>. |
345 </TD> |
345 </TD> |
346 </TR> |
346 </TR> |