Continuity, Computability, Constructivity – From Logic to Algorithms
- Scope: The workshop is a project meeting of the COMPUTAL project. It addresses the participants of the project as well as scientists working in related fields.
- The CCC-2012-Programme is online!
- Important Dates:
- Abstract Submission: April 29, 2012
- Workshop: From Tuesday, May 29, 2012, until Saturday, June 02, 2012
- The workshop will start on the morning of Tuesday, May 29, 2012, around 9:00
- Saturday, June 02, 2012, is dedicated to the celebration of the 65th birthday of Dieter Spreen
- Invited Speakers:
- Matthew de Brecht (Kyoto)
- Akitoshi Kawamura (Tokyo)
- Giovanni Sambin (Padua)
- Victor Selivanov (Novosibirsk)
- Tutorials:
- Effective Brownian Motion (Willem Fouché)
- The proofs-as-programs paradigm in computable analysis (Ulrich Berger)
- Informal talks: There will be the possibility to give short informal talks without submitting an abstract.
- Registration: Please just send an email to mueller@uni-trier.de.
- Programme Committee: Ulrich Berger – Vasco Brattka – Willem Fouché – Hajime Ishihara – Norbert Müller – Victor Selivanov – Dieter Spreen
- Local Organizing Committee: Maria Gindorf – Agnes Jacoby – Norbert Müller
- Location: The workshop will be held at Campus II at the University of Trier, some maps can be found here.
- Travel: Here you may find how to reach Trier and its university.
- Accomodation: Please use e.g. www.trier-info.de for hotel reservation.
- Social Events: Toga tour through Trier
- Post-Proceedings: It is planned to publish a post-workshop special issue in a scientific journal. Submission for this special issue will be after the meeting. Papers will then be refereed according to the standards of the journal.
- There will be a conference fee of 100 € (including lunches and free travel with local buses, but not including the social events). The fee will be collected at the registration in Trier.