# HG changeset patch # User Christian Urban <urbanc@in.tum.de> # Date 1542796790 0 # Node ID 8a0468cb7b3ce428588adfdf5ef027f2f43682f3 # Parent 677b703c48fe062e1f07880ce7129b483ef55459 updated diff -r 677b703c48fe -r 8a0468cb7b3c index.html --- a/index.html Mon Sep 24 12:41:35 2018 +0100 +++ b/index.html Wed Nov 21 10:39:50 2018 +0000 @@ -175,6 +175,7 @@ <A HREF="https://itp2016.inria.fr">ITP'16</A> (member of PC) <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) <P> <A HREF="https://nms.kcl.ac.uk/christian.urban/itp-2015/">ITP'15</A> took place in Nanjing organised