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

[Anthony de Almeida Lopes]

I see this as my future, but as you said, requires a bachelor's degree
and I have two more years by the University of California standard to
get my mathematics degree since I left it for work opportunities.

Thanks for verifying though, appreciated all the same,
- Tony

2011/6/13 Bengt Nordstrom <bengt at chalmers.se>:
> 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
>>
>