equal
deleted
inserted
replaced
150 <A HREF="http://www.cis.upenn.edu/~bcpierce/wmm/">WMM'10</A> (invited speaker), |
150 <A HREF="http://www.cis.upenn.edu/~bcpierce/wmm/">WMM'10</A> (invited speaker), |
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 <A HREF="http://formes.asia/cpp">CPP'11</A> (member of PC), |
152 <A HREF="http://formes.asia/cpp">CPP'11</A> (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'10</A> (member of PC) |
155 <A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014">ITP'14</A> (member of PC) |
156 <P> |
156 <P> |
157 |
157 |
158 <B>Current RA</B> Chunhan Wu<BR> |
158 <B>Current RA</B> Chunhan Wu<BR> |
159 <B>Former RAs</B> <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Cezary Kaliszyk</A>, |
159 <B>Former RAs</B> <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Cezary Kaliszyk</A>, |
160 <A HREF="http://dpt-info.u-strasbg.fr/~narboux/">Julien Narboux</A> |
160 <A HREF="http://dpt-info.u-strasbg.fr/~narboux/">Julien Narboux</A> |
293 </TR> |
293 </TR> |
294 |
294 |
295 |
295 |
296 </TABLE> |
296 </TABLE> |
297 <P> |
297 <P> |
298 <!-- hhmts start --> Last modified: Wed Jul 31 05:35:06 BST 2013 <!-- hhmts end --> |
298 <!-- hhmts start --> Last modified: Wed Jul 31 05:46:27 BST 2013 <!-- hhmts end --> |
299 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
299 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
300 </BODY> |
300 </BODY> |
301 </HTML> |
301 </HTML> |