Alert: The Plaza Building will remain closed through Jan. 20, 2025.
The Plaza Building will remain closed through Jan. 20, 2025. The Health Center is operating in a modified capacity. Call 303-615-9999 for appointment information during operating hours. Reminder, the Health Center is closed for the winter break Dec. 24 - Jan. 1.
Learn More
College of Engineering, Design & Computing Events
Formal Methods in the Field (FMitF)
|
All Day
15 Feb 2023 | Formal Methods in the Field (FMitF)
The Formal Methods in the Field (FMitF) program aims to bring together researchers in formal methods with researchers in other areas of computer and information science and engineering to jointly develop rigorous and reproducible methodologies for designing and implementing correct-by-construction systems and applications with provable guarantees. There are two tracks: traditional NSF research proposals and transition to practice proposals.