149 <A HREF="http://www.inf.kcl.ac.uk/staff/maribel/UNIF/UNIF.html">UNIF'10</A> (invited speaker),

   149 <A HREF="http://www.inf.kcl.ac.uk/staff/maribel/UNIF/UNIF.html">UNIF'10</A> (invited speaker),

   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),

   155 <P>

   156 <P>

   156 

   157 

   157 <B>Current RA</B> Chunhan Wu<BR>

   158 <B>Current RA</B> Chunhan Wu<BR>

   158 <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>, 

   159 <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>

   292 </TR>

   293 </TR>

   293  

   294  

   294 

   295 

   295 </TABLE>

   296 </TABLE>

   296 <P>

   297 <P>

   298 <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>

   299 </BODY>

   300 </BODY>

   300 </HTML>

   301 </HTML>