PLMW 2021
Mon 18 - Tue 19 January 2021
Online
co-located with
POPL 2021
Toggle navigation
Attending
Venue: Online (How to POPL in 2021)
Program
Complete Program
Your Program
Mon 18 Jan
Tue 19 Jan
Track/Call
Organization
PLMW 2021 Committees
Track Committees
Invited Speakers
Panelists
Organizing Committee
Contributors
People Index
Search
Series
Series
PLMW @ ICFP 2024
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 2021
(
series
) /
PLMW 2021 (
series
) /
Online (How to POPL in 2021)
/
Room information: PLMW
Venue
Online (How to POPL in 2021)
Room name
PLMW
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+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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-04: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-03: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+12: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
Mon 18 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
14:30 - 15:15
Session 0
PLMW 2021
at
PLMW
Chair(s):
Justin Hsu
University of Wisconsin-Madison, USA
14:30
45m
Talk
Think Abstractly, Work Concretely
PLMW 2021
Ichiro Hasuo
National Institute of Informatics, Japan
Media Attached
16:00 - 17:30
Session 1
PLMW 2021
at
PLMW
Chair(s):
Azalea Raad
Imperial College London
16:00
45m
Talk
Numbers, Logic, and Decidability Results for Cyber-Physical Systems
PLMW 2021
Rupak Majumdar
MPI-SWS
16:45
45m
Talk
The Lean Researcher
PLMW 2021
Alastair F. Donaldson
Imperial College London and Google
18:00 - 19:30
Session 2
PLMW 2021
at
PLMW
Chair(s):
Gabriel Scherer
INRIA Saclay
18:00
45m
Talk
Reasoning About Programs in Higher-Order Concurrent Separation Logic
PLMW 2021
Amin Timany
Aarhus University
18:45
45m
Talk
εσόμεθα πολλώ κάρρονες – making your way in a changing world
PLMW 2021
Sophia Drossopoulou
Imperial College London
20:00 - 21:00
Monday Panel
PLMW 2021
at
PLMW
Chair(s):
Justin Hsu
University of Wisconsin-Madison, USA
20:00
60m
Live Q&A
Panel: Doing Research in PL
PLMW 2021
Greg Morrisett
Cornell Tech
,
Susan Eisenbach
Imperial College London
,
Sam Lindley
Heriot-Watt University, UK / The University of Edinburgh, UK
,
Jeehoon Kang
KAIST
,
Delphine Demange
Univ Rennes, Inria, CNRS, IRISA
,
Kuen-Bang Hou (Favonia)
University of Minnesota, Twin Cities
Tue 19 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
14:30 - 15:30
Tuesday Panel
PLMW 2021
at
PLMW
Chair(s):
Stephanie Balzer
Carnegie Mellon University, USA
14:30
60m
Live Q&A
Panel: Navigating PhD studies
PLMW 2021
Hila Peleg
University of California at San Diego
,
Nick Giannarakis
University of Wisconsin-Madison
,
Anne-Kathrin Schmuck
MPI-SWS
,
Sacha-Élie Ayoun
Imperial College London
,
Farzaneh Derakhshan
Carnegie Mellon University
,
Soham Chakraborty
IIT Delhi
16:00 - 17:30
Session 3
PLMW 2021
at
PLMW
Chair(s):
Azalea Raad
Imperial College London
16:00
45m
Talk
Connecting Information Flow Types to Runtime Monitors via Gradual Typing
PLMW 2021
Limin Jia
Carnegie Mellon University
16:45
45m
Talk
Emotional Machines
PLMW 2021
Aaron Turon
Fastly
Mon 18 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
PLMW
PLMW 2021
Session 0
PLMW 2021
Session 1
PLMW 2021
Session 2
PLMW 2021
Monday Panel
Tue 19 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
14:00
30
15:00
30
16:00
30
17:00
30
PLMW
PLMW 2021
Tuesday Panel
PLMW 2021
Session 3
Mon 18 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
PLMW
PLMW
Think Abstractly, Work Concretely
14:30 - 15:15
PLMW
Numbers, Logic, and Decidability Results for Cyber-Physical Systems
16:00 - 16:45
PLMW
The Lean Researcher
16:45 - 17:30
PLMW
Reasoning About Programs in Higher-Order Concurrent Separation Logic
18:00 - 18:45
PLMW
εσόμεθα πολλώ κάρρονες – making your way in a changing world
18:45 - 19:30
PLMW
Panel: Doing Research in PL
20:00 - 21:00
Tue 19 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
PLMW
PLMW
Panel: Navigating PhD studies
14:30 - 15:30
PLMW
Connecting Information Flow Types to Runtime Monitors via Gradual Typing
16:00 - 16:45
PLMW
Emotional Machines
16:45 - 17:30
x
Fri 26 Apr 22:59