<HTML><HEAD><TITLE>ACM SIGPLAN Erlang Workshop 2009, Edinburgh, Scotland.</TITLE></HEAD>
<BODY bgColor=#ffffff>
<HR>


<TABLE width="100%" border=0>
  <TBODY>
  <TR>

    <TD vAlign=center align=middle><A href="http://www.acm.org/sigplan/"><IMG 
      src="http://www.erlang.se/images/acm.gif" border=0></A> 
      <P></P>
      <P><A href="http://www.erlang.org/"><IMG src="http://www.erlang.se/images/erlang090.gif" 
      border=0></A></P></TD>

    <TD align=middle><FONT color=#0066cc size=+3><B>Eighth ACM SIGPLAN<br>Erlang 
      Workshop</B></FONT> 
      <HR width="75%">
      <FONT size=+1><B>Edinburgh, Scotland, September&nbsp;5, 
      2009</B></FONT> 
      <HR width="75%">
      Satellite event of the 14th ACM SIGPLAN International<br>
      <A href="http://www.cs.nott.ac.uk/~gmh/icfp09.html">Conference</A> on 
      Functional Programming, August&nbsp;31 - September&nbsp;2 ,&nbsp;2009</TD>

    <TD align=middle><A href="http://www.edinburgh.org/">
     <IMG src="http://www.scottishaccommodationindex.com/edinburgh/a2edinburghcastle.jpg"
      width=300 border=0></A></TD>

  </TR>
  </TBODY>
</TABLE>

<HR>

<TABLE>
  <TBODY>
  <TR>
    <TD><FONT size=+1><B>Workshop Program</B></FONT></TD></TR>
  <TR>
    <TD>
      <UL>

        <BR>9:00 - 10:00 Keynote Address<BR> Session Chair: 
        <A href="http://babel.ls.fi.upm.es/~cbenac/">Clara Benac Earle</A>
        <BR> Invited Talk: Jan Lehnardt, <A HREF="http://couchdb.apache.org/">CouchDB</A></LI>
        <BR> 10:00 - 10:30 Coffee break 
	<BR>10:30 - 12:00 Software Engineering for Erlang
        <BR> Session Chair: Kenneth Lundin,
        <A HREF="http://www.ericsson.com/technology/opensource/erlang/index.shtml">Ericsson</A>, 
        Stockholm, Sweden.
      <UL><LI> <I> Cleaning up Erlang code is a dirty job but somebody's gotta do it</I>.
         Thanassis Avgerinos and Konstantinos Sagonas
          <LI> <I>Automated Module Interface Upgrade</I>. László Lövei
          <LI> <I>Automatic Assessment of Failure Recovery in Erlang Applications</I>. 
           Jan Henry Nystrom</UL>
        <BR> 12:00 - 13:30 Lunch
        <BR> 13:30 - 15:00 Teaching Erlang and OO extensions</I>
        <BR> Session Chair: Zoltán Horváth
        <UL><LI> <I>Teaching Erlang using Robotics and Player/Stage</I>. 
         Sten Grüner and Thomas Lorentsen</LI>
         <LI> <I>Development of a Distributed System Applied to Teaching and Learning</I>. 
         Manuel Hernandez et al.</LI>
         <LI> <I>ETC: an Object-Oriented Extension to Erlang</I>. 
         András György Békés and Gábor Fehér</UL>
        <BR> 15:00 - 15:30 Coffee break 
	<BR> 15:30 - 17:30 Testing and Model Checking.
        <BR> Session Chair: <A href="http://www.cs.kent.ac.uk/people/staff/sjt/">Simon Thompson</A>
        <UL><LI> <I>Implementing an LTL-to-Büchi translator in Erlang</I>.
         Hans Svensson
        <LI> <I>Model Based Testing of Data Constraints: 
         Testing the Business Logic of a Mnesia Database Application with Quviq QuickCheck</I>.
         Nicolae Paladi
        <LI> <I>Automatic Testing of TCP/IP Implementations Using Quickcheck</I>.
         Javier Paris and Thomas Arts
        <LI> <I>Recent Improvements to the McErlang model checker</I>.
         Clara Benac Earle and Lars-&Aring;ke Fredlund</UL>
        <BR> 17:30 Kenneth Lundin on <I>Latest news from the Erlang/OTP team at Ericsson</LI>
        </UL></TD></TR></TBODY></TABLE>

<HR>

<P>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. </P>

<P>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. </P>

<P>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. </P>

<hr>

<TABLE>
  <TBODY>
  <TR>
    <TD><FONT size=+1><B>Workshop Chair</B></FONT></TD></TR>
  <TR>
    <TD>
      <UL>

        <LI><A href="http://babel.ls.fi.upm.es/~cbenac/">Clara Benac Earle</A>,
        <a href="http://www.upm.es/">Universidad Politécnica de Madrid</a>, Spain. </LI>
      </UL></TD></TR></TBODY></TABLE>

<TABLE>
  <TBODY>
  <TR>
    <TD><FONT size=+1><B>Program Chair</B></FONT></TD></TR>
  <TR>
    <TD>
      <UL>
        <LI><A href="http://www.cs.kent.ac.uk/people/staff/sjt/">Simon 
        Thompson</A>, University of Kent, Canterbury, UK. </LI>
      </UL></TD></TR></TBODY></TABLE>

<TABLE>
 <TBODY>
 <TR>
  <TD><FONT size=+1><B>Invited Speaker</B></FONT></TD></TR>
 <TR>
  <TD>
    <UL>
      <LI>Jan Lehnardt, <A HREF="http://couchdb.apache.org/">CouchDB</A>, Berlin, Germany.</LI>  
    </UL></TD>
 </TR>
 </TBODY>
</TABLE>

<TABLE>
  <TBODY>
  <TR>
    <TD><FONT size=+1><B>Program Committee</B></FONT></TD></TR>
  <TR>
    <TD>
      <UL>

        <LI>Laura M. Castro, 
        <A HREF="http://www.udc.es/principal/en/">University of A Coruña</A>, Spain.</LI>

        <LI>Francesco Cesarini, <A 
        href="http://www.erlang-consulting.com/index.html">Erlang Training and 
        Consulting</A>, London, UK. </LI>

        <LI>Torben Hoffman, <A HREF="http://www.motorola.com/">Motorola</A>, Denmark.</LI>

        <LI><A href="http://people.inf.elte.hu/hz/">Zoltán Horváth</A>,
        Eötvös Loránd University, Budapest, Hungary. </LI>

        <LI>Jan Lehnardt, <A HREF="http://couchdb.apache.org/">CouchDB</A>, Berlin, Germany.</LI>

        <LI>Daniel Luna, <A href="http://kreditor.se/">Kreditor</A>, Stockholm, 
        Sweden. </LI>

        <LI>Kenneth Lundin, 
        <A HREF="http://www.ericsson.com/technology/opensource/erlang/index.shtml">Ericsson</A>, 
        Stockholm, Sweden.</LI>

        <LI><A href="http://www.cs.ou.edu/~rlpage/">Rex Page</A>, University of 
        Oklahoma, USA. </LI>

        <LI>Corrado Santoro,
        <a href="http://www.unict.it">University of Catania</a>, Italy.</LI>

        <LI>Tee Teoh, <A href="http://www.cbnco.com/">Canadian Bank Note</A>, 
        Ottawa, Canada.</LI>

        <LI>Phil Trinder, 
        <A HREF="http://www.hw.ac.uk/"> Heriot-Watt University</A>, Edinburgh, UK.</LI>

      </UL></TD></TR></TBODY></TABLE>

<TABLE>
  <TBODY>
  <TR>
    <TD><FONT size=+1><B>Venue</B></FONT></TD></TR>
  <TR>
    <TD>
      <UL>
        <LI>The workshop will take place at the Royal College of Physicians, 
        a historic building in the centre of Edinburgh. </LI>
      </UL></TD></TR></TBODY></TABLE>

<TABLE>
  <TBODY>
  <TR>
    <TD><FONT size=+1><B>Registration Details</B></FONT></TD></TR>
  <TR>
    <TD>
      <UL>
        <LI>For registration, please see the ICFP <A 
        href="http://www.cs.nott.ac.uk/~gmh/icfp09.html">web site</A>. </LI>
      </UL></TD></TR></TBODY></TABLE>

<TABLE>
  <TBODY>
  <TR>
    <TD><FONT size=+1><B>Related Links</B></FONT></TD></TR>
  <TR>
    <TD>
      <UL>
        <LI>ICFP 2009 web site <A 
        href="http://www.cs.nott.ac.uk/~gmh/icfp09.html">http://www.cs.nott.ac.uk/~gmh/icfp09.html</A>.</LI>
        <LI>Past ACM SIGPLAN Erlang workshops <A 
        href="http://www.erlang.se/workshop">http://www.erlang.se/workshop</A>.</LI>
        <LI>Open Source Erlang <A 
        href="http://www.erlang.org/">http://www.erlang.org/</A>.</LI>
      </UL></TD></TR></TBODY></TABLE>

</BODY>
</HTML>