ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Sun 11 Sep 2022 11:45 - 12:30 at Kosovel - Topics of Interest and Navigating a PhD

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