The search for sound principles for object-oriented languages has given rise
to much work on the theory of programming languages during the past 15 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 workshops bring
together researchers to share new ideas and results in these areas. The next
workshop, FOOL 11, will be held in Venice, Italy, on Saturday, January 17, 2004,
the day after POPL '04.
Correspondence and questions should be sent to fool11@doc.ic.ac.uk.
Call for papers (now closed)
- Program
Registration procedure: To register, please use the POPL 2004 registration
system.
-
Return to the FOOL
home page.
