The day after…

The 2nd CCC conference is over. As a farewell we had a delicious BBQ, where even the weather was perfect. What a pity that a few of the participants had to return home early and so missed this event!

Many thanks go to all the participants for coming to Trier. I hope you enjoyed your stay.

Additional thanks go to all the speakers: All of you gave us very interesting and inspiring talks!

I already look forward to meeting you again!


Some news about the conference

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….