[DL] JANCL: special issue devoted to dynamic logic

[Philippe BALBIANI]

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Special issue of the
Journal of Applied Non-Classical Logics
devoted to PDL

CALL FOR PAPERS (please distribute)

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

The Journal of Applied Non-Classical Logics (JANCL) is an
international tribune. It aims at promoting the development
of non-classical logics in computer science.

Propositional dynamic logic (PDL) is one of the most
prominent applied non-classical logics. There are by now a
number of books and survey papers treating PDL and a great
deal is known concerning its complexity and its proof
theory.

Additional topics related to PDL include results concerning
comparative expressive power, decidability, complexity and
completeness of a number of variants obtained by extending
or restricting PDL in various ways: deterministic programs,
restricted tests, nonregular programs, programs as automata,
complementation and intersection of programs, converse and
infinite computations, etc.

The editors of the JANCL intend to publish a special issue
devoted to PDL and related topics such as first-order
dynamic logic, algorithmic logic, mu-calculus, process
logic, etc. Applications are also welcome if they illustrate
the usefulness of dynamic concepts in logic.

Authors are invited to submit a full paper by email to
Philippe Balbiani (balbiani at irit.fr) using ``Special issue
of the JANCL'' as the subject line. The cover page should
include title, names of authors and the coordinates of the
corresponding author. To be considered, submissions must be
received no later than April 2004.

Important dates:

- April 2004: electronic submission deadline
- August 2004: notification of acceptance
- October 2004: camera-ready papers due
- December 2004: publication of the special issue

The editors highly recommend to submit papers using the
Latex article-style or the Latex style of the JANCL. Please
ask Dominique Longin (longin at irit.fr), the journal
administrator, for details.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%