By using this site, you agree to our updated Privacy Policy and our Terms of Use. Manage your Cookies Settings.
459,266 Members | 1,290 Online
Bytes IT Community
+ Ask a Question
Need help? Post your question and get tips & solutions from a community of 459,266 IT Pros & Developers. It's quick & easy.

CFP: Workshop on Foundations of Object-Oriented Languages

P: n/a

The Twelth International Workshop on
Foundations of Object-Oriented Languges (FOOL 12)

Saturday 15 January 2005
Long Beach, California, USA
Following POPL 05

The search for sound principles for object-oriented languages has
given rise to much work on the theory of programming languages 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, and program verification. The FOOL workshops
bring together researchers to share new ideas and results in these
areas. The next workshop, FOOL 12, will be held in Long Beach
California, on Saturday 15 January 2005, the day after POPL.

Submissions for this event are invited in the general area of
foundations of object-oriented languages; 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
relating to foundations for object-oriented languages. 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 world-wide web page will be created and made available as an
informal electronic conference proceedings.

Details of submission can be found in the call for papers:
http://homepages.inf.ed.ac.uk/wadler/fool/

Invited Speaker:
Kim Bruce

Deadlines:
Submissions: Wednesday 29 September 2004
Notifications: Wednesday 17 November 2004
Final versions: Wednesday 15 December 2004

Steering committee:
Sophia Drossopoulou (Imperial, UK)
Kathleen Fisher (AT&T Labs, US)
Giorgio Ghelli (Pisa, Italy)
Martin Odersky, (Lausanne, Switzerland)
Benjamin Pierce (Pennsylvania, US) [chair]

Program chair:
Philip Wadler, Edinburgh University, mailto: fo*******@inf.ed.ac.uk

Program Committee
Andrew Black (OSHU, Portland, US)
Cedric Fournet (Microsoft, UK)
Jacques Garrigue (Kyoto, Japan)
John Mitchell (Stanford, US)
Tobias Nipkow (Munich, Germany)
Martin Odersky (Lausanne, Switzerland)
David Ungar (Sun, US)
Mirko Viroli (Cesena, Italy)
Philip Wadler (Edinburgh, UK) [chair]
Mitch Wand (Northeastern, US)
Stephanie Weirich (Pennsylvania, US)

Jul 17 '05 #1
Share this question for a faster answer!
Share on Google+

This discussion thread is closed

Replies have been disabled for this discussion.