The NSF Formal Methods in the Field (FMitF) program unites researchers specializing in formal methods with experts from various domains of computer science, information science, and engineering to collaboratively develop reliable and reproducible methods for designing and building systems and applications that are inherently correct-by-construction.
The event brought together 70 Current PIs, 41 Aspiring PIs, NSF representatives inc. two project leads/Program Directors, and a dozen local organizers and support staff/PhD students from UIowaCS and its CLC research group.
We were proud to have assembled, in Iowa City, researchers from UC-Berkeley to MIT, and from the University of Minnesota to the University of Texas-Austin.
Thank you to our attendees and speakers for making the University of Iowa's 2024 NSF FMitF PI Meeting a resounding success! Your participation, insights, and collaboration were instrumental in fostering an engaging and enriching experience for everyone involved. We appreciate your commitment to advancing the field and contributing to the growth of our shared research community.
The meeting schedule included lightning presentation talks from current FMitF PIs, Aspiring PI intros, informal networking, poster sessions, and invited short talks.
Further, during two sets of breakout sessions all participants discussed Artificial Intelligence/Machine Learning, Cyber-Physical Systems, Education, Hardware, Networking, and Systems/Security. Reports from those sessions will help the NSF Program Managers with future directions for this CISE endeavor.
The highlight of the event were the guest speakers from AWS, NASA, Imandra, and Galois. Check out their talk details and presentations here.
Evident from the breadth of topics covered throughout the meeting was the far-reaching impact Formal Methods has had both in academia, research labs, and industry.
Thank you again to everyone who played a part in bringing this event to life — your contributions are truly appreciated, and we look forward to further theoretical and applied collaboration in the future.
Schedule
Tuesday, November 12
| 8am to 6pm | IMU International Ballroom | ||
|---|---|---|---|
| 8:00-8:10am | Meeting Logistics | ||
| 8:10-8:30am | Welcome and update from NSF (Feat. CISE Assistant Director Greg Hager) | ||
| 8:30-10:15am | Lightning Talks | ||
| 10:15-10:45am | Break | ||
| 10:45-12noon | Aspiring PI short talks | ||
| 12noon-1:00pm | Lunch - IMU International Ballroom | ||
| 1:00-3:00pm | Breakout Sessions | ||
| 3:00-3:30pm | Coffee Break | ||
| 3:30-5:00pm | Reports from Breakout Sessions | ||
| 5:00-6:00pm | Informal networking | ||
| Dinner on your own | Several dinner options in downtown Iowa City | ||
Wednesday, November 13
| 8:25am to 12:30pm | IMU International Ballroom | ||
|---|---|---|---|
| 8:25-8:30am | Day-two Morning Greeting | ||
| 8:30-10:00am | Poster Sessions | ||
| 10:00-10:30am | Coffee Break | ||
| 10:30-11:50am | Invited (short) Talks – Abstracts & Bios | ||
| 10:30-10:50am | Emina Torlak | AWS | Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization |
| 10:50-11:10am | Aaron Dutle | NASA | Formal Methods in the Air |
| 11:10-11:30am | Grant Passmore | Imandra | Formal Verification of Financial Infrastructure with Imandra |
| 11:30-11:50am | Joe Kiniry | Galois | Scaling Formal Methods in the Field at Galois |
| 11:50am-12:30pm | Post-talks Q&A Session with invited speakers | ||
| 12:30-12:35pm | Closing remarks | ||
| Lunch on your own | Several lunch options at the IMU or downtown | ||
We would also like to extend our sincere gratitude to the IMU Event Services & Catering, The Graduate Hotel, and Anaman Shuttle for their invaluable support in ensuring that our attendees and speakers had a smooth and seamless journey. We couldn't have done it without their partnership, and we are grateful for their dedication to making this event a success.
A broader set of pictures from the event will be available soon — a selection may be found below for the time being.
