equal
deleted
inserted
replaced
183 <A HREF="http://itp2017.cic.unb.br">ITP'17</A> (member of PC) |
183 <A HREF="http://itp2017.cic.unb.br">ITP'17</A> (member of PC) |
184 <A HREF="https://itp19.cecs.pdx.edu">ITP'19</A> (member of PC) |
184 <A HREF="https://itp19.cecs.pdx.edu">ITP'19</A> (member of PC) |
185 <A HREF="https://ijcar2020.org">IJCAR'20</A> (member of PC) |
185 <A HREF="https://ijcar2020.org">IJCAR'20</A> (member of PC) |
186 <A HREF="http://easyconferences.eu/itp2021bid/">ITP'21</A> (member of PC) |
186 <A HREF="http://easyconferences.eu/itp2021bid/">ITP'21</A> (member of PC) |
187 <A HREF="http://www.cs.cmu.edu/~mheule/CADE28/">CADE'21</A> (member of PC) |
187 <A HREF="http://www.cs.cmu.edu/~mheule/CADE28/">CADE'21</A> (member of PC) |
|
188 <A HREF="https://www.viam.science.tsu.ge/itp2024/">ITP'24</A> (member of PC) |
188 <P> |
189 <P> |
189 |
190 |
190 <A HREF="https://nms.kcl.ac.uk/christian.urban/itp-2015/">ITP'15</A> took place in Nanjing organised |
191 <A HREF="https://nms.kcl.ac.uk/christian.urban/itp-2015/">ITP'15</A> took place in Nanjing organised |
191 by Xingyuan Zhang and me<BR> |
192 by Xingyuan Zhang and me<BR> |
192 <p> |
193 <p> |