index.html
changeset 507 119c1a7b46ca
parent 503 8331ed86d9d7
child 516 fa51d625b526
--- a/index.html	Tue Sep 26 11:14:38 2017 +0100
+++ b/index.html	Tue Sep 26 20:41:33 2017 +0100
@@ -152,7 +152,7 @@
 <B>Conferences</B>
 UNIF'06 (member of PC), 
 <A HREF="http://www.cs.mcgill.ca/~bpientka/lfmtp07">LFMTP'07</A> (member of PC), 
-<A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/lfmtp08/">LFMTP'08</A> (PC co-chair), 
+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),
 <A HREF="http://www.inf.kcl.ac.uk/staff/maribel/TAASN.html">TAASN'09</A> (member of PC),
@@ -362,7 +362,7 @@
 
 </TABLE>
 <P>
-Time-stamp: <- 2017-09-15 11:24:51 by Christian Urban>
+Time-stamp: <- 2017-09-26 19:52:51 by Christian Urban>
 <a href="https://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>