Logic List Mailing Archive

NSF Funding Opportunities for Theoretical Computer Science (United States of America)

As the 2008-9 academic year begins, the National Science Foundation (NSF) 
funding outlook for Theoretical Computer Science (TCS) in the United 
States is good.  The Computer and Communication Foundations (CCF) division 
of the Computer and Information Science and Engineering (CISE) Directorate 
is now headed by Sampath Kannan, a prominent member of the TCS community. 
CCF has been restructured and now has three core programs: Algorithmic 
Foundations (AF), Communication and Information Foundations (CIF), and 
Software and Hardware Foundations (SHF).  TCS research themes are front 
and center in AF, and they play a significant role in CIF as well.  CISE 
has also initiated three "cross-cutting programs" all of which have TCS 
content: Network Science and Engineering, Trustworthy Computing, and 
Data-Intensive Computing.  Finally, TCS researchers have a role to play in 
the NSF-wide Expeditions and Cyber-enabled Discovery and Innovation (CDI) 
programs.

Theoretical oriented PIs in the United States have the opportunity to 
submit small, medium, and large proposals and to propose both purely 
theoretical research and joint research with experimentalists. 
Submission windows for CCF core programs and CISE cross-cutting programs 
open on October 1, 2008. Prepropsals for Expeditions are due on September 
10, 2008. Preproposals for CDI will be due sometime in the late fall. 
Note that Letters of Intent are *not* needed for Expeditions and CDI 
proposals, contrary to what the Solicitations say.  Please consult the 
following pages on the NSF website.

CCF Core Programs: http://nsf.gov/pubs/2008/nsf08577/nsf08577.htm

CISE Cross-Cutting Programs: 
http://nsf.gov/pubs/2008/nsf08578/nsf08578.htm

CDI: http://www.nsf.gov/pubs/2008/nsf08069/nsf08069.jsp?govDel=USNSF_25

Expeditions: http://www.nsf.gov/pubs/2007/nsf07592/nsf07592.htm


Sincerely,

Sanjeev Arora (Chair of the Committee for the Advancement of Theoretical 
Computer Science, Computer Science Department, Princeton Univerity)

Joan Feigenbaum (Member-at-Large of the SIGACT Executive Committee, 
Computer Science Department, Yale University)

Richard Ladner (Chair of SIGACT, Computer Science and Engineering 
Department, University of Washington)