diff -r b25473c23709 -r c3c3cfc278d1 index.html
--- a/index.html	Thu Mar 28 17:07:37 2013 +0000
+++ b/index.html	Tue Apr 16 00:22:46 2013 +0100
@@ -186,7 +186,7 @@
 There is a <A HREF="http://isabelle.in.tum.de/nominal/">webpage</A> and a
 <A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/nominal-isabelle">mailing list</A> 
 about Nominal Isabelle. It also includes a list of projects that use Nominal Isabelle.
-Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs and CPP.
+Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP and SEFM.
 </TD>
 </TR>