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 2012 will be held in Tucson, Arizona, USA on Monday, 22 October 2012 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. Topics of interest include language semantics, type systems, memory models, program 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.
Call for Submissions
We solicit submissions on original research not previously published or currently submitted for consideration elsewhere. The program chair should be informed of any related submissions; see the ACM SIGPLAN Republication Policy. Submissions should be PDF in standard SIGPLAN 9pt conference format for a US-letter size page. While submissions can be up to 12 pages, shorter papers describing promising preliminary work are also encouraged. Papers must be submitted electronically via EasyChair.
A PC member, other than the chair, may be an author or co-author on any paper under consideration but will be excluded from any evaluation or discussion of the paper, and will get access to reviews of the paper(s) only in the same manner and time as other authors.
An informal proceedings will be made publicly available on this web page. However, presentation at FOOL does not count as prior publication, and many of the results presented at FOOL have later been published at ECOOP, OOPSLA, POPL, and other main conferences.
David Herman, Mozilla Research, United States
Rust: Engineering a Safe, Practical Systems Language