diff -r d0202d7d0186 -r ed54ec416bb3 index.html
--- a/index.html	Mon Apr 23 08:53:47 2012 +0100
+++ b/index.html	Sun Apr 29 11:11:55 2012 +0100
@@ -146,7 +146,7 @@
 TPHOLs'09 (PC co-chair),
 Automatheo'10 (member of PC),
 ITP'10 (member of PC),
-UNIF'10 (invited speaker),
+UNIF'10 (invited speaker),
 WMM'10 (invited speaker),
 IDW'10 (co-organiser),
 CPP'11 (member of PC),