CALL FOR PARTICIPATION
2006 International Workshop
on
Foundations and Developments of Object-Oriented Languages
FOOL/WOOD '06
http://www.research.att.com/~kfisher/FOOL/FOOLWOOD.html
Sponsored by ACM SIGPLAN
January 14, 2000
Charleston, South Carlolina, USA
Following POPL '06
The search for sound principles for object-oriented languages has
given rise to much work on the theory of programming languages during
the past 20 years, leading to a better understanding of the key
concepts of object-oriented languages and to important developments in
type theory, semantics, and program verification. The FOOL/WOOD
workshops
bring together researchers to share new ideas and results in these
areas.
The next workshop, FOOL/WOOD '06, will be held in Charleston, South
Carolina, on Saturday January 14, 2006, the day after POPL'06. Six
contributed papers will be presented; in addition, there will be
invited talks by Gilad Bracha, Dave Clarke, and perhaps one other
person.
To register for the workshop, use the standard POPL registration form,
available through:
http://www.cs.princeton.edu/~dpw/popl/06/
The early registration deadline ends ****December 10th****. Please
make your hotel arrangments as soon as possible.
To keep down the cost of registration, we will not be providing
printed proceedings. All papers will be available online before the
workshop, so you may print the papers you wish to have on hand before
the meeting.
------------------------------------------------------------------------
--
Accepted papers:
Parameterized Modules for Classes and Extensible Functions. Keunwoo
Lee and Craig Chambers.
Ego: Controlling the Power of Simplicity. Andi Bejleri, Jonathan
Aldrich, and Kevin Bierhoff.
A Foundation for Trait-Based Metaprogramming. John Reppy and Aaron
Turon.
Modularly Typesafe Interface Dispatch in JPred. Christopher Frost and
Todd Millstein.
Hybrid Object Types, Invariants, and Refinements. Cormac Flanagan and
Stephen N. Freund.
Property Types: Semantic Programming for Java Aaron Stump and Ian
Wehrman.
Invited talks:
Gilad Bracha
Dave Clarke
The full program will be available shortly from
www.research.att.com/~kfisher/FOOL/FOOLWOOD.html
------------------------------------------------------------------------
--
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)
------------------------------------------------------------------------
---
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
