Computability in Europe 2008
Logic and Theory of Algorithms

Call for Papers

CiE 2008 is the fourth 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) and Siena (2007).

CiE 2008 aims at bridging the gap from the logical methods of mathematical and meta-mathematical flavour to the applied and industrial questions that are involved in devising and choosing the right algorithms and analysing their effectiveness and efficiency.

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 2008.

We particularly invite papers that build bridges between different parts of the research community. 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.

The dates around the submission process have changed, they are now as follows:

New Submission Deadline:	14 January 2008.
New Notification of Authors:	29 February 2008.
New Deadline for Final Version:	21 March 2008.

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. They must not be submitted simultaneously to another conference with refereed proceedings. Research that is already submitted to a journal may be submitted to CiE08, 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 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.