equal
  deleted
  inserted
  replaced
  
    
    
   173 <A HREF="http://www.cicm-conference.org/2015/cicm.php?event=mkm">MKM'15</A> (member of PC),  | 
   173 <A HREF="http://www.cicm-conference.org/2015/cicm.php?event=mkm">MKM'15</A> (member of PC),  | 
   174 <A HREF="https://nms.kcl.ac.uk/christian.urban/itp-2015/">ITP'15</A> (PC co-chair),  | 
   174 <A HREF="https://nms.kcl.ac.uk/christian.urban/itp-2015/">ITP'15</A> (PC co-chair),  | 
   175 <A HREF="https://itp2016.inria.fr">ITP'16</A> (member of PC)  | 
   175 <A HREF="https://itp2016.inria.fr">ITP'16</A> (member of PC)  | 
   176 <A HREF="http://lsfa.cic.unb.br">LSFA'17</A> (member of PC)  | 
   176 <A HREF="http://lsfa.cic.unb.br">LSFA'17</A> (member of PC)  | 
   177 <A HREF="http://itp2017.cic.unb.br">ITP'17</A> (member of PC)  | 
   177 <A HREF="http://itp2017.cic.unb.br">ITP'17</A> (member of PC)  | 
         | 
   178 <A HREF="https://itp19.cecs.pdx.edu">ITP'19</A> (member of PC)  | 
   178 <P>  | 
   179 <P>  | 
   179   | 
   180   | 
   180 <A HREF="https://nms.kcl.ac.uk/christian.urban/itp-2015/">ITP'15</A> took place in Nanjing organised  | 
   181 <A HREF="https://nms.kcl.ac.uk/christian.urban/itp-2015/">ITP'15</A> took place in Nanjing organised  | 
   181 by Xingyuan Zhang and me<BR>  | 
   182 by Xingyuan Zhang and me<BR>  | 
   182 <p>  | 
   183 <p>  |