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

[Bengt Nordstrom]

At Chalmers we have an international masters program in Computer
Science – algorithms, languages and logic
http://goo.gl/Ig8qN
All teaching is in English, but you need a bachelor degree to enter it.

We in the programming logic group are deeply involved in it. I enclose
a copy of the courses.

Bengt


On Mon, Jun 13, 2011 at 10:15 AM, Anthony de Almeida Lopes
<anthony.de.almeida.lopes at falsifiable.net> wrote:
> 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/
>>
>>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Kurstabl_Computer-Science.png
Type: image/png
Size: 160829 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20110613/d13eb146/Kurstabl_Computer-Science-0001.png