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),