[TYPES/announce] Continuity, Computability, Constructivity 2014; second call for papers

[Dieter Spreen]

Continuity, Computability, Constructivity – From Logic to Algorithms (CCC 2014)
 University of Ljubljana, 15-19 September 2014
 Second call for papers
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 CCC 2009, Trier CCC 2012, and Gregynog 2013. 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 third COMPUTAL workshop, but is open to all researchers in the area.
The workshop will take place in Ljubljana, Slovenia.

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: 
Thierry Coquand (Gothenburg)
Dirk Pattinson (Canberra)
Paul Potgieter (Pretoria)
Robert Rettinger (Hagen)
Hideki Tsuiki (Kyoto)
… (tba)

Tutorial Speakers: 
Andrej Bauer (Ljubljana)
Martin Ziegler (Darmstadt)

Abstract submission deadline:
10 June 2014

Upload your submission via EasyChair

https://www.easychair.org/conferences/?conf=ccc20140

Programme Committee:
Andrej Bauer(Ljubljana)
Willem Fouché (Pretoria)
Hajime Ishihara (Nomi, Ishikawa)
Margarita Korovina (Novosibirsk)
Davorin Lesnik (Darmstadt)
Norbert Mueller (Trier)
Robert Rettinger (Hagen)
Monika Seisenberger (Swansea)
Dieter Spreen (Siegen and Pretoria) (chair)
Martin Ziegler (Darmstadt).

Organizing Committee:
    Andrej Bauer (Ljubljana)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140519/9e5f49ad/attachment-0001.html>