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> |