<div id="1fzk" class="ArwC7c ckChnd"><div>
<div><font face="Arial" size="2">[You can actually check that indeed Haskell folks have contributed to this workshop in the past. -- Ralf]<br><br>Call&nbsp;for&nbsp; papers:</font></div>
<div>
<h3>FOAL: <strong>F</strong>oundations <strong>o</strong>f 
<strong>A</strong>spect-Oriented <strong>L</strong>anguages</h3>
<h4>A one day workshop affiliated with <a>AOSD 2008</a> in Brussels, 
Belgium, on 31 March or 1 April 2008. </h4>
<h3>Themes and Goals</h3>
<p><strong>FOAL</strong> is a forum for research in foundations of <a>aspect-oriented programming</a> languages. Areas of interest include but 
are not limited to: </p>
<ul><li>Semantics of aspect-oriented languages 
  </li><li>Specification and verification for such languages 
  </li><li>Type systems 
  </li><li>Static analysis 
  </li><li>Theory of testing 
  </li><li>Theory of aspect composition 
  </li><li>Theory of aspect translation (compilation) and rewriting </li></ul>
<p>The workshop aims to foster work in foundations, including formal studies, 
promote the exchange of ideas, and encourage workers in the semantics and formal 
methods communities to do research in the area of aspect-oriented programming 
languages. All theoretical and foundational studies of this topic are welcome. 
</p>
<p>The goals of FOAL are to: </p>
<ul><li>Make progress on the foundations of aspect-oriented programming languages. 

  </li><li>Exchange ideas about semantics and formal methods for aspect-oriented 
  programming languages. 
  </li><li>Foster interest within the programming language theory and types 
  communities in aspect-oriented programming languages. 
  </li><li>Foster interest within the formal methods community in aspect-oriented 
  programming and the problems of reasoning about aspect-oriented programs. 
</li></ul>
<h3>Workshop Format</h3>
<p>The planned workshop format is primarily presentation of papers and group 
discussion. Talks will come in three categories: long (30 minutes plus 15 
minutes of discussion), regular (20 minutes plus 5 minutes of discussion) and 
short (7 minutes plus 3 minutes of discussion). The short talks will allow for 
presentations of topics for which results are not yet available, perhaps for 
researchers who are seeking feedback on ideas or seek collaborations.</p>
<p>We also plan to ensure sufficient time for discussion of each presentation by 
limiting the overall number of talks. </p>
<h3>Submissions</h3>
<p>Invitation to the workshop will be based on papers selected by the program 
committee; those wishing to attend but not having a paper to submit should 
contact the organizers directly to see if there is sufficient space in the 
workshop.</p>
<p>FOAL solicits long, regular, and short papers on all areas of formal 
foundations of AOP languages. Submissions will be read by the program committee 
and designated reviewers. Papers will be selected for long, regular, and short 
presentation at the workshop based on their length, scientific merit, 
innovation, readability, and relevance. Papers previously published or already 
being reviewed by another conference are not eligible. Some papers may not be 
selected for presentation, and some may be selected for presentation in shorter 
talks than their paper length would otherwise command. We will limit the length 
of paper presentations and the number of papers presented to make sure that 
there is enough time for discussion. </p>
<p>Papers presented at the workshop will be included in the <a>ACM 
Digital Library</a>, hence authors of accepted papers will be asked to transfer 
copyright to the ACM. However, as FOAL is a workshop, publication of extended 
versions of the papers in other venues will remain possible. We will also 
investigate having a special issue of a journal for revisions of selected papers 
after the workshop. </p>
<p>Authors should note the following details:</p>
<ul><li>Submissions are due no later than 23:00 GMT, 11 January 2008 (This is a 
  firm deadline.) 
  </li><li>Authors must indicate whether they wish to be considered for a long, 
  regular, or short presentation. 
  </li><li>Papers for long presentations must not exceed 10 pages in length; those 
  for regular presentations must not exceed 7 pages in length, and those for 
  short presentations must not exceed 3 pages in length. 
  </li><li>We encourage use of the <a>ACM Conference format</a> for 
  submissions, as this will be required for accepted papers. You must add page 
  numbers (which are not part of the standard format) to your submissions, to 
  make adding comments easier. </li></ul>
<p>We will notify the corresponding author of papers that are selected for 
presentation at the workshop by 8 February 2008. Early registration for AOSD 
(you must <a>register for AOSD</a> to attend the workshop) will end on 
25 February 2008. Final versions of papers for the proceedings will be due on 1 
March 2008. </p>
<p>For more information, visit the <a>FOAL Workshop home page</a> <span>(at <a href="http://www.eecs.ucf.edu/FOAL" target="_blank">http://www.eecs.ucf.edu/FOAL</a>)</span>.</p>
<h3>Important Dates</h3>
<table>
  <tbody>
  <tr>
    <td>Submission Deadline </td>
    <td>23:00 GMT, 11 January 2008</td></tr>
  <tr>
    <td>Notification of Acceptance </td>
    <td>8 February 2008</td></tr>
  <tr>
    <td>Final Versions of Papers Due </td>
    <td>1 March 2008</td></tr>
  <tr>
    <td>Workshop </td>
    <td>31 March 2008 or 1 April 2008</td></tr></tbody></table>
<p>&nbsp;</p>
<h2>Program Committee<a name="11669b007d022373_116623db325b2564_pc">&nbsp;</a></h2>
<p>We are pleased to have assembled another exceptional program committee for 
FOAL this year: </p>
<ul><li><a>Curtis Clifton</a> (Program Committee Chair)<span>— Rose-Hulman Institute of Technology </span>
  </li><li><a>Jonathan Aldrich</a> <span>— Carnegie Mellon 
  University </span>
  </li><li><a>Paulo Borba</a> <span>— Universidade Federal de 
  Pernambuco </span>
  </li><li><a>Lodewijk Bergmans</a> <span>— University of Twente 
  </span>
  </li><li><a>William Griswold</a> <span>— University of 
  California, San Diego </span>
  </li><li><a>Günter Kniesel</a> <span>— University of Bonn 
  </span>
  </li><li><a>Shriram Krishnamurthi</a> <span>— Brown University 
  </span>
  </li><li><a>Ralf Lämmel</a> <span>— Universität Koblenz-Landau 
  </span>
  </li><li><a>Karl Lieberherr</a> <span>— Northeastern 
  University </span>
  </li><li><a>Hidehiko Masuhara</a> <span>— University of Tokyo 
  </span>
  </li><li><a>James Noble</a> <span>— Victoria University of 
  Wellington </span>
  </li><li><a>Klaus Ostermann</a> <span>— Darmstadt University 
  of Technology </span>
  </li><li><a>Hridesh Rajan</a> <span>— Iowa State University 
  </span>
  </li><li><a>Damien Sereni</a> <span>— Oxford </span></li></ul>
<h2>Organizers<a name="11669b007d022373_116623db325b2564_org">&nbsp;</a></h2>
<ul><li><a>Gary T. Leavens</a> <span>— University of Central 
  Florida</span> 
  </li><li><a>Curtis Clifton</a> <span>— Rose-Hulman Institute 
  of Technology </span>
  </li><li><a>Mira Mezini</a> <span>— Darmstadt University of 
  Technology </span>
  </li><li><a>Shmuel Katz</a> <span>— Technion–Israel Institute 
  of Technology </span></li></ul></div></div>
</div>