PLMW 2019
Sun 13 - Sat 19 January 2019
Cascais, Portugal
co-located with
POPL 2019
Toggle navigation
Attending
Venue: Hotel Cascais Miragem
Program
Complete Program
Your Program
Filter by Day
Sun 13 Jan
Mon 14 Jan
Tue 15 Jan
Wed 16 Jan
Thu 17 Jan
Fri 18 Jan
Sat 19 Jan
Track/Call
Organization
PLMW 2019 Committees
Track Committees
Organizing Committee
Speakers
Panelists
Contributors
People Index
Search
Series
Series
PLMW@PLDI 2024
PLMW @ POPL 2024
PLMW @ ICFP 2023
PLMW @ POPL 2023
PLMW@PLDI 2023
PLMW @ ICFP 2022
PLMW
PLMW 2022
PLMW @ ICFP 2021
PLMW@PLDI 2021
PLMW 2021
PLMW @ ICFP 2020
PLMW@PLDI 2020
PLMW 2020
PLMW @ ICFP 2019
PLMW @ PLDI 2019
PLMW 2019
PLMW @ ICFP 2018
PLMW @ PLDI 2018
PLMW 2018
PLMW 2017
PLMW 2017
PLMW
PLMW 2016
PLMW@PLDI
PLMW
Sign in
Sign up
POPL 2019
(
series
) /
PLMW 2019 (
series
) /
Hotel Cascais Miragem
/
Room information: Sala II
Venue
Hotel Cascais Miragem
Room name
Sala II
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT) Belfast
.
Use conference time zone: (GMT) Belfast
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Tue 15 Jan
Displayed time zone:
Belfast
change
09:00 - 10:30
PLMW Session 1
PLMW@POPL
at
Sala II
09:00
15m
Day opening
PLMW Welcome
PLMW@POPL
Pre-print
09:15
45m
Talk
Technical Talk: Verification of Distributed Protocols Using Decidable Logic
PLMW@POPL
Sharon Shoham
Tel Aviv university
Pre-print
File Attached
10:00
30m
Talk
Research Skills: How to Give a Talk
PLMW@POPL
Chung-chieh Shan
Indiana University, USA
Pre-print
File Attached
11:00 - 12:30
PLMW Session 2
PLMW@POPL
at
Sala II
11:00
30m
Talk
Research Skills: How to Choose Research Areas
PLMW@POPL
Catuscia Palamidessi
INRIA and LIX
Pre-print
File Attached
11:30
60m
Talk
Panel: Grad School and Beyond
PLMW@POPL
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
PLMW Session 3
PLMW@POPL
at
Sala II
14:00
45m
Talk
Technical Talk: How to Think about Types
PLMW@POPL
Frank Pfenning
Carnegie Mellon University, USA
Pre-print
File Attached
14:45
45m
Talk
Technical Talk: What Is Programming Languages Research?
PLMW@POPL
Michael Hicks
University of Maryland, College Park
Pre-print
File Attached
16:00 - 17:30
PLMW Session 4
PLMW@POPL
at
Sala II
16:00
30m
Talk
Research Skills: How to Bootstrap a Research Project
PLMW@POPL
Ilya Sergey
Yale-NUS College and National University of Singapore
Pre-print
File Attached
16:30
60m
Talk
Panel: How to Do Good PL Research
PLMW@POPL
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
Tue 15 Jan
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Sala II
PLMW@POPL
PLMW Session 1
PLMW@POPL
PLMW Session 2
PLMW@POPL
PLMW Session 3
PLMW@POPL
PLMW Session 4
Tue 15 Jan
Displayed time zone:
Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Sala II
PLMW
PLMW Welcome
09:00 - 09:15
PLMW
Technical Talk: Verification of Distributed Protocols Using Decidable Logic
09:15 - 10:00
PLMW
Research Skills: How to Give a Talk
10:00 - 10:30
PLMW
Research Skills: How to Choose Research Areas
11:00 - 11:30
PLMW
Panel: Grad School and Beyond
11:30 - 12:30
PLMW
Technical Talk: How to Think about Types
14:00 - 14:45
PLMW
Technical Talk: What Is Programming Languages Research?
14:45 - 15:30
PLMW
Research Skills: How to Bootstrap a Research Project
16:00 - 16:30
PLMW
Panel: How to Do Good PL Research
16:30 - 17:30
x
Thu 28 Mar 19:35