After some final changes, the programme is online now. Please have a look what to expect next week in Trier: CCC-2012-Programme

Edit: I assume the final programme will only exist after the conference is finished: If you find time, have a look at the next version: CCC-2012-Programme (version 2012-05-25-09-07)

Dear all,

currently I know about 33 people who are going to participate in the conference. The program is not fixed yet (I still wait for some titles and abstracts), but I can already tell that we will have:

4 Invited talks:

Effective topology from the eyes of a logician (Giovanni Sambin)

Representations for polynomial-time computability (Akitoshi Kawamura)

Descriptive set theory for countably based T0-spaces. (Matthew deBrecht)

Descriptive set theory for computable analysis (Victor Selivanov)

2 Tutorials:

Effective Brownian Motion (Willem Fouche)

The proofs-as-programs paradigm in computable analysis (Ulrich Berger)

8 regular talks
12 informal talks
8 special talks on Saturday

I will tell more details after this weekend….