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

[gallais at ensl.org]

Do not expect impartiality from this post, I am only talking about the
universities I have been to. ;)

The Parisian Master of Research in Computer Science (MPRI [1]) has a
lot of type theory / logic related courses and all its lectures can be
taught in English if at least one of the student ask for it (and no
French student ask for it to be in French and nothing else which never
happened this year).

I don't know of an undergraduate program that would contain only type
theory related lectures but the one in Lyon [2] gives you strong basis
on various subjects (lambda calculus, computability and complexity
theory, (parallel) algorithms but also system & networks...) which
allows you to attend the MPRI lectures without being lost.
I think that the lectures can be in English but you should check (It's
true for the Master's lectures in Lyon but I don't remember if it is
also the case for the undergraduate's).
There are almost no pre-requisites in computer science (automata
theory & regular languages maybe) given that most of the French
student that enter this university have spent two years building a
physics & mathematics background in a classe préparatoire.

--
guillaume

[1] http://mpri.master.univ-paris7.fr/
[2] http://www.ens-lyon.fr/DI/?lang=en

On 13 June 2011 09:10, Andreas Abel <andreas.abel at ifi.lmu.de> wrote:
> 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/
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>