This document has been archived and replaced by: nsf05500.
Formal and Mathematical Foundations Archived
Document Type: Program Announcements & Information. View Program Page
Document Number: nsf04520
Document History: Posted: November 24, 2003. Replaced By: nsf05500.
For more information about file formats used on the NSF site, please see the Plug-ins and Viewers page.