CFP: FOOL/WOOD '06 - Foundations and Developments of Object-Oriented Languages

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)
 

Ask a Question

Want to reply to this thread or ask your own question?

You'll need to choose a username for the site, which only take a couple of moments. After that, you can post your question and our members will help you out.

Ask a Question

Members online

Forum statistics

Threads
473,744
Messages
2,569,482
Members
44,901
Latest member
Noble71S45

Latest Threads

Top