ÿþ<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>