[TYPES/announce] CfP: Special Issue on "Classical Logic and Computation"

Ulrich Berger U.Berger at swansea.ac.uk
Thu Nov 27 13:21:17 EST 2008


************************************************************

               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


More information about the Types-announce mailing list