RFI on Formal Learning and Abstractions for System Heterogeneity

The Defense Advanced Research Projects Agency Information Processing Techniques Office seeks information regarding Formal Learning and Abstractions for System Heterogeneity. The office requests research details on national security applications benefiting from heterogeneous engineering solutions and potential techniques for the automated synthesis and understanding of high-assurance cyber-physical engineering systems from formal specifications. Only onshore organizations based in the United States are eligible to participate. Respondents must deliver unclassified submissions via email to [email protected] by November 30, 2026, at 5:00 PM Eastern Time. Any intentions to provide classified responses require an unclassified email notification no later than November 13, 2026. Submissions should feature an encouraged five-page narrative in English formatted as an unprotected Microsoft Word or PDF file.