[Prev][Next][Index][Thread]

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

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

                               HLCL'98

                    3rd International Workshop on
                   HIGH-LEVEL CONCURRENT LANGUAGES
                   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

===================================================================== 

CO-CHAIRS:
               Uwe Nestmann, BRICS, Aalborg, DK 
            Benjamin Pierce, Indiana University, US

PROGRAM COMMITTEE:
              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 Adelaide, AU
            Benjamin Pierce, Indiana University, US
                 John Reppy, Bell Labs, US
           Akinori Yonezawa, University of Tokyo, JP

LOCAL ORGANIZATION:
          Silvano Dal-Zilio, INRIA, FR

INVITED SPEAKER:
             James E. White, General Magic, US


=========================== 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
processes.


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

Submissions of high-quality papers should consist of a 100-200 word
ASCII abstract and summary (up to 12 pages, typeset 11 points,
excluding bibliography and figures).  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:

	hlcl98@cs.auc.dk

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 Ø
	Denmark

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
Publishers.

=====================================================================