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

[Andreas Abel]

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/