Thursday, March 8, 2018

Formal Methods in the Field (FMitF) Program Webinar


Mar 14, 2018 4:00PM to
Mar 14, 2018 5: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=244743&WT.mc_id=USNSF_13&WT.mc_ev=click


This is an NSF Events item.


This email was sent using GovDelivery Communications Cloud on behalf of: National Science Foundation Update · 2415 Eisenhower Avenue, Alexandria, VA 22314 · 703-292-5111 GovDelivery logo

No comments:

Post a Comment