<HTML><HEAD><TITLE>ACM SIGPLAN Erlang Workshop 2008, Victoria, British Columbia.</TITLE>
</HEAD>
<BODY bgColor=#ffffff>
<HR>

<TABLE width="100%" border=0>
  <TBODY>
  <TR>
    <TD align=middle>
      <DIV align=center><FONT color=red size=+3><B>I n v i t a t i o n &nbsp;
      t o &nbsp; a t t e n d</B></FONT></DIV></TD></TR></TBODY></TABLE>
<HR>

<TABLE width="100%" border=0>
  <TBODY>
  <TR>
    <TD align=middle><a href="http://www.victoria.ca/common/index.shtml">
       <IMG src="http://www.erlang.org/workshop/2008/vic2.png" border=0></a></TD>
    <TD align=middle><FONT color=#0066cc size=+3><B>Seventh ACM SIGPLAN Erlang 
      Workshop</B></FONT> 
      <HR width="75%">
      <FONT size=+1><B>Victoria, 
        British Columbia, Canada, September&nbsp;27, 
      2008</B></FONT> 
      <HR width="75%">
      Satellite event of ACM SIGPLAN International <A 
      href="http://www.icfpconference.org/icfp2008/">Conference</A> on 
      Functional Programming, September 22-24,&nbsp;2008</TD>
    <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></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>

<TABLE>
  <TBODY>
  <TR>
    <TD colSpan=2><FONT size=+1><B>Workshop Programme</B></FONT></TD></TR>
  <TR>
    <TD>&nbsp; &nbsp; &nbsp;</TD>
    <TD><BR>
      <P><B>Session 1</B> 
      <UL>
        <LI><B>Workshop Welcome</B> 
        <LI><B>Invited talk</B>
        <LI><B>The delegates introduce themselves</B></UL>
      <P><B>Session 2 - Testing</B> 
      <UL>
        <LI><B>Testing Erlang Data Types with Quviq QuickCheck</B>
        <BR>Thomas Arts, Laura M. Castro and John Hughes
        <LI><B>Early fault detection with model-based testing</B>
        <BR>Jonas Boberg
        <LI><B>Usage and potential of testing and modelling Erlang tools</B>
        <BR>Tamás Nagy and Anikó Nagyné Víg</LI></UL> 
      <P><B>Session 3 - Applications</B> 
      <UL>
        <LI><B>A Comparative Evaluation of Imperative and Functional 
         Implementations of IMAP Protocol</B>
        <BR>Francesco Cesarini, Viviana Pappalardo and Corrado Santoro 
        <LI><B>Reliable Transactional P2P Key/Value Store</B>
        <BR>Thorsten Schütt, Florian Schintke and Alexander Reinefeld 
        <LI><B>High-performance Technical Computing with Erlang</B>
        <BR>Alceste Scalas, Giovanni Casu and Piero Pili</LI></UL>
      <P><B>Session 4 - Typing and Refactoring</B> 
      <UL>
        <LI><B>Refactoring with Wrangler, updated</B>
        <BR>Huiqing Li, Simon Thompson, György Orosz and Melinda Tóth 
        <LI><B>Gradual Typing of Erlang Programs: A Wrangler Experience</B>
        <BR>Konstantinos Sagonas and Daniel Luna 
        <LI><B>Refactoring Module Structure</B>
        <BR>László Lövei, Csaba Hoch, Hanna Kőllő, Dániel Horpácsi,
        Tamás Nagy, Anikó Nagyné Víg, Róbert Kitlei and Roland Király</LI></UL>
      <P><B>Session 5 - Informal Five Minute Presentations</B> <BR>&nbsp; 
  </P></TD></TR></TBODY></TABLE>

<TABLE>
  <TBODY>
  <TR>
    <TD><FONT size=+1><B>Workshop Chair</B></FONT></TD></TR>
  <TR>
    <TD>
      <UL>
        <LI>Tee Teoh, <a href="http://www.cbnco.com/">Canadian Bank Note</a>,
            Ottawa, Canada</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://people.inf.elte.hu/hz/">Zoltán
              Horváth</a>, 
            <a href="http://plcportal.inf.elte.hu/en/Pages/default.aspx">Department
             of Programming Languages and Programming</a>,<br>Faculty of Informatics, 
             Eötvös Loránd University, Budapest, Hungary 
    </LI></UL></TD></TR></TBODY></TABLE>

<TABLE>
  <TBODY>
  <TR>
    <TD><FONT size=+1><B>Program Committee</B></FONT></TD></TR>
  <TR>
    <TD>
      <UL>
        <LI>Thomas Arts, <a href="http://www.ituniv.se/">IT University</a>,
            G&ouml;teborg, Sweden</LI>
        <LI>Francesco Cesarini, <a href="http://www.erlang-consulting.com/index.html">Erlang
            Training and Consulting</a>, London, UK</LI>
        <LI><a href="http://www.caos.inf.uc3m.es/~cbenac/">Clara Benac Earle</a>,
            University Carlos III, Madrid, Spain</LI>
        <LI><a href="http://www.cs.chalmers.se/~rjmh/">John Hughes</a>,
            Chalmers University of Technology, G&ouml;teborg, Sweden</LI>
        <LI>Erik Stenman, <a href="http://kreditor.se/">Kreditor</a>, Stockholm, Sweden</LI>
        <LI>Zoltán Theisz, Ericsson, Ireland</LI>
        <LI><a href="http://www.cs.kent.ac.uk/people/staff/sjt/">Simon Thompson</a>,
            University of Kent, Canterbury, UK</LI>
        <LI><a href="http://www.cs.ou.edu/~rlpage/">Rex Page</a>, University of Oklahoma, USA</LI>
     </UL></TD></TR></TBODY></TABLE>

<TABLE>
  <TBODY>
  <TR>
    <TD><FONT size=+1><B>Venue</B></FONT></TD></TR>
  <TR>
    <TD>
      <UL>
        <LI>Please see the ICFP 
         <A href="http://www.icfpconference.org/icfp2008/">web site</A> 
  </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.icfpconference.org/icfp2008/">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 2008 web site
        <A href="http://www.icfpconference.org/icfp2008/">
         http://www.icfpconference.org/icfp2008/</A> 
        <LI>Past ACM SIGPLAN Erlang workshops <A 
        href="http://www.erlang.se/workshop">http://www.erlang.se/workshop</A> 
        <LI>Open Source Erlang <A 
        href="http://www.erlang.org/">http://www.erlang.org/</A> 
        <LI>Authors' instruction 
        <a href="http://www.sheridanprinting.com/typedept/icfp.htm">page</a>
 </LI></UL></TD></TR></TBODY></TABLE>

</BODY>
</HTML>