Logic List Mailing Archive

CfP: Journal of Logic and Algebraic Programming, Special Issue on Process Theory for Hybrid Systems

                         CALL FOR PAPERS

            Journal of Logic and Algebraic Programming

                        special issue on



                   deadline: November 1, 2004

Aims and scope

The Journal of Logic and Algebraic Programming is an international
journal whose aim is to publish original work in the areas of logical
and algebraic methods and techniques for programming in its broadest
sense. The Journal of Logic and Algebraic Programming complements
Elsevier's Science of Computer Programming and Theoretical Computer
Science by its focus on the foundations of logical, algebraic and
categorical methods for programming. For more information, visit

A hybrid system is a dynamical system that shows both continuous and
discrete behaviour. The study of continuous behaviour of a dynamical
system is well-established in the area of control theory and system
theory. For the study of the discrete behaviour of a system process
theory (e.g., process calculi, process algebra, automata theory)
has turned out to be particularly suitable.

The theory of hybrid systems emerged to combine in a common framework
the study of the continuous and the discrete aspects of the behaviour
of a dynamical system. Its development and application has received much
attention from researchers in recent years. This makes it interesting
to take stock and present where we are now.

This special issue is devoted to theory of hybrid systems with a focus
on process theory.

Special topics of interest include (but are not limited to):

  - hybrid process calculi
  - hybrid process algebra
  - hybrid automata
  - hybrid I/O automata
  - connections between control theory and process theory
  - case studies using techniques from process theory for the
    analysis of hybrid systems
  - process logics for hybrid systems
  - hybrid specification languages
  - tools supporting the analysis of hybrid systems using process


We solicit original, unpublished contributions of high quality which
are not submitted elsewhere. The deadline for submission is November 1,
2004. All submitted papers will be refereed according to the JLAP
refereeing process. The special issue is expected to appear in the
last quarter of 2005.

Authors are strongly advised to submit their paper electronically to
both guest editors, either in postscript or in PDF format. We
encourage the use of the Elsevier style file for LaTeX (see
http://www.elsevier.com/locate/latex). Alternatively, four hard copies
can be sent to the guest editors (see below for their address).

In order to speed up the review process, authors are strongly
encouraged to send (tentative) title and abstract to the guest editors
as soon as available.

Guest editors

   Jos Baeten            Bas Luttik
   josb@win.tue.nl       luttik@win.tue.nl

   Formal Methods Group
   Department of Mathematics and Computer Science
   Eindhoven University of Technology
   P.O. Box 513
   5600 MB Eindhoven
   The Netherlands