(apologies if you receive more than one copy of this). Call for participation in the Erlang Workshop http://www.erlang.se/workshop/ Firenze, September 2, 2001, in connection with PLI2001 (Principles, Logics, and Implementations of high-level 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. Schedule 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: Scalability and High Availability at Stake Mickaël Rémond, erlang-fr.org 11.45 A Model for Analyzing Erlang Software from a Code Change Perspective Lennart Öhman, Sjöland & Thyselius Telecom AB 12:30 Lunch 14.00 A Case for the Unified Heap Approach to Erlang Memory Management Marc Feeley, Université de Montréal 14.45 Extracting the Process Structure of Erlang Applications Jan Nyström and Bengt Jonsson, Uppsala University 15.30 Parallel Model Checking Tool tailored to Erlang Martin Leucker and Thomas Noll, Aachen University of Technology (RWTH) 16.15 Discussion Home page of the Erlang workshop http://www.erlang.se/workshop/ Registration is via the home page of PLI2001 http://music.dsi.unifi.it/pli01/ We are looking forward to an exciting workshop in the environment of PLI2001. Welcome! Joe Armstrong, Alteon Websystems Bjarne Däcker, Ericsson Utvecklings AB John Hughes, Chalmers University of Technology Gunilla Hugosson, Ericsson Utvecklings AB (Programme committee)