PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 16 Jun

Displayed time zone: Seoul change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
Blossom 1
PLDI Catering
Dinner
19:30 - 21:30
Blossom 2
PLDI Catering
Dinner
19:30 - 21:30
Cosmos
Sparse
Panel 1
10:00 - 10:10
Sparse
Panel 2
11:30 - 11:50
Sparse
Panel 3
15:00 - 15:20
Sparse
Panel 4
16:40 - 17:00
Grand Ball Room 2
PLMW @ PLDI
PL Cards
14:10 - 15:20
Lilac
PLDI Catering
Dinner
19:30 - 21:30
Orchid
SOAP
Opening
09:00 - 09:10
Rose
PLDI Catering
Dinner
19:30 - 21:30
Tulip
Violet
LCTES
Opening
14:00 - 14:10

Tue 17 Jun

Displayed time zone: Seoul change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
Blossom 2
PLDI Catering
Dinner
19:30 - 21:30
Cosmos
PLDI Catering
Dinner
19:30 - 21:30
Grand Ball Room
PLDI Catering
Dinner
18:00 - 19:30
Grand Ball Room 2
Lilac
ISMM
Closing remarks
17:00 - 17:05
PLDI Catering
Dinner
19:30 - 21:30
Orchid
Rose
WQS
Day opening
09:00 - 09:05
WQS
Closing remarks
17:10 - 17:15
PLDI Catering
Dinner
19:30 - 21:30
Tulip
ARRAY
Welcome
09:00 - 09:10
Violet
PLDI Catering
Dinner
19:30 - 21:30

Wed 18 Jun

Displayed time zone: Seoul change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
Cosmos, Violet & Tulip
Grand Ball Room
Grand Ball Room 1
PLDI Catering
Break
15:40 - 16:00
Grand Ball Room 2
Lilac
PLDI Catering
Lunch
12:00 - 14:00
Orchid
Rose
PLDI Catering
Dinner
19:30 - 21:30
Tulip
PLDI Catering
Dinner
19:30 - 21:30

Thu 19 Jun

Displayed time zone: Seoul change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Cosmos, Violet & Tulip
Grand Ball Room
PLDI Catering
Dinner
19:00 - 21:00
Grand Ball Room 1
PLDI Catering
Break
15:00 - 15:20
Grand Ball Room 2
Orchid

Fri 20 Jun

Displayed time zone: Seoul change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Cosmos, Violet & Tulip
Grand Ball Room
Grand Ball Room 2
Lilac
PLDI Catering
Lunch
12:00 - 14:00
Orchid