INTERNATIONAL WORKSHOP ON FOUNDATIONS OF OBJECT-ORIENTED LANGUAGES
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. The FOOL workshops (http://www.cs.cmu.edu/~aldrich/FOOL) bring together researchers to share new ideas and results in these areas.
Submissions for this event are invited in the general area of foundations of object-oriented languages, including integration with other paradigms and extensions, such as aspects, components, meta-programming. Topics of interest include language semantics, type systems, program analysis and verification, formal calculi, concurrent and distributed languages, databases, software adaptation, 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 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.