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.

HOME REGISTRATION PROGRAM PARTICIPANTS  VENUE HOTEL GETTING HERE PROJECT SLIDES POSTERS ORGANIZATION 

Program

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."

While no special rate would apply, note that there are several other hotels in downtown Iowa City (See hotels.com; kayak.com).

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

Anindya Banerjee Program Director CISE | CCF | SHF	Pavithra Prabhakar Program Director CISE | CCF | SHF

Past Meetings

November 14-15, 2022