The Department of Computer Science is offering a grant for Crowd Sourced Formal Verification (CSFV) projects. This grant aims to support research and development in leveraging crowd sourcing for formal verification processes. Applicants should refer to the attached document for more information. The closing date for submissions is March 20, 2012.
Opportunity ID: 135453
General Information
| Document Type:: | Grants Notice |
| Funding Opportunity Number:: | DARPA-BAA-12-17 |
| Funding Opportunity Title:: | Crowd Sourced Formal Verification (CSFV) |
| Opportunity Category:: | Discretionary |
| Opportunity Category Explanation:: | |
| Funding Instrument Type:: | |
| Category of Funding Activity:: | Science and Technology and other Research and Development |
| Category Explanation:: | |
| Expected Number of Awards:: | |
| Assistance Listings Number(s):: | 12.910 — Research and Technology Development |
| Cost Sharing or Matching Requirement:: | No |
| Version:: | Synopsis 1 |
| Posted Date:: | Dec 21, 2011 |
| Last Updated Date:: | |
| Original Closing Date for Applications:: | Mar 20, 2012 |
| Current Closing Date for Applications:: | Mar 20, 2012 |
| Archive Date:: | Apr 19, 2012 |
| Estimated Total Program Funding:: | |
| Award Ceiling:: | $ |
| Award Floor:: | $ |
Eligibility
| Eligible Applicants:: | Unrestricted (i.e., open to any type of entity above), subject to any clarification in text field entitled “Additional Information on Eligibility” |
| Additional Information on Eligibility:: |
Additional Information
| Agency Name:: | DARPA – Information Innovation Office |
| Description:: | See attachment |
| Link to Additional Information:: | |
| Grantor Contact Information:: | If you have difficulty accessing the full announcement electronically, please contact: |
Version History
| Version | Modification Description | Updated Date |
|---|---|---|
| Synopsis 1 |
Package Status
Below are CLOSED Opportunity Package(s) no longer available for this Funding Opportunity:
Package No: 1
| Assistance Listings: | 12.910 |
| Competition ID: | |
| Competition Title: | |
| Opportunity Package ID: | PKG00089510 |
| Opening Date: | Dec 21, 2011 |
| Closing Date: | Mar 20, 2012 |
| Agency Contact Information:: | Drew Dean |
| Who Can Apply:: | Organization and Individual Applicants |
| mendatory_forms | SF424 (R & R) [V1.1] |
| optional_forms |
Disclosure of Lobbying Activities (SF-LLL) [V1.1] Research & Related Budget (Total Fed + Non-Fed) [V1.1] Research & Related Subaward Budget (Total Fed + Non-Fed) Attachment(s) Form [V1.2] Research & Related Other Project Information [V1.1] Research & Related Budget [V1.1] Research & Related Senior/Key Person Profile (Expanded) [V1.1] Research & Related Project/Performance Site Location(s) [V1.1] R & R Subaward Budget Attachment(s) Form [V1.2] Research & Related Senior/Key Person Profile [V1.1] Attachments [V1.1] |
Packages
| Assistance Listings | Competition ID | Competition Title | Opportunity Package ID | Opening Date | Closing Date | Actions | Who Can Apply: | |
|---|---|---|---|---|---|---|---|---|
| 12.910 | PKG00089510 | Dec 21, 2011 | Mar 20, 2012 | View | Drew Dean | Organization and Individual Applicants |