PLMW @ ICFP 2022 Contributors - PLMW @ ICFP 2022

Dates to be announced Ljubljana, Slovenia

co-located with ICFP 2022

Filter

Role Type

Contributing to

Number of Roles

Country

Results (13)

C Jose CalderonCalderon, Jose Galois, Inc.United States Organizing Chair in Organizing Committee within the PLMW @ ICFP-track
David Thrane ChristiansenChristiansen, David Thrane The Haskell FoundationDenmark Introduction to Lean
D Mike DoddsDodds, Mike Galois, Inc. Formal Methods: Theory and Practice
Derek DreyerDreyer, Derek MPI-SWSGermany How to Write Papers and Give Talks That People Can Follow
F Kenneth FonerFoner, Kenneth How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond
G Thomas GilrayGilray, Thomas University of Alabama at BirminghamUnited States Formal Methods: Theory and Practice
K Paulette KoronkevichKoronkevich, Paulette University of British Columbia Getting the Most Out of ICFP
L Daan LeijenLeijen, Daan Microsoft ResearchUnited States Formal Methods: Theory and Practice
M Kristopher MicinskiMicinski, Kristopher Syracuse UniversityUnited States Opening Remarks Formal Methods: Theory and Practice Committee Member in Organizing Committee within the PLMW @ ICFP-track
P Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States Formal Methods: Theory and Practice
U Sebastian UllrichUllrich, Sebastian Karlsruhe Institute of TechnologyGermany Introduction to Lean
V Niki VazouVazou, Niki IMDEA Software Institute Formal Methods: Theory and Practice
W Sam WestrickWestrick, Sam Carnegie Mellon UniversityUnited States How to thrive as a PhD student