[TYPES/announce] FOOL/WOOD '07 Call for papers

John Reppy jhr at cs.uchicago.edu
Thu Jun 22 16:56:40 EDT 2006


                            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)




More information about the Types-announce mailing list