[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