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-Noetherfellowship. -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,
- +