Skip to content
Gov Contract Finder
Schedule a demo
Menu
← Back to search
Special NoticeActive

Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH)

Description

The Defense Advanced Research Projects Agency (DARPA) Information Processing Techniques Office (IPTO) seeks information on research related to Formal Learning and Abstractions for System Heterogeneity (FLASH). Specifically, this RFI seeks information on (i) national-security applications that could benefit in terms of robustness and other operational properties resulting from heterogeneous engineering solutions; and (ii) potential techniques, informed by current research and practice, for the automated synthesis and understanding of high-assurance cyber-physical engineering systems from formal specifications.

Attachments

1 file

Contacts

Observed opportunity history

This is the history collected by Gov Contract Finder. Times show when information was captured or a version was assembled, not when SAM.gov originally changed it. Earlier revisions may be missing.

Publications are grouped by matching evidence; revision relationships are inferred.

The original SAM.gov root publication has not been verified.

History

  1. Opportunity version

    Initial information

    Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH)

    Solicitation: DARPA-SN-27-17

    Publication: e4ea14eef4df480ea295f13b6b2159ea

    Current publication

    Changed fields: Description

    First established information: Description

  2. Opportunity version

    New opportunity observed

    Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH)

    Solicitation: DARPA-SN-27-17

    Publication: e4ea14eef4df480ea295f13b6b2159ea

    Current publication

    Changed fields: AAC Code, Active, AdditionalInfoLink, ArchiveDate, ArchiveType, Award$, AwardAmount, AwardDate, AwardNumber, Awardee, BaseType, CGAC, City, ClassificationCode, CountryCode, Department/Ind.Agency, FPDS Code, Industry, Link, NaicsCode, NoticeId, Office, OrganizationType, PopCity, PopCountry, PopState, PopStreetAddress, PopStreetAddress2, PopZip, PostedDate, PrimaryContact, ResponseDeadLine, SecondaryContact, SetASide, SetASideCode, Sol#, State, Sub-Tier, Title, Type, ZipCode, awardeeCageCode, awardeeUei, descriptionUrl, fullParentPathCode, fullParentPathName, groupingConfidence, logicalOpportunityId, naicsCodes, pointOfContact, resourceLinks, samNoticeId, samRootId, solicitationNumber, source, sourceResourceCount, sourceResourceIds

  3. Opportunity capture

    Initial information

    Request for Information (RFI): Formal Learning and Abstractions for System Heterogeneity (FLASH)

    Solicitation: DARPA-SN-27-17

    Publication: e4ea14eef4df480ea295f13b6b2159ea

    Current publication

Official sources

Notice on SAM.govsam.gov · Official U.S. government record (opens in a new tab)Plain text

Related active notices