[FOM] Call for papers: Logic and Information - From Logic to

[Kreinovich, Vladik]

 This may be of intereset to many researchers in our community. 

-----Original Message-----
From: Vasco Brattka [mailto:BrattkaV at maths.uct.ac.za] 

Special Issue on
Logic and Information: From Logic to Constructive Reasoning
of the Journal of Logic and Algebraic Programming

Submission Deadline: March 12, 2007
______________________________________________________________________


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 at 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
______________________________________________________________________