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