Atlas home || Conferences | Abstracts | about Atlas
Sponsor: ACM SIGPLAN
Homepage: http://www.cs.williams.edu/~kim/FOOL/FOOL7.html
Email: fool7@cs.williams.edu
Organizers: Martin Abadi, Kim Bruce, Luca Cardelli, Benjamin Pierce, Didier Remy
Deadline for abstracts: October 04, 1999
Description:
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,
and database 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.
Date received: September 27, 1999
© 2008 Atlas Conferences Inc.