EGRAPHS 2025
Mon 16 - Fri 20 June 2025
Seoul, South Korea
co-located with
PLDI 2025
Toggle navigation
Attending
Venue: The Westin Josun Seoul
Program
EGRAPHS Program
Your Program
Mon 16 Jun
Tue 17 Jun
Wed 18 Jun
Thu 19 Jun
Fri 20 Jun
Track/Call
Organization
EGRAPHS 2025 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
EGRAPHS 2025
EGRAPHS 2024
EGRAPHS 2023
EGRAPHS 2022
Sign in
Sign up
PLDI 2025
(
series
) /
EGRAPHS 2025 (
series
) /
The Westin Josun Seoul
/
Room information: Grand Ball Room
Venue
The Westin Josun Seoul
Room name
Grand Ball Room
Floor
1
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+09:00) Seoul
.
Use conference time zone: (GMT+09:00) Seoul
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06: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-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02: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) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) 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+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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 17 Jun
Displayed time zone:
Seoul
change
18:00 - 19:30
Reception for everyone - food & beverages
PLDI Catering
/
PLDI Events
at
Grand Ball Room
18:00
90m
Dinner
Dinner
PLDI Catering
Wed 18 Jun
Displayed time zone:
Seoul
change
09:00 - 10:10
Keynote 1
PLDI Research Papers
at
Grand Ball Room
09:00
70m
Keynote
Programming Language Research for Technical and Social Good: What PL Can Do for Good?
PLDI Research Papers
Sukyoung Ryu
KAIST
18:00 - 19:30
SRC Poster & Reception for everyone - Food & Beverage
PLDI Student Research Competition
at
Grand Ball Room
Thu 19 Jun
Displayed time zone:
Seoul
change
09:00 - 10:10
Keynote 2
PLDI Research Papers
at
Grand Ball Room
09:00
70m
Keynote
Lean: Machine-Checked Mathematics and Verified Programming, Past and Future
PLDI Research Papers
Leonardo de Moura
15:20 - 16:35
Industry Session
PLDI Events
at
Grand Ball Room
15:20
25m
Talk
Memory-safe interoperation between safe and unsafe languages
PLDI Events
Yeoul Na
Apple
15:45
25m
Talk
An Overview of the Cangjie Language
PLDI Events
Xinyu Feng
Nanjing University & Huawei
16:10
25m
Talk
AI + Lean: NeuroSymbolic AI
PLDI Events
Soonho Kong
Amazon Web Services
19:00 - 21:00
Banquet and Awards Dinner for everyone
PLDI Catering
/
PLDI Events
at
Grand Ball Room
19:00
2h
Dinner
Dinner
PLDI Catering
Fri 20 Jun
Displayed time zone:
Seoul
change
09:00 - 10:10
Keynote 3
PLDI Research Papers
at
Grand Ball Room
09:00
70m
Keynote
Neurosymbolic Program Synthesis: Bridging Perception and Reasoning in Real-World Applications
PLDI Research Papers
Işıl Dillig
University of Texas at Austin
Tue 17 Jun
Displayed time zone:
Seoul
change
Room
18:00
30
19:00
30
Grand Ball Room
PLDI Catering + PLDI Events
Reception for everyone - food & beverages
Wed 18 Jun
Displayed time zone:
Seoul
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
18:00
30
19:00
30
Grand Ball Room
PLDI Research Papers
Keynote 1
PLDI Student Research Competition
SRC Poster & Reception for everyone - Food & Beverage
Thu 19 Jun
Displayed time zone:
Seoul
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
18:00
30
19:00
30
20:00
30
Grand Ball Room
PLDI Research Papers
Keynote 2
PLDI Events
Industry Session
PLDI Catering + PLDI Events
Banquet and Awards Dinner for everyone
Fri 20 Jun
Displayed time zone:
Seoul
change
Room
9:00
30
10:00
30
Grand Ball Room
PLDI Research Papers
Keynote 3
Tue 17 Jun
Displayed time zone:
Seoul
change
Room
18:00
15
30
45
19:00
15
30
45
Grand Ball Room
PLDI Catering
Dinner
18:00 - 19:30
Wed 18 Jun
Displayed time zone:
Seoul
change
Room
9:00
15
30
45
10:00
15
30
45
Grand Ball Room
PLDI Research Papers
Programming Language Research for Technical and Social Good: What PL Ca ...
09:00 - 10:10
Thu 19 Jun
Displayed time zone:
Seoul
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
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
Grand Ball Room
PLDI Research Papers
Lean: Machine-Checked Mathematics and Verified Programming, Past and Future
09:00 - 10:10
PLDI Events
Memory-safe interoperation between safe and unsafe languages
15:20 - 15:45
PLDI Events
An Overview of the Cangjie Language
15:45 - 16:10
PLDI Events
AI + Lean: NeuroSymbolic AI
16:10 - 16:35
PLDI Catering
Dinner
19:00 - 21:00
Fri 20 Jun
Displayed time zone:
Seoul
change
Room
9:00
15
30
45
10:00
15
30
45
Grand Ball Room
PLDI Research Papers
Neurosymbolic Program Synthesis: Bridging Perception and Reasoning in R ...
09:00 - 10:10
x
Mon 17 Nov 01:57