Call For Papers<br> 2010 International Workshop on<br> Foundations of Object-Oriented Languages<br> (FOOL '10)<br><br> Sponsored by ACM SIGPLAN<br>
<br> Sunday, 17 October 2010<br> Reno, Nevada, USA<br> A Workshop of SPLASH (OOPSLA) '10<br><br> <a href="http://ecee.colorado.edu/~siek/FOOL2010">http://ecee.colorado.edu/~siek/FOOL2010</a><br>
<br>Deadlines<br> Title and Abstract: Monday, 2 August 2010<br> Submissions: Monday, 9 August 2010<br> Notifications: Monday, 30 August 2010<br> Final versions: Friday, 1 October 2010<br><br>Workshop Description<br>
<br>The search for sound principles for object-oriented languages has<br>given rise to much work during the past two decades, leading to a<br>better understanding of the key concepts of object-oriented languages<br>and to important developments in type theory, semantics, program<br>
verification, and program development. FOOL became FOOL/WOOD in 2006,<br>joining forces with the Workshop on Object-Oriented Developments.<br>FOOL has traditionally co-located with the POPL conference, but this<br>year we are trying something new, co-locating with SPLASH/OOPSLA.<br>
FOOL'10 will be held in Reno, Nevada, USA on Sunday, 17 October 2010,<br>during the workshop days at the beginning of SPLASH.<br><br>Submissions for this event are invited in the general area of<br>foundations of object-oriented languages and program analysis. Topics<br>
of interest include language semantics, type systems, program analysis<br>and verification, formal calculi, concurrent and distributed<br>languages, database languages, and language-based security issues.<br><br>Papers are welcome to include formal descriptions and proofs, but<br>
these are not required; the key consideration is that papers should<br>present novel and valuable ideas or experiences. The main focus in<br>selecting workshop contributions will be the intrinsic interest and<br>timeliness of the work, so authors are encouraged to submit polished<br>
descriptions of work in progress as well as papers describing<br>completed projects.<br><br>A web page will be created and made available as an informal<br>electronic proceedings. Historically, presentation at FOOL (or<br>
FOOL/WOOD) does not count as prior publication, and many of the<br>results presented at FOOL have later been published at ECOOP, OOPSLA,<br>POPL, and other conferences.<br><br>Submission Instructions<br><br>We solicit submissions on original research not previously published<br>
or currently submitted for publication elsewhere. The program chair<br>should be informed of any related submissions; see the ACM SIGPLAN<br>Republication Policy<br>(<a href="http://www.acm.org/sigs/sigplan/republicationpolicy.htm">http://www.acm.org/sigs/sigplan/republicationpolicy.htm</a>).<br>
Submissions should be PDF or PostScript in standard SIGPLAN 9pt<br>conference format for a US-letter size page. Templates are available<br>at<br><br> <a href="http://www.acm.org/sigs/sigplan/authorInformation.htm">http://www.acm.org/sigs/sigplan/authorInformation.htm</a> .<br>
<br>While submissions can be up to 12 pages, shorter papers describing<br>promising preliminary work are also encouraged. More detailed<br>submission instructions will be announced on the workshop web site at<br><a href="http://ecee.colorado.edu/~siek/FOOL2010">http://ecee.colorado.edu/~siek/FOOL2010</a>.<br>
<br>Program Chair<br><br>Jeremy Siek (University of Colorado at Boulder)<br> e-mail: <a href="mailto:jeremy.siek@colorado.edu">jeremy.siek@colorado.edu</a><br><br>Program Committee<br><br>Davide Ancona (Universita' di Genova, Italy)<br>
Juan Chen (Microsoft Research, USA)<br>Derek Dreyer (MPI-SWS, Germany)<br>Atsushi Igarashi (Kyoto University, Japan)<br>Donna Malayeri (EPFL, Switzerland)<br>Nate Nystrom (University of Texas Arlington, USA)<br>Frank Piessens (Katholieke Universiteit Leuven, Belgium)<br>
Chieri Saito (Kyoto University, Japan)<br>Sam Tobin-Hochstadt (Northeastern, USA)<br>Elena Zucca (Universita' di Genova, Italy)<br><br><br>Steering Committee<br><br>Jonathan Aldrich (Carnegie Mellon University, USA) [Chair]<br>
Viviana Bono (Universita` di Torino, Italy)<br>Michele Bugliesi (Universita` Ca' Foscari, Italy)<br>Kathleen Fisher (AT&T Labs, USA)<br>Benjamin Pierce (University of Pennsylvania, USA)<br>John Reppy (University of Chicago, USA)<br>
Christopher Stone (Harvey Mudd College, USA)<br>Philip Wadler (University of Edinburgh, Scotland)<br>