[plt-scheme] CFP: FOOL/WOOD 2007

                           Call For Papers



                     2007 International Workshop on

       Foundations and Developments of Object-Oriented Languages

                            (FOOL/WOOD '07)



                        Sponsored by ACM SIGPLAN



                       Saturday, 20 January 2007

                             Nice, France

                           Following POPL '07



                   http://foolwood07.cs.uchicago.edu





Deadlines



     Submissions: Friday, 6 October 2006, 12:00 noon CDT (19:00 UTC)

     Notifications: Friday, 24 November 2006

     Final versions: Friday, 22 December 2006



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. The merger of the FOOL and WOOD

workshops is intended to bring together researchers to share new ideas

and results in these areas. The second joint workshop, FOOL/WOOD '07,

will be held in Nice, France on Saturday, 20 January 2007, the day

after POPL.



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/WOOD

does not count as prior publication, and many of the results presented

at FOOL/WOOD have later been published 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. 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.



Program Chair

     John Reppy (University of Chicago)

         e-mail: foolwood07 at mailman.cs.uchicago.edu



Program Committee

     Derek Dreyer (Toyota Technological Institute at Chicago)

     Erik Ernst (University of Aarhus)

     Atsushi Igarashi (Kyoto University)

     Rustan Leino (Microsoft)

     Luigi Liquori (INRIA Sophia Antipolis)

     Todd Millstein (University of California - Los Angeles)

     David Walker (Princeton University)

     Elena Zucca (University of Genova)



Steering Committee

     Viviana Bono (Universita di Torino)

     Michele Bugliesi (Universita Ca' Foscari)

     Sophia Drossopoulou (Imperial College)

     Kathleen Fisher (AT&T Labs) [Chair]

     Martin Odersky (Ecole Polytechnique Federale de Lausanne)

     Benjamin Pierce (University of Pennsylvania)

     Philip Wadler (University of Edinburgh)