index.html
changeset 460 01214b7c6131
parent 455 391f23949114
child 463 2ecb60672b0c
--- a/index.html	Tue Sep 27 00:39:11 2016 +0100
+++ b/index.html	Wed Sep 28 06:22:27 2016 +0100
@@ -172,6 +172,7 @@
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> (PC co-chair),
 <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)
 <P>
 
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> took place in Nanjing organised