14-18 Sep 2015
Kochel am See, Germany
Continuity, Computability, Constructivity: From Logic to Algorithms (CCC 2015) Schloss Aspenstein, Kochel am See (near Munich) 14-18 September 2015 Call for papers http://www.cs.swan.ac.uk/ccc2015/ <http://www.cs.swan.ac.uk/ccc2015/> <http://ccc2014.fmf.uni-lj.si/> CCC is a workshop series bringing together researchers from real analysis, computability theory, and constructive mathematics. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation. Previous workshops have been held in Cologne 2009, Trier 2012, Gregynog 2013, and Ljubljana 2014. One outcome of the 2009 workshop series is the creation of the EU funded research network COMPUTAL (Computable analysis ? theoretical and applied aspects) which supports research visits from Europe to Russia, South-Africa, and Japan and vice versa. This workshop also hosts the fourth COMPUTAL workshop, but is open to all researchers in the area. The workshop will take place in Kochel am See at the border of the alps. Scope: The workshop specifically invites contributions in the areas of exact real number computation effective topology Scott's domain theory Weihrauch's type two theory of effectivity category-theoretic approaches to computation on infinite data hierarchies of unsolvability and related areas. Invited Speakers: Martín Escardó (Birmingham, UK) Daniel da Silva Graça (Faro, Portugal) Mathieu Hoyrup (Nancy, France) Vassilis Gregoriades (Darmstadt, Germany) Takayuki Kihara (JAIST, Japan) Thomas Powell (Innsbruck, Austria) Tutorial Speakers: André Nies (Auckland, New Zealand) Olivier Bournez (Palaiseau, France) Abstract submission deadline: 15 June 2015 Upload your submission via EasyChair https://easychair.org/conferences/?conf=ccc20151 <https://easychair.org/conferences/?conf=ccc20151> <https://www.easychair.org/conferences/?conf=ccc20140>Location: The workshop takes place in the Georg-von-Vollmar Akademie, Schloss Aspenstein, a small conference center in Kochel am See at the border of the alps. Pre-Registration As the number of rooms at Schloss Aspenstein is limited, pre-registration is recommended. Please send an email to m.seisenberger@swansea.ac.uk <mailto:m.seisenberger@swansea.ac.uk>. Programme Committee: Andrej Bauer(Ljubljana) Ulrich Berger (Swansea, UK) Vasco Brattka (Munich, Germany) Petrus Potgieter (Pretoria, South Africa) Victor Selivanov (Novosibirsk, Russia) Dieter Spreen (Siegen) (chair). Organizing Committee: Ulrich Berger (Swansea, UK) Peter Hertling (Munich, Germany) Monika Seisenberger (Swansea, UK) Dieter Spreen (Siegen).