equal
deleted
inserted
replaced
151 <A HREF="http://isabelle.in.tum.de/nominal/activities/idw10/idw.html">IDW'10</A> (co-organiser), |
151 <A HREF="http://isabelle.in.tum.de/nominal/activities/idw10/idw.html">IDW'10</A> (co-organiser), |
152 CPP'11 (member of PC), |
152 CPP'11 (member of PC), |
153 <A HREF="http://www.rdp2011.uns.ac.rs/rta/">RTA'11</A> (member of PC), |
153 <A HREF="http://www.rdp2011.uns.ac.rs/rta/">RTA'11</A> (member of PC), |
154 <A HREF="http://lfmtp11.cs.umn.edu">LFMTP'11</A> (member of PC), |
154 <A HREF="http://lfmtp11.cs.umn.edu">LFMTP'11</A> (member of PC), |
155 <A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014">ITP'14</A> (member of PC), |
155 <A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014">ITP'14</A> (member of PC), |
|
156 MKM'15 (member of PC), |
156 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> (PC co-chair) |
157 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> (PC co-chair) |
157 <P> |
158 <P> |
158 |
159 |
159 <B>Current PhD</B> Fahad Ausaf<BR> |
160 <B>Current PhD</B> Fahad Ausaf<BR> |
160 <B>Former RAs</B> Chunhan Wu, <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Cezary Kaliszyk</A>, |
161 <B>Former RAs</B> Chunhan Wu, <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Cezary Kaliszyk</A>, |
330 </TR> |
331 </TR> |
331 |
332 |
332 |
333 |
333 </TABLE> |
334 </TABLE> |
334 <P> |
335 <P> |
335 <!-- hhmts start --> Last modified: Thu Aug 21 07:56:08 BST 2014 <!-- hhmts end --> |
336 <!-- hhmts start --> Last modified: Wed Sep 3 18:51:53 BST 2014 <!-- hhmts end --> |
336 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
337 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
337 </BODY> |
338 </BODY> |
338 </HTML> |
339 </HTML> |