Talk:Gérard Huet

EATCS award
This should be covered. — Miym (talk) 15:29, 15 March 2009 (UTC)