[CiE] CiE 2009: COMPUTABILITY IN EUROPE 2009 - Second Call for Papers

[CiE] CiE 2009: COMPUTABILITY IN EUROPE 2009 - Second Call for Papers

Post by pmt6sb » Sat, 20 Dec 2008 23:37:32

Second Call for Papers
Mathematical Theory and Computational Practice
Heidelberg, Germany
19 - 24 July 2009

Deadline for submissions: 20 JANUARY, 2009



CiE 2009 is the fifth in a series of conferences organised by CiE
(Computability in Europe), a European association of mathematicians,
logicians, computer scientists, philosophers, physicists and others
interested in new developments in computability and their underlying
significance for the real world. Previous meetings took place in
Amsterdam (2005), Swansea (2006), Siena (2007) and Athens (2008).

TUTORIALS: Pavel Pudlak, Luca Trevisan.

INVITED SPEAKERS: Manindra Agrawal, Jeremy Avigad, Phokion Kolaitis,
Peter Koepke, Andrea Sorbi, Rafael D. Sorkin, Vijay Vazirani.

SPECIAL SESSIONS on Algorithmic Randomness (E. Mayordomo, W. Merkle),
Computational Model Theory (J. Knight, A. Morozov), Computation in
Biological Systems - Theory and Practice (A. Carbone, E. Csuhaj-Varju),
Optimization and Approximation (M. Halldorsson, G. Reinelt), Philosophical
and Mathematical Aspects of Hypercomputation (J. Ladyman, P. Welch),
Relative Computability (R. Downey, A. Soskova)

Ekaterina Fokina, Friedrich Eisenbrand, Hristo Ganchev, Sergey Goncharov,
Bjorn Kjos-Hanssen, Russell Miller, Antonio Montalban, Keng Meng Ng,
Ion Petre, Alberto Policriti, Francisco J. Romero-Campero, Richard Shore,
Nikolai Vereshchagin, David Westhead.

CiE 2009 has a broad scope and bridges the gap from the theoretical
methods of mathematical and meta-mathematical flavour to the applied and
industrial questions of computational practice. The conference aims to
bring together researchers who want to explore the historical and
philosophical aspects of the field.

We particularly invite papers that build bridges between different parts
of the research community. Since women are underrepresented in mathematics
and computer science, we emphatically encourage submissions by female
authors. The Elsevier Foundation is supporting the CiE conference series
in the programme "Increasing representation of female researchers in the
computability community". This programme will allow us to fund child-care
support, a mentoring system for young female researchers, and also a small
number of grants for female researchers, covering their registration fees.

The dates around the submission process are as follows:

Submission Deadline: 20 January 2009
Notification of Authors: 16 March 2009
Deadline for Final Version: 17 April 2009

CiE 2009 conference topics include, but not exclusively:

* Admissible sets
* Analog computation
* Artificial intelligence
* Automata theory
* Classical computability and degree structures
* Computability theoretic aspects of programs
* Computable analysis and real computation
* Computable structures and models
* Computational and proof complexity
* Computational complexity
* Computational learning and complexity
* Concurrency and distributed computation
* Constructive mathematics
* Crypto