[TYPES] 2nd CFP: FOOL/WOOD '06 - Foundations and Developments of Object-Oriented Languages

[Christopher A. Stone]

[The submission system is now on-line.]

                         Second Call For Papers

                     2006 International Workshop on
       Foundations and Developments of Object-Oriented Languages
                            (FOOL/WOOD '06)

                        Sponsored by ACM SIGPLAN

                       Saturday, 14 January 2006
                    Charleston, South Carolina, USA
                           Following POPL '06

                   http://www.cs.hmc.edu/foolwood06/


Deadlines

     Submissions: Monday, 3 October 2005, 12:00 noon PDT (19:00 UTC)
     Notifications: Monday, 21 November 2005
     Final versions: Monday, 19 December 2005

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 first joint workshop, FOOL/WOOD '06,
will be held in Charleston, South Carolina on Saturday, 14 January
2006, 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, programming calculi, concurrent and distributed
languages, database languages, and language-based security. 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.


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.

Submission URL:  http://www.softconf.com/start/FOOLWOOD06/submit.html


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)

Program Chair
     Christopher Stone (Harvey Mudd College)
         e-mail: foolwood06 at cs.hmc.edu

Program Committee
     Eric Allen (Sun Microsystems Laboratories)
     Gavin Bierman (Microsoft Research)
     Stephen Freund (Williams College)
     Paola Giannini (Universita del Piemonte Orientale)
     Gary T. Leavens (Iowa State University)
     James Noble (Victoria University of Wellington)
     Didier Remy (INRIA Rocquencourt)
     Christopher Stone (Harvey Mudd College) [Chair]
     Mads Torgersen (University of Aarhus)