I n v i t a t i o n   t o   a t t e n d

Sixth ACM SIGPLAN Erlang Workshop


Freiburg, Germany, October 5, 2007

Satellite event of ACM SIGPLAN International Conference on Functional Programming, October 1-3, 2007


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.

This workshop will bring together the open source, academic, and industrial programming communities of Erlang. It will enable participants to familiarize themselves with recent developments on new techniques and tools tailored to Erlang, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang and functional programming.

Workshop Programme
     

08.30 - 10.00: Parallelism

  • Workshop Welcome
  • Commercial Applications of Multi-core at Ericsson
    H. Nilsson (Ericsson)

10.00 - 10.30: Coffee break

10.30 - 12.30: Language

  • Extended Process Registry for Erlang
    U. Wiger (Ericsson)
  • A Language for Specifying Type Contracts in Erlang and its Interaction with Success Typings
    M. Jiménez (Uppsala University), T. Lindahl (Uppsala University), K. Sagonas (Uppsala University)
  • Introducing Records by Refactoring
    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
    V. Nicosia (University of Catania), C. Santoro (University of Catania)

12.30 - 14.00: Lunch break

14.00 - 15.30: Semantics and Communication

  • Programming Distributed Erlang Applications: Pitfalls and Recipes
    H. Svensson (Chalmers University of Technology), L.-Å. Fredlund (Universidad Politécnica de Madrid)
  • Timed Verification of Erlang/OTP Components with the Process Algebra muCRL
    Q. Guo (University of Sheffield), J. Derrick (University of Sheffield)
  • Priority Messaging made Easy
    J. H. Nyström (Erlang Training and Consulting)

15.30 - 16.00: Coffee break

16.00 - 17.15: Applications

  • Optimising TCP/IP Connectivity
    O. Hellström (Erlang Training and Consulting)
  • An Erlang Framework for Autonomous Mobile Robots
    V. Nicosia (University of Catania), C. Santoro (University of Catania)
  • Learning Programming with Erlang
    F. Huch (Christian-Albrechts-University of Kiel)

17.15: Informal Five Minute Presentations
 

Workshop Chair
Program Chair
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
Registration
Related Links