# HG changeset patch # User Christian Urban # Date 1335694315 -3600 # Node ID ed54ec416bb3061f614d7c469e209a83bcb63093 # Parent d0202d7d01868daae8da4ee2e4fbdc159b646066 updated link 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),