************************************************************
ANNALS OF PURE AND APPLIED LOGIC
SECOND SPECIAL ISSUE ON
CLASSICAL LOGIC AND COMPUTATION
CL&C 2008
************************************************************
CALL FOR PAPERS
===============
Contributions on the topic of Classical Logic and
Computation are invited for a special issue of Annals of
Pure and Applied Logic. On July 13, 2008, the second
meeting on "Classical Logic and Computation" took place
in Reykjavik - Iceland, as a satellite meeting of
ICALP 2008. The meeting intended to cover all work aiming
to explore computational aspects of classical logic and
mathematics. The special issue is first of all set up for
papers presented at the workshop, but the call is open to
all researchers.
TOPICS
Topics of interest for contributions to the journal
issue include, but are not limited to:
- logic and type theory,
- programming language design,
- verification,
- witness extraction from classical proofs,
- game semantic of classical logic,
SUBMISSIONS
Submissions must be original work, which has not been
previously published in a journal and is not being
considered for publication elsewhere. If related
material has appeared in a refereed conference
proceedings, the manuscript submitted should be
substantially more complete or otherwise different.
A title page must include: full title, authors' full
names and affiliations, and the address to which
correspondence and proofs should be sent. Where possible,
e-mail address and telephone number should be included.
This should be followed by an abstract of approximately
300 words and five key words for indexing.
IMPORTANT
All source files of the final versions of the accepted
papers must respect the format of APAL. In order to make
a submission, please follow the instructions from:
http://www.elsevier.com/wps/find/journaldescription.cws_home/505603/authorinstructions
Please upload a .pdf file to the following easy chair link
http://www.easychair.org/conferences/?conf=clc08apal
Deadline for the submission of a title page
indicating the intent to submit: March 1, 2009
Deadline for paper submission: March 30, 2009
Guest editors:
Steffen van Bakel, Imperial College, London, UK
Stefano Berardi, Universita` di Torino, Italy
Ulrich Berger, Swansea University, UK
Contact: u.berger at swansea.ac.uk