[Agda] curious

[Anthony de Almeida Lopes]

Oops, I apologise for the noise but I meant to add the requirement
that it be taught in English.
- Tony

2011/6/12 Anthony de Almeida Lopes <anthony.de.almeida.lopes at falsifiable.net>:
> 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
>>
>>
>