index.html
changeset 454 62dfe25d6277
parent 453 0eece9e5e088
child 455 391f23949114
--- a/index.html	Sat Jul 16 14:01:46 2016 +0100
+++ b/index.html	Wed Aug 24 10:24:55 2016 +0100
@@ -171,6 +171,7 @@
 <A HREF="http://www.cicm-conference.org/2015/cicm.php?event=mkm">MKM'15</A> (member of PC),
 <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)
 <P>
 
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> took place in Nanjing organised