Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

Call for Papers

Call for Papers

A pdf-version of the final call for notice boards.

CiE 2006 is the second of a new conference series on Computability Theory and related topics which started in Amsterdam in 2005. CiE 2006 will focus on (but not be limited to) logical approaches to computational barriers:

  • practical and feasible barriers, centred around the P vs. NP problem;
  • computable barriers, connected to models of computers and programming languages;
  • hypercomputable barriers, related to physical systems.

The Programme Committee cordially invites all researchers (European and non-European) in the area of computability theory to submit their papers (in PDF-format, at most 10 pages) for presentation at CiE 2005.

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. For more information about the aims and the scope of the conference, please check our General Information. For more information about the CiE conference series, please check the CiE Conference Series web site. Since women are underrepresented in mathematics and computer science, we emphatically encourage submissions by female authors.

We shall have an online submission form on our web-page within the next few days. The important dates around the submission process are as follows:

Submission Deadline: 9 February 2006.
Notification of Authors: 10 March 2006.
Deadline for Final Version: 31 March 2006.
(Please note that the dates have changed.)

The best of the accepted papers will be published in the conference proceedings within LNCS Logo 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. They must not be submitted simultaneously to another conference with refereed proceedings. Research that is already submitted to a journal may be submitted to CiE06, provided that (a) the PC chairs is notified in advance that this is the case, and (b) it is not scheduled for journal publication before the conference.

All papers need to be prepared in LNCS-style LaTeX. Papers should not exceed 10pages; 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.

websites: Arnold Beckmann 2006-03-16 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by