updated
authorChristian Urban <urbanc@in.tum.de>
Wed, 21 Nov 2018 10:39:50 +0000
changeset 562 8a0468cb7b3c
parent 560 677b703c48fe
child 563 9d21149ba75c
updated
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