Erlang workshop registration

John Hughes
Mon, 20 Aug 2001 13:51:03 +0200 (MET DST)

(apologies if you receive more than one copy of this).

Call for participation in the

Erlang Workshop

Firenze, September 2, 2001, in connection with PLI2001=20
(Principles, Logics, and Implementations of high-level=20
programming languages).

Erlang must be the most widely used functional programming language in
industry today. It is used in many projects at Ericsson, as well as by mobile
phone operators, email companies, and internet service providers among others.
Large scale use offers a golden opportunity to evaluate the functional
paradigm "for real". This workshop aims to bring the academic and industrial
functional programming communities together, draw lessons from the experience
so far, and identify research problems relevant to industrial functional
programming practice.


09:00 Invited Tutorial Lecture
      Joe Armstrong, Principal designer of Erlang
09.45 An Introduction to Core Erlang
      Richard Carlsson, Uppsala University

10.30 Coffee

11.00 Building the Next Generation Web Services with Erlang:=20
      Scalability and High Availability at Stake
      Micka=EBl R=E9mond,

11.45 A Model for Analyzing Erlang Software from a
      Code Change Perspective
      Lennart =D6hman, Sj=F6land & Thyselius Telecom AB
12:30 Lunch

14.00 A Case for the Unified Heap Approach to Erlang Memory Management
      Marc Feeley, Universit=E9 de Montr=E9al

14.45 Extracting the Process Structure of Erlang Applications
      Jan Nystr=F6m and Bengt Jonsson, Uppsala University

15.30 Parallel Model Checking Tool tailored to Erlang
      Martin Leucker and Thomas Noll,=20
      Aachen University of Technology (RWTH)

16.15 Discussion

Home page of the Erlang workshop

Registration is via the home page of PLI2001

We are looking forward to an exciting workshop in
the environment of PLI2001. Welcome!

Joe Armstrong, Alteon Websystems
Bjarne D=E4cker, Ericsson Utvecklings AB
John Hughes, Chalmers University of Technology
Gunilla Hugosson, Ericsson Utvecklings AB

(Programme committee)