Erlang is a concurrent, distributed functional programming language aimed at systems with requirements on massive concurrency, soft real time response, fault tolerance, and high availability. It has been available as open source for several years creating a community that actively contributes to its already existing rich set of libraries and applications. Originally created for telecom applications, its usage has spread to other domains including e-commerce, banking, and computer telephony.

Erlang programs are today among the largest applications written in any functional programming language. These applications offer new opportunities to evaluate functional programming and functional programming methods on a very large scale and suggest new problems for the research community to solve.

Workshop Proceedings Commercial Applications of Multi-core at Ericsson (ppt)

H. Nilsson (Ericsson)

(ppt) H. Nilsson (Ericsson) Extended Process Registry for Erlang (pdf)

U. Wiger (Ericsson)

(pdf) U. Wiger (Ericsson) A Language for Specifying Type Contracts in Erlang and its Interaction with Success Typings (pdf)

M. Jiménez (Uppsala University), T. Lindahl (Uppsala University),

K. Sagonas (Uppsala University)

(pdf) M. Jiménez (Uppsala University), T. Lindahl (Uppsala University), K. Sagonas (Uppsala University) Introducing Records by Refactoring (pdf)

L. Lövei (Eötvös Loránd University), Z. Horváth (Eötvös Loránd University),

T. Kozsik (Eötvös Loránd University), R. Király (Eötvös Loránd University)

(pdf) L. Lövei (Eötvös Loránd University), Z. Horváth (Eötvös Loránd University), T. Kozsik (Eötvös Loránd University), R. Király (Eötvös Loránd University) Towards Hard Real-Time Erlang (pdf)

V. Nicosia (University of Catania), C. Santoro (University of Catania)

(pdf) V. Nicosia (University of Catania), C. Santoro (University of Catania) Programming Distributed Erlang Applications: Pitfalls and Recipes (ppt)

H. Svensson (Chalmers University of Technology),

L.-Å. Fredlund (Universidad Politécnica de Madrid)

(ppt) H. Svensson (Chalmers University of Technology), L.-Å. Fredlund (Universidad Politécnica de Madrid) A More Accurate Semantics for Distributed Erlang (ppt)

H. Svensson (Chalmers University of Technology),

L.-Å. Fredlund (Universidad Politécnica de Madrid)

(ppt) H. Svensson (Chalmers University of Technology), L.-Å. Fredlund (Universidad Politécnica de Madrid) Verification of Erlang/OTP Components with the Process Algebra muCRL (pdf)

Q. Guo (University of Sheffield), J. Derrick (University of Sheffield)

(pdf) Q. Guo (University of Sheffield), J. Derrick (University of Sheffield) Priority Messaging made Easy (ppt)

J. H. Nyström (Erlang Training and Consulting)

(ppt) J. H. Nyström (Erlang Training and Consulting) Optimising TCP/IP Connectivity (pdf)

O. Hellström (Erlang Training and Consulting)

(pdf) O. Hellström (Erlang Training and Consulting) An Erlang Framework for Autonomous Mobile Robots (pdf)

V. Nicosia (University of Catania), C. Santoro (University of Catania)

(pdf) V. Nicosia (University of Catania), C. Santoro (University of Catania) Learning Programming with Erlang (pdf)

F. Huch (Christian-Albrechts-University of Kiel)

(pdf) F. Huch (Christian-Albrechts-University of Kiel) Erlang and OCaml (pdf)

U. Wiger (Ericsson)

Workshop Chair Simon Thompson, University of Kent, England

Program Chair Lars-Åke Fredlund, Universidad Politécnica de Madrid, Spain

Program Committee Joe Armstrong, Ericsson, Stockholm, Sweden

Francesco Cesarini, Erlang Training & Consulting, London, UK

Zoltán Horváth, Eötvös Loránd University, Budapest, Hungary

John Hughes, Chalmers University of Technology, Gothenburg, Sweden

Rex Page, University of Oklahoma, Norman, Oklahoma, USA

Mickaël Rémond, Process-one, Paris, France

Kostis Sagonas, Uppsala University, Sweden

Erik Stenman, Kreditor AB, Stockholm, Sweden

Venue Stadthotel Freiburg, Karlstrasse 7, Freiburg, Germany. Please see the local information web site