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 <A HREF="http://lsfa.cic.unb.br">LSFA'17</A> (member of PC)

   175 <P>

   176 <P>

   176 

   177 

   177 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> took place in Nanjing organised

   178 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> took place in Nanjing organised

   178 by Xingyuan Zhang and me<BR>

   179 by Xingyuan Zhang and me<BR>

   179 <p>

   180 <p>