Aim 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 http://www.elsevier.com/locate/jlap.

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.

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

Instructions

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
josb@win.tue.nl
Bas Luttik
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