OPCT 2019
Sun 13 - Sat 19 January 2019
Cascais, Portugal
co-located with
POPL 2019
Toggle navigation
Attending
Venue: Hotel Cascais Miragem
Program
OPCT 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
OPCT 2019 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
POPL 2019
(
series
) /
OPCT 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
at
Sala II
09:00
15m
Day opening
PLMW Welcome
PLMW
Pre-print
09:15
45m
Talk
Technical Talk: Verification of Distributed Protocols Using Decidable Logic
PLMW
Sharon Shoham
Tel Aviv university
Pre-print
File Attached
10:00
30m
Talk
Research Skills: How to Give a Talk
PLMW
Chung-chieh Shan
Indiana University, USA
Pre-print
File Attached
11:00 - 12:30
PLMW Session 2
PLMW
at
Sala II
11:00
30m
Talk
Research Skills: How to Choose Research Areas
PLMW
Catuscia Palamidessi
INRIA and LIX
Pre-print
File Attached
11:30
60m
Talk
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
PLMW Session 3
PLMW
at
Sala II
14:00
45m
Talk
Technical Talk: How to Think about Types
PLMW
Frank Pfenning
Carnegie Mellon University, USA
Pre-print
File Attached
14:45
45m
Talk
Technical Talk: What Is Programming Languages Research?
PLMW
Michael Hicks
University of Maryland, College Park
Pre-print
File Attached
16:00 - 17:30
PLMW Session 4
PLMW
at
Sala II
16:00
30m
Talk
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
60m
Talk
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
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
PLMW Session 1
PLMW
PLMW Session 2
PLMW
PLMW Session 3
PLMW
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
Sun 22 Dec 04:17