Formal Methods in the Field PI Meeting – November 12-13, 2024
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.
Goals of the PI Meeting:
- Learn about other projects
- Cross-fertilize ideas
- Identify challenges and next steps for broader adoption of formal methods
This year, it has been scheduled for Tuesday and Wednesday November 12-13, 2024 at the Iowa Memorial Union on the University of Iowa campus.
FMitf 2024 hOME REGISTRATION PROGRAM PARTICIPANTS VENUE HOTEL GETTING HERE PROJECT SLIDES [templates] POSTERS [templates] ORGANIZATION
Program
| Tuesday November 12, 2024 | 8am to 6pm – IMU International Ballroom | ||
|---|---|---|---|
| 8:00-8:10am | Meeting Logistics | ||
| 8:10-8:30am | Welcome and update from NSF | ||
| 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-2:00pm | Breakout Sessions 1 | ||
| 2:00-3:00pm | Breakout Sessions 2 | ||
| 3:00-3:30pm | Coffee Break | ||
| 3:30-5:00pm | Reports from Breakout Sessions (5' per group – in alphabetical order):
| ||
| 5:00-6:00pm | Informal networking | ||
| Dinner on your own | Several dinner options in downtown Iowa City | ||
| Wednesday November 13, 2024 | 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 | ||
Venue & Accommodations
Venue
The program will be held at the Iowa Memorial Union (IMU) on the University of Iowa campus, located at 125 N Madison St, Iowa City, IA 52245.
All meeting activities will be located on levels 2 and 3 of the IMU:
- International Ballroom will host the general sessions, 11/12 lunch buffet, and 11/13 poster sessions
- Meeting rooms on the third floor will host most break-out sessions, both days.
Accommodations
The Graduate by Hilton Iowa City, located at 210 S Dubuque StOpens new tab, is a short way to the IMU across downtown and the main UIowa campus.
For attendees of the FMitF PI Meeting, the hotel is offering a block of rooms at a special rate of $109.00 plus tax. Click here for direct booking link
- The deadline for booking rooms is Saturday, October 26, 2024. All meeting attendees are responsible for making their own lodging accommodations, so please make your reservations early to secure a room at the group rate. A mix of Queen and King rooms has been reserved.
- While Monday and Tuesday nights only were "blocked" note that shoulder days would also qualify for special rate, should one prefer to arrive Sunday, November 10 &/or depart on Thursday, November 14.
- One may also reserve a room by calling the Graduate front desk at 319-337-4058 extension 0 and asking to book under the "UI Computer Science block."
⚠ IMPORTANT NOTE: Aspiring PIs should review emails from Alli Rockwell, UIowaCS Department Administrator, re: hotel room reservations and other logistics/expenses.
While no special rate would apply, note that there are several other hotels in downtown Iowa City (See hotels.com; kayak.com).
Childcare
Meeting attendees may take advantage of the back-up childcare arrangement that UIowa has with Handicare, Inc. located in Coralville, Iowa, a few miles west of our campus and the Graduate Hotel. For more information please read all guidelines listed on this page. Family Services must receive the completed, required forms at least two business days in advance of a parent requesting care so attendees requiring childcare should get them submitted early.
Getting here
Iowa City is about 300 miles from Chicago, St. Louis, Minneapolis, Omaha, and Kansas City.
Air transit
The recommended way to travel to Iowa City is by flying into the Eastern Iowa Airport (CID) in Cedar Rapids, Iowa, which is about 25 miles from campus. We do not recommend flying into other airports such as Des Moines (DSM) or Moline (MLI) as they have little direct ground transportation to Iowa City. One will be able to find direct flights to Cedar Rapids from larger airports such as Los Angeles, Chicago, Minneapolis, Detroit, Denver, Cincinnati, etc.
Airport Shuttle Services
Anaman Concierge Services, LLC is one of our approved airport shuttle services providers. UIowa-negotiated round-trip rate is $70 per person excluding tax and gratuity. Any additional passenger(s) on the same reservation is extra $10.00 each way.
Other airport shuttle options may be found here.
Organization
From the University of the Iowa Department of Computer Science:
Co-Chairs
|
|
|
Katherine Kosaian Assistant Professor | Garrett Morris Assistant Professor Emeriti-Faculty Scholar | Cesare Tinelli F. Wendell Miller Professor |
Local Organizers
|
|
Matthieu Biger Admin Services Specialist | Alli Rockwell Departmental Administrator |
NSF Leads
