Write a Blog >>
CoqPL 2018
Mon 8 - Sat 13 January 2018
Los Angeles, California, United States
co-located with
POPL 2018
Toggle navigation
Attending
Venue: Omni Hotel
Program
Complete Program
Your Program
Mon 8 Jan
Tue 9 Jan
Wed 10 Jan
Thu 11 Jan
Fri 12 Jan
Sat 13 Jan
Track/Call
Organization
CoqPL 2018 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
CoqPL 2024
CoqPL 2023
CoqPL 2022
CoqPL 2021
CoqPL 2020
CoqPL 2019
CoqPL 2018
CoqPL 2017
CoqPL 2016
Sign in
Sign up
POPL 2018
(
series
) /
CoqPL 2018 (
series
) /
Omni Hotel
/
Room information: SRC
Venue
Omni Hotel
Room name
SRC
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-08:00) Tijuana, Baja California
.
Use conference time zone: (GMT-08:00) Tijuana, Baja California
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
Thu 11 Jan
Displayed time zone:
Tijuana, Baja California
change
18:15 - 20:15
POPL Poster Session
POPL Research Papers
at
SRC
18:15
2h
Other
POPL Poster Session
POPL Research Papers
Fri 12 Jan
Displayed time zone:
Tijuana, Baja California
change
10:30 - 12:00
Finalist Presentations
POPL Student Research Competition
at
SRC
10:30
15m
Talk
Graduate Finalist 1
POPL Student Research Competition
10:45
15m
Talk
Graduate Finalist 2
POPL Student Research Competition
11:00
15m
Talk
Graduate Finalist 3
POPL Student Research Competition
11:15
15m
Talk
Undergraduate Finalist 1
POPL Student Research Competition
11:30
15m
Talk
Undergraduate Finalist 2
POPL Student Research Competition
11:45
15m
Talk
Undergraduate Finalist 3
POPL Student Research Competition
Thu 11 Jan
Displayed time zone:
Tijuana, Baja California
change
Room
18:00
30
19:00
30
20:00
30
SRC
POPL Research Papers
POPL Poster Session
Fri 12 Jan
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
30
11:00
30
SRC
POPL Student Research Competition
Finalist Presentations
Thu 11 Jan
Displayed time zone:
Tijuana, Baja California
change
Room
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
SRC
POPL Research Papers
POPL Poster Session
18:15 - 20:15
Fri 12 Jan
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
15
30
45
11:00
15
30
45
SRC
POPL Student Research Competition
Graduate Finalist 1
10:30 - 10:45
POPL Student Research Competition
Graduate Finalist 2
10:45 - 11:00
POPL Student Research Competition
Graduate Finalist 3
11:00 - 11:15
POPL Student Research Competition
Undergraduate Finalist 1
11:15 - 11:30
POPL Student Research Competition
Undergraduate Finalist 2
11:30 - 11:45
POPL Student Research Competition
Undergraduate Finalist 3
11:45 - 12:00
x
Wed 8 May 04:41