Programme

HLCL'00

4th International Workshop on High-Level Concurrent Languages
Montreal, Canada, September 20, 2000

Affiliated with PLI 2000, September 18 - 23, 2000

The theme of the workshop is that such 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, CML, Facile, and Haskell, as well as languages explicitly designed for concurrency or distribution such as HACL, JoCaml, Obliq, Oz, (Nomadic) Pict, and TyCO. 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.

Programme

Here is the original Call for Papers.

Co-Chairs

• John Reppy (Bell Labs, USA)
• Peter Sewell (University of Cambridge, UK)

Program Committee

• Cedric Fournet (Microsoft Research UK)
• Alan Jeffrey (DePaul University, USA)
• Trevor Jim (ATT Labs, USA)
• Naoki Kobayashi (University of Tokyo, Japan)
• Uwe Nestmann (Aalborg University, Denmark)
• John Reppy (Bell Labs, USA)
• Aleta Riccardi (Bell Labs, USA)
• Peter Sewell (University of Cambridge, UK)
• Gert Smolka (Universität des Saarlandes, Germany)

HLCL Organizing Committee

• Uwe Nestmann (Aalborg University, Denmark)
• Benjamin Pierce (University of Pennsylvania, USA)