POPL 2020 (series) / PLMW 2020 (series) /
PLMW 2020 Program
This is the PLMW 2020 program - see the full program for POPL 2020 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 21 JanDisplayed time zone: Saskatchewan, Central America change
Tue 21 Jan
Displayed time zone: Saskatchewan, Central America change
09:00 - 10:00 | Morning 1PLMW at Ile de France III (IDF III) Chair(s): Stephanie Balzer Carnegie Mellon University, USA | ||
09:00 10mDay opening | Opening PLMW Brigitte Pientka McGill University | ||
09:10 50mTalk | How to Write Papers So People Can Read ThemMentoring Event PLMW Derek Dreyer MPI-SWS File Attached |
10:30 - 12:30 | Morning 2PLMW at Ile de France III (IDF III) Chair(s): Robbert Krebbers Delft University of Technology | ||
10:30 40mTalk | Making Progress Under Uncertainty in SMT Solving, Research, and LifeMentoring Event PLMW Lindsey Kuper University of California, Santa Cruz Media Attached | ||
11:10 40mTalk | Research as a collaborative effortMentoring Event PLMW Marco Gaboardi Boston University Media Attached File Attached | ||
11:50 40mTalk | Theorem provers are a P.L. researcher's best friendMentoring Event PLMW Xavier Leroy Collège de France Media Attached File Attached |
14:00 - 15:05 | Afternoon 1PLMW at Ile de France III (IDF III) Chair(s): Justin Hsu University of Wisconsin-Madison, USA | ||
14:00 65mTalk | PanelMentoring Event PLMW William J. Bowman University of British Columbia, Kenny Foner Galois, Andrew K. Hirsch Max Planck Institute for Software Systems, Taro Sekiyama National Institute of Informatics, Juliana Franco Microsoft Research, Cambridge, Hannah Gommerstadt Vassar College Media Attached |
15:35 - 17:45 | |||
15:40 60mTalk | How Can I Academia When My Brain Can't Even? Mental Health in Grad School and BeyondMentoring Event PLMW Kenny Foner Galois Media Attached | ||
16:40 10mCoffee break | Mini break PLMW | ||
16:50 45mTalk | Automated Program Verification using Abductive ReasoningMentoring Event PLMW Işıl Dillig University of Texas Austin Media Attached |