[TYPES/announce] Continuity, Computability, Constructivity 2015; call for submission

[Dieter Spreen]

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 at swansea.ac.uk <mailto:m.seisenberger at 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).


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150410/17176ccd/attachment-0001.html>