diff -r 7108aeec5080 -r f51aebc23fbf index.html
--- a/index.html Wed Mar 30 16:25:12 2016 +0100
+++ b/index.html Wed Mar 30 16:32:19 2016 +0100
@@ -57,7 +57,7 @@
-
+
|
@@ -150,19 +150,19 @@
Conferences
UNIF'06 (member of PC),
LFMTP'07 (member of PC),
-LFMTP'08 (PC co-chair),
+LFMTP'08 (PC co-chair),
WMM'08 (member of PC),
LSFA'08 (invited speaker),
TAASN'09 (member of PC),
LSFA'09 (member of PC),
-IDW'09 (organiser),
+IDW'09 (organiser),
WMM'09 (PC chair),
-TPHOLs'09 (PC co-chair),
+TPHOLs'09 (PC co-chair),
Automatheo'10 (member of PC),
ITP'10 (member of PC),
UNIF'10 (invited speaker),
WMM'10 (invited speaker),
-IDW'10 (co-organiser),
+IDW'10 (co-organiser),
CPP'11 (member of PC),
RTA'11 (member of PC),
LFMTP'11 (member of PC),
@@ -204,7 +204,7 @@
Since 2006 this work is supported by an
Emmy-Noether
fellowship.
-There is a webpage and a
+There is a webpage and a
mailing list
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, SEFM,