diff -r 15591a28cc57 -r de46e57b7603 index.html
--- a/index.html	Wed Jul 08 15:36:01 2015 +0100
+++ b/index.html	Fri Jul 10 01:44:23 2015 +0100
@@ -197,7 +197,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, CPP and SEFM.
+Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP, SEFM and CADE.
 </TD>
 </TR>
 
@@ -341,7 +341,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Sun Jun 21 15:32:06 BST 2015 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Fri Jul 10 01:44:06 BST 2015 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>