Study type theory in Europe [Re: [Agda] curious]

[Guillaume Yziquel]

Le Monday 13 Jun 2011 à 17:08:09 (+0100), Anthony de Almeida Lopes a écrit :
> 2011/6/13 gallais @ ensl.org <guillaume.allais at ens-lyon.org>:
> 
> Well, I it sounds interesting (I don't mind studying other theoretical
> CS topics as well!) but the website seems to be completely in French
> even when you click on English. I'll see if I can get it to cooperate.
> Do you, by any chance, happen to have a contact there that I could
> connect with?

Given his email address, I'd be surprised if he didn't...

-- 
     Guillaume Yziquel