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

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