updated
authorChristian Urban <urbanc@in.tum.de>
Tue, 30 Jul 2019 11:03:57 +0100
changeset 582 ae982b0b2ffd
parent 581 9df996a3ad6e
child 583 45c5095d3774
updated
index.html
--- a/index.html	Tue Jul 30 10:58:47 2019 +0100
+++ b/index.html	Tue Jul 30 11:03:57 2019 +0100
@@ -156,7 +156,7 @@
 <A HREF="http://www.cs.mcgill.ca/~bpientka/lfmtp07">LFMTP'07</A> (member of PC), 
 LFMTP'08 (PC co-chair), 
 <A HREF="http://www.cis.upenn.edu/~sweirich/wmm/">WMM'08</A> (member of PC),
-<A HREF="http://www.mat.ufmg.br/lsfa2008/">LSFA'08</A> (invited speaker),
+LSFA'08 (invited speaker),
 <A HREF="http://www.inf.kcl.ac.uk/staff/maribel/TAASN.html">TAASN'09</A> (member of PC),
 <A HREF="http://lsfa09.cic.unb.br/">LSFA'09</A> (member of PC),
 <A HREF="https://nms.kcl.ac.uk/christian.urban/Nominal/activities/tphols09/idw.html">IDW'09</A> (organiser),