A PDF-Version of the call for papers for notice boards.
CiE 2009 is the fifth in a series of conferences organised by CiE (Computability in Europe), a European network 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).
CiE 2009 has a broad focus bridging 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 computer scientists, mathematicians, physicists, biologists, engineers, and wants to explore the historical and philosophical foundations of the field
The Programme Committee cordially invites all researchers in the area of the conference to submit their papers (in PDF-format, at most 10 pages) for presentation at CiE 2009.
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:||1 February 2009|
|Notification of Authors:||16 March 2009|
|Deadline for Final Version:||17 April 2009|
The best of the accepted papers will be published in the conference proceedings within the Lecture Notes in Computer Science (LNCS) series of Springer, which will be available at the conference. Authors of accepted papers are expected to present their work at the conference. Submitted papers must describe work not previously published, and they must neither be accepted nor under review at a journal or at another conference with refereed proceedings.
All papers need to be prepared in LNCS-style LaTeX. Papers should not exceed 10 pages; full proofs may appear in a technical appendix which will be read at the reviewers' discretion. The title page must contain: title and authors; physical and e-mail addresses; identification of corresponding author, if not the first author; an abstract of no more than 200 words; a list of keywords.
Submissions authored or co-authored by members of the Programme Committee are not allowed.Conference topics include but are not limited to the following.
Classical computability and degree structures
Computability theoretic aspects of programs
Computable analysis and real computation
Computable structures and models
Computational and proof complexity
Computational learning and complexity
Concurrency and distributed computation
Decidability of theories
Domain theory and computability
Dynamical systems and computational models
Effective descriptive set theory
Finite model theory
Formal aspects of program analysis
Foundations of computer science
Generalized recursion theory
History of computation
|Higher type computability
Infinite time Turing machines
Lambda and combinatory calculi
L-systems and membrane computation
Mathematical models of emergence
Neural nets and connectionist models
Philosophy of science and computation
Physics and computability
Programming language semantics
Proof theory and computability
Quantum computing and complexity
Reducibilities and relative computation
Type systems and type theory
Weak arithmetics and applications