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