Formal Methods in the Field (FMitF) Program Webinar

Mar 2 2018 3:00PM toMar 2 2018 4:00PMNSFThe 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. FMitF encourages close collaboration between two groups of ... More at
https://www.nsf.gov/events/event_summ.jsp?cntn_id=244560&WT.mc_id=USNSF_13&WT.mc_ev=click
This is an NSF Events item.

Source: NSF Events - February 22, 2018 Category: Science Source Type: events