Formal Methods: Theory and Practice (PLMW @ ICFP 2022)

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Who

Thomas Gilray, Nadia Polikarpova, Niki Vazou, Mike Dodds, Kristopher Micinski, Daan Leijen

Track

PLMW @ ICFP 2022

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sun 11 Sep 2022 11:00 - 11:45 at Kosovel - Topics of Interest and Navigating a PhD

Abstract

The use of Formal Methods has been gaining ground in industry, with good reason. What are the challenges in putting Formal Methods research to work on industrial applications? What are the trends that graduate students should be aware of?

Thomas Gilray

University of Alabama at Birmingham

United States

Nadia Polikarpova

University of California at San Diego

United States

Niki Vazou

IMDEA Software Institute

Mike Dodds

Galois, Inc.

Kristopher Micinski

Syracuse University

United States

Daan Leijen

Microsoft Research

United States

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Sun 11 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

11:00 - 12:30	Topics of Interest and Navigating a PhDPLMW @ ICFP at Kosovel

11:00 45m Panel		Formal Methods: Theory and Practice PLMW @ ICFP Thomas Gilray University of Alabama at Birmingham, Nadia Polikarpova University of California at San Diego, Niki Vazou IMDEA Software Institute, Mike Dodds Galois, Inc., Kristopher Micinski Syracuse University, Daan Leijen Microsoft Research
11:45 45m Talk		Getting the Most Out of ICFP PLMW @ ICFP Paulette Koronkevich University of British Columbia