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