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!
After some final changes, the programme is online now. Please have a look what to expect next week in Trier:
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)
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)
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….
The tutorials on the 2012 conference have been fixed: Willem Fouché and Ulrich Berger will teach us many interesting things!
Welcome to the COMPUTAL blog. This is a forum where the participants of the COMPUTAL project can exchange their ideas in public (and in private…)