1st CfP: Streams and Algebra - J.Log.Alg.Prog. Special Issue

[Gheorghe Stefanescu]

[Our apologies if you receive multiple copies]
-----------------------------------------------------------------------

                           CALL FOR PAPERS
	      Journal of Logic and Algebraic Programming
			   special issue on

		S T R E A M S   A N D   A L G E B R A

		   [ Deadline: 1st September 2007 ]


Special Issue Editors: Manfred Broy         [TU Muenchen,     Germany]
                       Gheorghe Stefanescu  [Univ. Bucharest, Romania]



SCOPE OF THE SPECIAL ISSUE

   A new computing paradigm is currently on spot: interactive
   computation. Most of concurrent, distributed, reactive, embedded,
   component-oriented, agent-oriented and service-oriented systems
   exploit interaction as a fundamental paradigm. At an interaction
   interface data evolve in time, hence streams occur as a royal
   candidate for modeling, specifying, programming, and verifying
   interactive systems.

   This JLAP special issue is dedicated to papers presenting
   fundamental results on streams and making use of algebraic
   techniques.  Topics of interest include [but are not limited
   to]:

   * Algebraic specifications
   * Coordination languages
   * Data-flow networks
   * Interactive systems
   * Hardware design
   * Programming languages
   * Real-time systems
   * Semantics


THE JOURNAL

   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.


IMPORTANT DATES

   Submission deadline:  1st September 2007
   Author notification:  1st January   2008
   Revised papers due:   1st March     2008


SUBMISSION OF MANUSCRIPTS

   We are expecting full (typically, 20-40 pages) high-quality
   papers describing original, previously unpublished research and
   not being simultaneously submitted for publication elsewhere.  The
   normal reviewing process for JLAP journal will be used.

   Submissions should arrive no later than 1st September 2007.  For
   submission, the Elsevier online submission system will be used.
   The authors have to select "Special Issue: Streams and Algebra"
   when they reach the "Article Type" step in the submission
   process. Link: http://ees.elsevier.com/jlap/default.asp

   Authors should use the LaTeX style of the journal which can be
   obtained at the following address:
   http://www.elsevier.com/wps/find/journaldescription.cws_home/621520/authorinstructions

   Queries concerning this special issue should be directed to any
   of the special issue editors. Up-to-date information will also be
   available from http://funinf.cs.unibuc.ro/~gheorghe/org/streamsJLAP/


SPECIAL ISSUE EDITORS

   Manfred Broy         Technische Universität München
			Institut für Informatik
			Boltzmannstr. 3
			85748 Garching
			Germany
			Email: broy at in.tum.de

   Gheorghe Stefanescu  University of Bucharest
			Faculty of Mathematics and Computer Science
			Str. Academiei 14
			010014 Bucharest
			Romania
			Email: gheorghe at funinf.cs.unibuc.ro


USEFUL LINKS

   Journal website:        http://www.elsevier.com/locate/jlap
   Up-to-date information: http://funinf.cs.unibuc.ro/~gheorghe/org/streamsJLAP