equal
deleted
inserted
replaced
169 <A HREF="http://lfmtp11.cs.umn.edu">LFMTP'11</A> (member of PC), |
169 <A HREF="http://lfmtp11.cs.umn.edu">LFMTP'11</A> (member of PC), |
170 <A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014">ITP'14</A> (member of PC), |
170 <A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014">ITP'14</A> (member of PC), |
171 <A HREF="http://www.cicm-conference.org/2015/cicm.php?event=mkm">MKM'15</A> (member of PC), |
171 <A HREF="http://www.cicm-conference.org/2015/cicm.php?event=mkm">MKM'15</A> (member of PC), |
172 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> (PC co-chair), |
172 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> (PC co-chair), |
173 <A HREF="https://itp2016.inria.fr">ITP'16</A> (member of PC) |
173 <A HREF="https://itp2016.inria.fr">ITP'16</A> (member of PC) |
|
174 <A HREF="http://lsfa.cic.unb.br">LSFA'17</A> (member of PC) |
174 <P> |
175 <P> |
175 |
176 |
176 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> took place in Nanjing organised |
177 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> took place in Nanjing organised |
177 by Xingyuan Zhang and me<BR> |
178 by Xingyuan Zhang and me<BR> |
178 <p> |
179 <p> |