# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1567864932 -3600
# Node ID 3b33f1d49624240acb4632c3fbb7ba72546c40eb
# Parent  2c0b407e1139f389f537a7f5b7f6e948db7acc49
updated

diff -r 2c0b407e1139 -r 3b33f1d49624 index.html
--- 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