[TYPES/announce] CfP: JLC Special Issue on Computational Logic, in honour of Roy Dyckhoff

[Stephane Graham-Lengrand (Work)]

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

                           Call for Papers

                 JOURNAL OF LOGIC AND COMPUTATION

                Special Issue on Computational Logic,
                     in honour of Roy Dyckhoff

            *** Submission deadline: December 1st, 2012 ***

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


AIMS AND SCOPE

This special issue of the Journal of Logic and Computation (JLC) is
devoted to Roy Dyckhoff's broad research interests, as illustrated
during the workshop that was held in his honour in November 2011 in St
Andrews: http://www.lix.polytechnique.fr/~lengrand/Events/Dyckhoff/


Covered under the title of Computational Logic, the topics include,
but are not limited to:
- automated reasoning
- category theory
- constructivity
- explicit substitution calculi
- functional programming
- Gentzen systems (and Beyond)
- intuitionistic logic
- lambda calculus
- linear logic
- logic programming
- non-classical logics
- machine-assisted meta-theory
- modal logics
- proof-theoretic semantics
- proof search
- proof theory
- provability logic
- sequent calculi
- tableaux methods
- term rewriting
- type theory


SUBMISSION

Submission should be in English, using (at first) the PDF format, and
sent to either of the guest editors below.

We expect submissions to present original contributions of the highest
quality, that have not been previously published in, or submitted to,
another journal. Each submission will be subject to two reviewers.

IMPORTANT DATES

Submission of papers: December 1st, 2012
Expected publication: Spring 2013


GUEST EDITORS

Didier Galmiche, Université de Lorraine - LORIA (Didier.Galmiche at loria.fr)
Stéphane Graham-Lengrand, CNRS - Ecole Polytechnique
(graham-lengrand at lix.polytechnique.fr)