TPSA 2025
Sun 19 - Sat 25 January 2025
Denver, Colorado, United States
co-located with
POPL 2025
Toggle navigation
Attending
Venue: Curtis Hotel Denver
Program
TPSA Program
Your Program
Filter by Day
Sun 19 Jan
Mon 20 Jan
Tue 21 Jan
Wed 22 Jan
Thu 23 Jan
Fri 24 Jan
Sat 25 Jan
Track/Call
Organization
TPSA 2025 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
POPL 2025
(
series
) /
TPSA 2025 (
series
) /
Curtis Hotel Denver
/
Room information: Kick the Can
Venue
Curtis Hotel Denver
Room name
Kick the Can
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-07:00) Mountain Time (US & Canada)
.
Use conference time zone: (GMT-07:00) Mountain Time (US & Canada)
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-06: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+03: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
Wed 22 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
12:00 - 13:20
PLMW Steering Committee Lunch
POPL Catering
at
Kick the Can
12:00
80m
Lunch
PLMW Steering Committee Lunch
POPL Catering
Thu 23 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
12:00 - 13:20
SIGPLAN EC Meeting
POPL Catering
at
Kick the Can
12:00
80m
Lunch
SIGPLAN EC meeting
POPL Catering
Sat 25 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
09:00 - 10:30
Session 1
WITS
at
Kick the Can
09:00
60m
Keynote
Invited Talk: Type inference in OCaml and GHC using Levels
WITS
Richard A. Eisenberg
Jane Street
10:00
30m
Talk
Towards Generic Higher-Order Unification Implementations in Haskell
Remote
WITS
Nikolai Kudasov
Innopolis University
,
Artem Starikov
Innopolis University
,
Fedor Ivanov
Innopolis University
,
Damir Alfiatonov
Innopolis University
File Attached
11:00 - 12:30
Session 2
WITS
at
Kick the Can
11:00
30m
Talk
Towards Generic Type Checking Implementations in Haskell via Second-Order Abstract Syntax
Remote
WITS
Nikolai Kudasov
Innopolis University
,
Anastasia Smirnova
Innopolis University
,
Vladislav Deryabkin
Innopolis University
,
Diana Tomilovskaia
Innopolis University
,
Ekaterina Maksimova
Innopolis University
File Attached
11:30
30m
Talk
McTT: Building A Correct-By-Construction Proof Checker For Martin-Loef Type Theory
WITS
Junyoung Jang
McGill University
,
Jason Z.S. Hu
Amazon Web Services, USA
,
Antoine Gaulin
McGill University
,
Brigitte Pientka
McGill University
Pre-print
File Attached
12:00
30m
Talk
Eta conversion for the unit type (is still not that simple)
Remote
WITS
András Kovács
University of Gothenburg and Chalmers University of Technology
File Attached
14:00 - 15:30
Session 3
WITS
at
Kick the Can
14:00
30m
Other
Collaboration Time 1
WITS
14:30
30m
Talk
Semantic Analysis of Normalisation for Directional Logic Programming
Remote
WITS
Vikraman Choudhury
Università di Bologna & Inria OLAS
,
Neel Krishnaswami
University of Cambridge
,
Ariadne Si Suo
University of Cambridge
File Attached
15:00
30m
Talk
Incremental Bidirectional Typing via Order Maintenance
WITS
Thomas J. Porter
University of Michigan
,
Marisa Kirisame
University of Utah
,
Liam Mulcahy
University of Michigan
,
Pavel Panchekha
University of Utah
,
Cyrus Omar
University of Michigan
File Attached
16:00 - 17:30
Session 4
WITS
at
Kick the Can
16:00
30m
Other
Collaboration Time 2
WITS
16:30
30m
Talk
Formalizing locally nameless syntax with cofinite quantification
WITS
Elif Uskuplu
Indiana University, Bloomington
File Attached
17:00
30m
Other
Closing
WITS
Wed 22 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
Room
12:00
30
13:00
30
Kick the Can
POPL Catering
PLMW Steering Committee Lunch
Thu 23 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
Room
12:00
30
13:00
30
Kick the Can
POPL Catering
SIGPLAN EC Meeting
Sat 25 Jan
Displayed time zone:
Mountain Time (US & Canada)
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
Kick the Can
WITS
Session 1
WITS
Session 2
WITS
Session 3
WITS
Session 4
Wed 22 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
Room
12:00
15
30
45
13:00
15
30
45
Kick the Can
POPL Catering
PLMW Steering Committee Lunch
12:00 - 13:20
Thu 23 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
Room
12:00
15
30
45
13:00
15
30
45
Kick the Can
POPL Catering
SIGPLAN EC meeting
12:00 - 13:20
Sat 25 Jan
Displayed time zone:
Mountain Time (US & Canada)
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
Kick the Can
WITS
Invited Talk: Type inference in OCaml and GHC using Levels
09:00 - 10:00
WITS
Remote
Towards Generic Higher-Order Unification Implementations in Haskell
10:00 - 10:30
WITS
Remote
Towards Generic Type Checking Implementations in Haskell via Second-Ord ...
11:00 - 11:30
WITS
McTT: Building A Correct-By-Construction Proof Checker For Martin-Loef ...
11:30 - 12:00
WITS
Remote
Eta conversion for the unit type (is still not that simple)
12:00 - 12:30
WITS
Collaboration Time 1
14:00 - 14:30
WITS
Remote
Semantic Analysis of Normalisation for Directional Logic Programming
14:30 - 15:00
WITS
Incremental Bidirectional Typing via Order Maintenance
15:00 - 15:30
WITS
Collaboration Time 2
16:00 - 16:30
WITS
Formalizing locally nameless syntax with cofinite quantification
16:30 - 17:00
WITS
Closing
17:00 - 17:30
x
Fri 14 Mar 00:01
:
: