equal
deleted
inserted
replaced
155 <A HREF="http://lfmtp11.cs.umn.edu">LFMTP'11</A> (member of PC), |
155 <A HREF="http://lfmtp11.cs.umn.edu">LFMTP'11</A> (member of PC), |
156 <A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014">ITP'14</A> (member of PC), |
156 <A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014">ITP'14</A> (member of PC), |
157 <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) |
158 <P> |
158 <P> |
159 |
159 |
160 <B>Current RA</B> Chunhan Wu<BR> |
160 <B>Current PhD</B> Fahad Ausaf<BR> |
161 <B>Former RAs</B> <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>, |
162 <A HREF="http://dpt-info.u-strasbg.fr/~narboux/">Julien Narboux</A> |
162 <A HREF="http://dpt-info.u-strasbg.fr/~narboux/">Julien Narboux</A> |
163 </TD> |
163 </TD> |
164 </TR> |
164 </TR> |
165 |
165 |
166 <TR> |
166 <TR> |
328 </TR> |
328 </TR> |
329 |
329 |
330 |
330 |
331 </TABLE> |
331 </TABLE> |
332 <P> |
332 <P> |
333 <!-- hhmts start --> Last modified: Tue Mar 25 16:12:01 GMT 2014 <!-- hhmts end --> |
333 <!-- hhmts start --> Last modified: Wed Aug 6 13:51:28 BST 2014 <!-- hhmts end --> |
334 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
334 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
335 </BODY> |
335 </BODY> |
336 </HTML> |
336 </HTML> |