<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> 
        <BR>Tee Teoh (<I>Canadian Bank Note</I>), workshop chair, and
        <BR>Zoltán Horváth (<I>Eötvös Loránd University</I>),  program chair

        <LI><B>Invited talk: The Future of Erlang</B>
        <BR>Kenneth Lundin (<I>Ericsson AB</I>)

        <LI><B>The delegates introduce themselves</B>

      </UL>



      <P><B>Session 2 - Applications</B> 

      <UL>

        <LI><B>A Comparative Evaluation of Imperative and Functional 
         Implementations of IMAP Protocol</B>
        <BR>Francesco Cesarini (<I>Erlang Training and Consulting Ltd.</I>), 
        <BR>Viviana Pappalardo (<I>Univeristy of Catania</I>) and
        <BR>Corrado Santoro (<I>Univeristy of Catania</I>)

        <LI><B>Scalaris: Reliable Transactional P2P Key/Value Store<BR>Web 2.0 
            Hosting with Erlang and Java</B>
        <BR>Thorsten Schütt (<I>Zuse Institute Berlin</I>), 
        <BR>Florian Schintke (<I>Zuse Institute Berlin</I>) and 
        <BR>Alexander Reinefeld (<I>Zuse Institute Berlin</I>) 

        <LI><B>High-performance Technical Computing with Erlang</B>
        <BR>Alceste Scalas (<I>Center for Advanced Studies, Research
             and Development in Sardinia</I>), 
        <BR>Giovanni Casu (<I>Center for Advanced Studies, Research
             and Development in Sardinia</I>) and 
        <BR>Piero Pili (<I>Center for Advanced Studies, Research
             and Development in Sardinia</I>)</LI>

      </UL>

      <P><B>Session 3 - Testing</B> 

      <UL>

        <LI><B>Testing Erlang Data Types with Quviq QuickCheck</B>
        <BR>Thomas Arts (<I>IT University of Gothenburg/Quviq AB</I>), 
        <BR>Laura M. Castro (<I>University of A Coruña</I>) and 
        <BR>John Hughes (<I>Chalmers University of Technology/Quviq AB</I>)

        <LI><B>Early fault detection with model-based testing</B>
        <BR>Jonas Boberg (<I>Erlang Training and Consulting Ltd.</I>)

        <LI><B>Usage and potential of testing and modelling Erlang tools</B>
        <BR>Tamás Nagy (<I>Erlang Training and Consulting Ltd.</I>) and 
        <BR>Anikó Nagyné Víg (<I>Erlang Training and Consulting Ltd.</I>)</LI>
      </UL> 

      <P><B>Session 4 - Typing and Refactoring</B> 

      <UL>
        <LI><B>Refactoring with Wrangler, updated</B>
        <BR>Huiqing Li (<I>University of Kent</I>), 
        <BR>Simon Thompson (<I>University of Kent</I>), 
        <BR>György Orosz (<I>Eötvös Loránd University</I>) and 
        <BR>Melinda Tóth (<I>Eötvös Loránd University</I>)

        <LI><B>Gradual Typing of Erlang Programs: A Wrangler Experience</B>
        <BR>Konstantinos Sagonas (<I>National Technical
            University of Athens</I>) and 
        <BR>Daniel Luna (<I>University of Uppsala</I>)

        <LI><B>Refactoring Module Structure</B>
        <BR>László Lövei (<I>Eötvös Loránd University</I>), 
        <BR>Csaba Hoch (<I>Eötvös Loránd University</I>), 
        <BR>Hanna Kőllő (<I>Eötvös Loránd University</I>), 
        <BR>Dániel Horpácsi (<I>Eötvös Loránd University</I>),
        <BR>Tamás Nagy (<I>Erlang Training and Consulting
                         Ltd./Eötvös Loránd University</I>), 
        <BR>Anikó Nagyné Víg (<I>Erlang Training and Consulting
                         Ltd./Eötvös Loránd University</I>), 
        <BR>Róbert Kitlei (<I>Eötvös Loránd University</I>) and 
        <BR>Roland Király (<I>Eötvös Loránd University</I>)</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>