NSF
Travel: NSF Student Travel Grant for 2026 Formal Methods in Computer-Aided Design (FMCAD)
Travel: NSF Student Travel Grant for 2026 Formal Methods in Computer-Aided Design (FMCAD) is a funding opportunity from NSF, closing July 31, 2027.
Jul 31, 2027
(366d left)Overview
Formal Methods in Computer-Aided Design (FMCAD) 2026 is the twenty-sixth in a series of conferences on the theory and applications of formal methods in hardware and system verification. It provides a leading forum for researchers in academia and industry to present and discuss ground-breaking methods, technologies,…