Mercurial Mercurial > hg > public_html / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Wed, 28 Sep 2016 06:22:27 +0100
changeset 460 01214b7c6131
parent 459 c27d96cf68a8
child 461 038bf58366d5
updated
index.html file | annotate | diff | comparison | revisions 
--- 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
public_html