equal
deleted
inserted
replaced
166 CPP'11 (member of PC), |
166 CPP'11 (member of PC), |
167 <A HREF="http://www.rdp2011.uns.ac.rs/rta/">RTA'11</A> (member of PC), |
167 <A HREF="http://www.rdp2011.uns.ac.rs/rta/">RTA'11</A> (member of PC), |
168 <A HREF="http://lfmtp11.cs.umn.edu">LFMTP'11</A> (member of PC), |
168 <A HREF="http://lfmtp11.cs.umn.edu">LFMTP'11</A> (member of PC), |
169 <A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014">ITP'14</A> (member of PC), |
169 <A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014">ITP'14</A> (member of PC), |
170 <A HREF="http://www.cicm-conference.org/2015/cicm.php?event=mkm">MKM'15</A> (member of PC), |
170 <A HREF="http://www.cicm-conference.org/2015/cicm.php?event=mkm">MKM'15</A> (member of PC), |
171 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> (PC co-chair) |
171 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> (PC co-chair), |
|
172 <A HREF="https://itp2016.inria.fr">ITP'16</A> (member of PC) |
172 <P> |
173 <P> |
173 |
174 |
174 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> took place in Nanjing organised |
175 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> took place in Nanjing organised |
175 by Xingyuan Zhang and me<BR> |
176 by Xingyuan Zhang and me<BR> |
176 <p> |
177 <p> |
352 </TR> |
353 </TR> |
353 |
354 |
354 |
355 |
355 </TABLE> |
356 </TABLE> |
356 <P> |
357 <P> |
357 <!-- hhmts start --> Last modified: Wed May 4 12:01:29 BST 2016 <!-- hhmts end --> |
358 <!-- hhmts start --> Last modified: Mon May 9 11:33:58 BST 2016 <!-- hhmts end --> |
358 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
359 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
359 </BODY> |
360 </BODY> |
360 </HTML> |
361 </HTML> |