Call for papers

    Following the Swiss-South African (SNSF-NRF) joint seminar

    Logic and Information:
    From Logic to Constructive Reasoning
    University of Berne, Switzerland, January 22-25, 2007

    it is planned to publish a special issue of the

    Journal of Logic and Algebraic Programming (JLAP)
    http://www.elsevier.com/locate/jlap

  This issue is supposed to contain papers related to the seminar
  but it is also open to other submissions that meet the standards
  of JLAP and the scope of the seminar.

  Scope

  The purpose of the seminar is to bring together researchers
  working on combinatorial, probabilistic, logical and topological
  aspects of reasoning in Mathematics and Theoretical Computer Science
  in order to discuss problems of common interest related to various
  approaches to constructive mathematics.

  On the one hand, combinatorial, probabilistic and logical methods
  have many applications in theoretical computer science and a direct
  impact on algorithms in general and on reasoning in the area of
  artificial intelligence. Certain modal fixpoint logics, for example,
  are widely used for specification and verification of algorithms.

  On the other hand, proof theory has revealed a deep relationship
  between logic and computer science: the famous "proofs as
  computations" paradigm and the Curry-Howard interpretations are
  just examples of a flourishing area.

  Keywords

  - Logic and Proof Theory
  - Theoretical Computer Science
  - Computability and Constructivity
  - Topological Methods
  - Combinatorial and Probabilistic Methods
  - Fixpoint Logics
  - Specification and Verification
  - Artificial Intelligence

  Guest Editors

  Vasco Brattka (Cape Town)
  Gerhard Jäger (Berne)
  Hans-Peter Künzi (Cape Town)

  Submissions

  Authors are invited to submit PDF versions of papers to:

     topcs@maths.uct.ac.za

  Submission deadline: March 12, 2007
  Notification: July 2, 2007
  Camera-ready versions: August 6, 2007

  Papers have to be prepared using LaTeX2e and
  the LaTeX templates available for download at:

     http://www.authors.elsevier.com/latex