Singapore Programming Languages Summit

Welcome to the second SG Programming Languages Summit! The summit is an informal meeting for everyone interested in programming languages research (broadly construed) that takes place once a year in Singapore.

time & venue

• Nov 24 2025, 9am-5pm
• Venue: Singapore Management University, Room SR B1-01 (Basement 1)
• Address: Yong Pung How School of Law,  55 Armenian St, Singapore 179943

keynote

The summit will feature a keynote by Krishna S from IIT Bombay.

call for participation

The SG PL summit is open to participants at all levels across academia and industry and attendance is free-of-charge.

Please sign up at the following link by November 7, 2025: (Signup now closed)

call for presentations

We welcome presentations on PL research and related topics including, but not limited to, verification, proof theory, and program synthesis. Presentations can be about either published work, ongoing work, use cases, or even new ideas seeking collaborators at the summit. Students are particularly encouraged to present!

Please sign up here by November 7, 2025: (Signup now closed)

Please also sign up for participation using the link above.

We hope to accommodate all proposed talks. All talks will be held in-person, the allocated time to each talk will depend on the number of registrations.

schedule

09:00 - 09:10	Welcome and Opening Remarks
09:10 - 10:00	Keynote
10:00 - 10:30	Coffee break
10:30 - 12:00	Session 1
12.00 - 13:30	Lunch break (Lunch is not provided)
13:30 - 15:15	Session 2
15:15 - 15:45	Coffee break
15:45 - 17:15	Session 3

The list of accepted talks is still TBA.

mailing list

All SG PL Summit related communications will be made via the following mailing list. To join, please get in touch with Ilya Sergey or Yong Kiam Tan.

This mailing list has very low traffic. If you are interested in programming languages research in Singapore, we encourage you to sign up.