[TYPES/announce] CCC 2014 - PARTICIPATION AND REGISTRATION

[Dieter Spreen]

CONTINUITY, COMPUTABILITY, CONSTRUCTIVITY:
From Logic to Algorithms (CCC 2014)

CALL FOR PARTICIPATION AND REGISTRATION

University of Ljubljana, Slovenia
15-19 September 2014

To view the programme and to register please visit

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.

Invited Speakers:

* Vasco Brattka (Universität der Bundeswehr München)
* Thierry Coquand (University of Gothenburg)
* Jean Goubault-Larrecq (Ecole normale supérieure de Cachan)
* Dirk Pattinson (Australian National University)
* Paul Potgieter (University of South Africa)
* Robert Rettinger (Fernuniversität in Hagen)
* Hideki Tsuiki (Kyoto University)

Tutorial Speakers:

* Andrej Bauer (University of Ljubljana)
* Martin Ziegler (Technische Universität Darmstadt)

Programme Committee:

* Andrej Bauer - Ljubljana (local organizer)
* 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140815/eed4067b/attachment.html>