[final CFP] High-Level Concurrent Languages - HLCL'98

[Please note the extended submission options.]

                          F   I   N   A   L

                  C A L L     F O R     P A P E R S


                    3rd International Workshop on
                   Nice, France, September 12, 1998

              -----> http://www.cs.auc.dk/hlcl98/ <-----

          Held in conjunction with CONCUR'98 and EXPRESS'98
                     Sponsored by ERCIM and BRICS


              Deadline for submission:    May  15, 1998
              Notification of acceptance: June 26, 1998
              Final version due:          July 24, 1998


               Uwe Nestmann, BRICS, Aalborg, DK 
            Benjamin Pierce, Indiana University, US

              Gerard Boudol, INRIA, FR
              Luca Cardelli, Microsoft Research, UK
              Andrew Gordon, Microsoft Research, UK
          Jean-Jacques Levy, INRIA, FR
               Uwe Nestmann, BRICS, Aalborg, DK 
             Martin Odersky, University of South Australia, AU
            Benjamin Pierce, Indiana University, US
                 John Reppy, Bell Labs, US
           Akinori Yonezawa, University of Tokyo, JP

          Silvano Dal-Zilio, INRIA, FR

             James E. White, General Magic, US
             [principal architect of TeleScript]

=========================== SCOPE ===================================

This workshop, a continuation of two successful previous meetings, is
intended to bring together active researchers involved in the design,
development, foundations, and applications of high-level concurrent
programming languages and models.

Programming models should be simple, practical, high-level, and well
founded.  These qualities allow rigorous language specifications and
support both formal and informal reasoning about programs.  For
concurrent and distributed systems, research on programming models has
driven the design of several recent programming languages including
Erlang, versions of ML, like CML, Facile, and Haskell, as well as
languages explicitly designed for concurrency or distribution such as
Obliq, Oz, Pict, and the join-calculus language.  Although the
motivations behind the design of these languages are diverse (ranging
from the development of graphical user interfaces and multi-agent
systems to constraint, real-time, and distributed programming),
suitable foundations have turned out to be quite similar in style and
technique, often based on variants of well-known calculi for mobile

==================== SUBMISSION & PUBLICATION ======================= 

Two forms of submission will be considered:

 *  Short summaries: up to  3 pages, typeset 11 points
 *  Full papers:     up to 12 pages, typeset 11 points, 
                     excluding bibliography and figures

Both forms of submission should include a 100-200 word ASCII abstract
in the covering letter. Simultaneous submissions to other conferences
or journals are not allowed.  Electronic submissions in PostScript(tm) 
are strongly encouraged; these should be formatted for usletter-size 
paper and must be viewable using Ghostview.  Please email to the address:


If surface mail is used, 
then three (3) copies of the paper should be sent to:

	Uwe Nestmann
	Department of Computer Science
	University of Aalborg
	Fredrik Bajers Vej 7E
	DK-9220 Aalborg 

Proceedings will be published (depending on the number of high-quality
papers jointly with EXPRESS'98) as a volume in "Electronic Notes in
Theoretical Computer Science" under the auspices of Elsevier Science