Aim and scope
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
on process theory.
Specific topics of interest include (but are not limited to):
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
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.
| Jos Baeten
|Formal Methods Group
Department of Mathematics and Computer Science
Eindhoven University of Technology
P.O. Box 513
5600 MB Eindhoven