[FOM] Second CfP: Special Issue APAL on "Classical Logic and Computation"

Steffen van Bakel s.van.bakel at imperial.ac.uk
Thu Dec 16 11:37:54 EST 2010


                  THIRD SPECIAL ISSUE ON


                 SECOND 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 August 22, 2010, the third workshop on "Classical Logic and
Computation" took place in Brno - Czech Republic, as a satellite
meeting of MFCS/CSL 2010. The workshop covered a broad range of
work aiming to explore computational aspects of classical logic
and mathematics. The special issue is first of all set up for
extended versions of papers presented at the workshop, but the
call is open to all researchers.


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

The 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 keywords for indexing.


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 at


Please upload a .pdf file to the following easychair link


Deadline for the submission of a title page
indicating the intent to submit:             January 15, 2011
Deadline for paper submission:               February 15, 2011

Guest editors:

Steffen van Bakel, Imperial College London, UK
Stefano Berardi, Universita` di Torino, Italy
Ulrich Berger, Swansea University, UK

Contact: s.vanbakel at imperial.ac.uk

More information about the FOM mailing list