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

[Anthony de Almeida Lopes]

Thanks, Andreas. I did look into Chalmers already and it seems for
undergraduate work there's a Swedish requirement and really my Swedish
is not quite good enough to study full time. Dresden could work, I'll
look into the details to see if I meet the admissions requirements. I
know Germany has good loans and grants. And the Nijmegen sounds pretty
good so far. I'll have to take some time to look over the program more
but their site isn't working for me at the moment.

Thanks for grabbing this out of the other thread, I should have done
that at first.

- Anthony

2011/6/13 Andreas Abel <andreas.abel at ifi.lmu.de>:
> Mmh, difficult question.  I'd say on the French elite schools you can learn
> serious stuff about lambda calculus and type theory.  But then, I am not so
> sure you could get classes in English.
>
> In Germany I know this international master's program on computational logic
> in Dresden
>
>  http://www.emcl-study.eu/modules.html
>
> but looking at the modules these is a lot of logic and little type theory.
>
> Chalmers' people should speak for themselves...
>
> Maybe Nijmegen has something in English...
>
>  http://www.cs.ru.nl/~herman/THEME/foundations-theme.html
>
> I am sure others on this list have something to say on this topic...
>
> Cheers,
> Andreas
>
> On 12.06.11 9:55 PM, Anthony de Almeida Lopes wrote:
>>
>> 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
>>>>
>>>>
>>>
>>
>
> --
> 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/
>
>