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