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 |