POPL 2019 (series) / PLMW 2019 (series) /
PLMW 2019 Program
This is the PLMW 2019 program - see the full program for POPL 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 15 JanDisplayed time zone: Belfast change
Tue 15 Jan
Displayed time zone: Belfast change
09:00 - 10:30 | |||
09:00 15mDay opening | PLMW Welcome PLMW Pre-print | ||
09:15 45mTalk | Technical Talk: Verification of Distributed Protocols Using Decidable Logic PLMW Sharon Shoham Tel Aviv university Pre-print File Attached | ||
10:00 30mTalk | Research Skills: How to Give a Talk PLMW Chung-chieh Shan Indiana University, USA Pre-print File Attached |
11:00 - 12:30 | |||
11:00 30mTalk | Research Skills: How to Choose Research Areas PLMW Catuscia Palamidessi INRIA and LIX Pre-print File Attached | ||
11:30 60mTalk | Panel: Grad School and Beyond PLMW Dominic Orchard University of Kent, UK, Jorge A. Pérez University of Groningen, The Netherlands, Azalea Raad MPI-SWS, Germany, Max S. New Northeastern University, Stephanie Balzer Carnegie Mellon University, USA Pre-print |
14:00 - 15:30 | |||
14:00 45mTalk | Technical Talk: How to Think about Types PLMW Frank Pfenning Carnegie Mellon University, USA Pre-print File Attached | ||
14:45 45mTalk | Technical Talk: What Is Programming Languages Research? PLMW Michael Hicks University of Maryland, College Park Pre-print File Attached |
16:00 - 17:30 | |||
16:00 30mTalk | Research Skills: How to Bootstrap a Research Project PLMW Ilya Sergey Yale-NUS College and National University of Singapore Pre-print File Attached | ||
16:30 60mTalk | Panel: How to Do Good PL Research PLMW Vasco T. Vasconcelos LASIGE, Faculty of Sciences, University of Lisbon, Deepak Garg Max Planck Institute for Software Systems, Philippa Gardner Imperial College London, Atsushi Igarashi Kyoto University, Japan, Neel Krishnaswami Computer Laboratory, University of Cambridge Pre-print |