author | Christian Urban <urbanc@in.tum.de> |
Sat, 07 Sep 2019 15:02:12 +0100 | |
changeset 589 | 3b33f1d49624 |
parent 588 | 2c0b407e1139 |
child 590 | e6d58b2a2929 |
index.html | file | annotate | diff | comparison | revisions |
--- a/index.html Tue Jul 30 11:44:56 2019 +0100 +++ b/index.html Sat Sep 07 15:02:12 2019 +0100 @@ -177,6 +177,7 @@ <A HREF="http://lsfa.cic.unb.br">LSFA'17</A> (member of PC) <A HREF="http://itp2017.cic.unb.br">ITP'17</A> (member of PC) <A HREF="https://itp19.cecs.pdx.edu">ITP'19</A> (member of PC) +<A HREF="https://ijcar2020.org">IJCAR'20</A> (member of PC) <P> <A HREF="https://nms.kcl.ac.uk/christian.urban/itp-2015/">ITP'15</A> took place in Nanjing organised