Formal Methods in the Field (FMitF) Program Webinar

Formal Methods in the Field (FMitF) Program Webinar Mar 2, 2018 3:00PM to Mar 2, 2018 4:00PM 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. 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. Follow NSF:    Save This email was sent using GovDelivery Communications Cloud on behalf of: National Science Foundation Update · 2415 Eisenhower Avenue, Alexandria, VA 22314 · 703-292-5111