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

[Ulrich Berger]

                 ANNALS OF PURE AND APPLIED LOGIC
                     THIRD 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 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

   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.

   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.

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 at

 
http://www.elsevier.com/wps/find/journaldescription.cws_home/505603/authorinstructions

   Please upload a .pdf file to the following easychair link

        http://www.easychair.org/conferences/?conf=apalclac10

   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