College of Engineering, Design & Computing Events

20 Feb | Formal Methods in the Field (FMitF)

NSF

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. The scope of the program has now been expanded to include any field areas within computer and information science and engineering that stand to directly benefit from a grounding in formal methods. There are three tracks:

• Research: address formal methods, including a proof of concept 
• Transition to Practice (TTP): development of research prototype/tools to bridge the gap between research and practice
• Education: develop new course material in formal methods