CCC 2012 – Trier

Continuity, Computability, Constructivity – From Logic to Algorithms

Trier (DE)

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