[Agda] curious

[Anthony de Almeida Lopes]

Sorry to digress here, but since you were willing and able to answer
that question, I may as well ask if you know if there are some good
places in Europe to complete an undergraduate degree that could lead
to graduate work in type theory. I already have two years of a
mathematics degree done and would prefer not to study in the UK. I
just applied to do a CS degree at ITH in Copenhagen but it seems
overly focused on the practical for my taste.

Thanks if you can answer,
- Tony

2011/6/12 Andreas Abel <andreas.abel at ifi.lmu.de>:
> On 11.06.11 11:49 PM, Silvio Frischknecht wrote:
>>
>> I'm also looking for a master thesis in that field in Spring 2012. So
>> I'd also like to know which universities are mainly involved in
>> developing agda. It'd be cool if they had a student exchange agreement
>> with ETH.
>
> Well, of course there is Chalmers (Ulf Norell, Nils Anders Danielsson) and
> ETH seems to have an exchange agreement with Chalmers.
>
> Then, you could also come to me to LMU Munich; according to ETH's web page
> there does not seem an exchange agreement.  But I do not know how necessary
> that is.  In any case, we are accepting interns doing a thesis or research
> project.
>
> Cheers,
> Andreas
>
> --
> Andreas Abel  <><      Du bist der geliebte Mensch.
>
> Theoretical Computer Science, University of Munich
> Oettingenstr. 67, D-80538 Munich, GERMANY
>
> andreas.abel at ifi.lmu.de
> http://www2.tcs.ifi.lmu.de/~abel/
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
>