[TYPES/announce] Last CFP - JLC Special Issue on Computational Logic, in honour of Roy Dyckhoff

[Didier.Galmiche at loria.fr]

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

                            Last Call for Papers

                      JOURNAL OF LOGIC AND COMPUTATION

                     Special Issue on Computational Logic,
                          in honour of Roy Dyckhoff

                 *** Extended deadline: December 22nd, 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 22nd, 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)