---------------------------------------------------------------------------

CiE 2009: COMPUTABILITY IN EUROPE 2009 -

Mathematical Theory and Computational Practice

Heidelberg, Germany

19 - 24 July 2009

Deadline for submissions: 20 JANUARY, 2009

http://www.math.uni-heidelberg.de/logic/cie2009/

----------------------------------------------------------------------------

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, 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)

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

* Cryptographic complexity

* Decidability of theories

* Derandomization

* Domain theory and computability

* Dynamical systems and computational models

* Effective descriptive set theory

* Finite model theory

* Formal aspects of program analysis

* Formal methods

* Foundations of computer science

* Games

* Generalized recursion theory

* History of computation

* Hybrid systems

* Higher type comput

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

2. CiE 2009, Heidelberg, Germany, 19-24 July 2009 - Second Call for

3. [CiE] CiE 2007 - Call for Participation

4. CiE 2007 - First Call for Papers

5. CiE 2011 - 2nd call for papers: Deadline 14 January 2011

6. CiE 2007 - SECOND CALL FOR PAPERS

7. CiE 2008 - 1st Call for Papers

8. CiE 2008 - accepted papers, informal presentations, participation

9. CiE 2007 - Final call for Participation

10. CiE 2007 - Call for Participation

1 post • Page:**1** of **1**