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 <BR> |
155 <P> |
|
156 |
|
157 <B>Current PostDocs</B> Chunhan Wu, Zhenjiang Qian<BR> |
156 |
158 |
157 </TD> |
159 </TD> |
158 </TR> |
160 </TR> |
159 |
161 |
160 <TR> |
162 <TR> |