[TYPES/announce] APAL SPECIAL ISSUE: "CLASSICAL LOGIC AND COMPUTATION"
Steffen van Bakel
svb at doc.ic.ac.uk
Tue Aug 1 07:12:30 EDT 2006
*********************************************************************
ANNALS OF PURE AND APPLIED LOGIC
SPECIAL ISSUE ON
CLASSICAL LOGIC AND COMPUTATION
*********************************************************************
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 15 2006, the first meeting on "Classical Logic and
Computation" took place in Venice, Italy, as satellite meeting
to ICALP'06. The meeting intended to cover all work aiming to
propose a programming language inspired by classical logic, and a
semantics for it. 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 in-
clude, but are not limited to:
- types for calculi with continuations
- design of programming languages inspired by classical
logic,
- witness extraction from classical proofs,
- constructive semantics for classical logic (e.g. game
semantics),
SUBMISSIONS
Submissions must be original work, which has not been previously
published in a journal and is not being considered for publica-
tion elsewhere. If related material has appeared in a refereed
conference proceedings, the text submitted to should be substan-
tially 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 num-
ber 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:
authors.elsevier.com/GuideForAuthors.html?PubID=505603&dc=GFA
Please send a .ps or .pdf file to either
svb at doc.ic.ac.uk
or
stefano at di.unito.it
Deadline for submission: October 31, 2006.
Steffen van Bakel, Imperial College, London, UK;
Stefano Berardi, Universita` degli studi di Torino, Turin, I.
More information about the Types-announce
mailing list