S
stone
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.
A web-based submission system will be available at
http://www.cs.hmc.edu/foolwood06/ .
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: (e-mail address removed)
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)
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.
A web-based submission system will be available at
http://www.cs.hmc.edu/foolwood06/ .
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: (e-mail address removed)
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)