Lightning Talks provide attendees of ‹Programming› with the opportunity to discuss their recent and ongoing work, clarify problem statements, get feedback on their ideas or identify suitable evaluation methods. They offer an excellent opportunity for authors to receive feedback from the ‹Programming› community and encourage discussions on a technical topic. If you are thinking how to turn your ideas into a paper for ‹Programming› 2026, consider submitting a talk proposal!

Lightning Talks

Title
Binary parametricity in Rocq — the case of record types
Lightning Talks
Copy-and-Patch JIT for R
Lightning Talks
Lightning Talks - Block 2
Lightning Talks

Smalltix: Smalltalk via the Unix Filesystem
Lightning Talks
Understanding Feedback Information in Just-in-Time Compilers
Lightning Talks

Call for Contributions

We are looking for talks reporting and seeking feedback on early work in the general areas covered by the ‹Programming› conference, that is the Art, Science, and Engineering of Programming. The topics of interest include programming languages and systems, implementation techniques, theories of programming, but also social aspects of programming or history and philosophy.

A lightning talk can be focused on a demo of a system that you are working on (which does not always work), a neat idea that you are exploring (but suspect it has limitations), a problem that you find interesting (but do not know how to solve) or any other form of early work.

The submissions will not be formally reviewed and published. If you are attending ‹Programming› 2025, you can use a presentation as part of the Lightning Talks track to get feedback on your current and ongoing research ideas - to get the most out of your trip to Prague.

Selection

We will accept submitted talk proposals on a rolling basis (for as long as we have space in the program). We will not provide formal reviews to authors and aim to accept talk proposals that are in line with the general theme of the conference (and its past editions).

Format

The format will be finalized once we have the final number of talks, but we expect to have 15 minute talks with 5-10 minutes for discussion immediately after the talk. However, the idea is that the talk will trigger interesting discussions that will continue throughout the coffee breaks!

Submission

To submit a Lightning Talk proposal, please fill out the brief Lightning Talk proposal form.

Plenary

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 3 Jun

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

10:00 - 10:30
BreakCatering at Foyer
10:00
30m
Coffee break
Break
Catering

10:30 - 12:00
Lightning Talks - Block 1Lightning Talks at S 8
Chair(s): Pierre Donat-Bouillud Czech Technical University in Prague
10:30
22m
Talk
Smalltix: Smalltalk via the Unix Filesystem
Lightning Talks
A: Joel Jakubovic Charles University in Prague
10:52
22m
Talk
Copy-and-Patch JIT for R
Lightning Talks
Matěj Kocourek Czech Technical University, Czechia
11:15
22m
Talk
Understanding Feedback Information in Just-in-Time Compilers
Lightning Talks
A: Filip Riha Czech Technical University
11:37
22m
Talk
Binary parametricity in Rocq — the case of record types
Lightning Talks
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

15:00 - 15:30
BreakCatering at Foyer
15:00
30m
Coffee break
Break
Catering

15:30 - 17:00
Lightning Talks - Block 2Lightning Talks at S 8
15:30
90m
Talk
Lightning Talks - Block 2
Lightning Talks

Hide past events