Crowd Sourced Formal Verification (CSFV)

The summary for the Crowd Sourced Formal Verification (CSFV) grant is detailed below. This summary states who is eligible for the grant, how much grant money will be awarded, current and past deadlines, Catalog of Federal Domestic Assistance (CFDA) numbers, and a sampling of similar government grants. Verify the accuracy of the data FederalGrants.com provides by visiting the webpage noted in the Link to Full Announcement section or by contacting the appropriate person listed as the Grant Announcement Contact. If any section is incomplete, please visit the website for the DARPA Information Innovation Office, which is the U.S. government agency offering this grant.

Crowd Sourced Formal Verification (CSFV): See attachment

Federal Grant Title:	Crowd Sourced Formal Verification (CSFV)
Federal Agency Name:	DARPA Information Innovation Office
Grant Categories:	Science and Technology
Type of Opportunity:	Discretionary
Funding Opportunity Number:	DARPA-BAA-12-17
Type of Funding:	Cooperative Agreement Other Procurement Contract
CFDA Numbers:	12.910
CFDA Descriptions:	Research and Technology Development
Current Application Deadline:	Mar 20, 2012
Original Application Deadline:	Mar 20, 2012
Posted Date:	December 21st, 2011
Creation Date:	Dec 21, 2011
Archive Date:	Apr 19, 2012
Total Program Funding:
Maximum Federal Grant Award:
Minimum Federal Grant Award:
Expected Number of Awards:
Cost Sharing or Matching:	No

Applicants Eligible for this Grant: Unrestricted (i.e., open to any type of entity above), subject to any clarification in text field entitled "Additional Information on Eligibility"
Grant Announcement Contact: Drew Dean Program Manager DARPA/I2O

BAA Coordinator [[email protected]]
Similar Government Grants: • Young Faculty Award (YFA) 2027; • Defense Sciences Office (DSO) Office-wide BAA; • Precision Inertial Navigation & Positioning On an Integrated Tesseract (PINPOINT); • Information Processing Techniques Office Office-Wide; • Multi Modal Materials Analysis (MMoMA); • Wide Band Gap Semiconductors for RF Applications (WBGS-RF); • Robust Integrated Power Electronics (RIPE); • Microantenna Arrays:Technology and Applications (MIATA)
More Grants from the DARPA Information Innovation Office: • Machine learning and Optimization-guided Compilers for Heterogeneous Architectures (MOCHA); • Artificial Intelligence Quantified (AIQ); • Scientific Feasibility (SciFy); • Information Innovation Office (I2O) Office-wide; • Intrinsic Cognitive Security (ICS)