‹Programming› 2025
Mon 2 - Fri 6 June 2025 Prague, Czechia
‹Programming› 2025 (series) / PX/25 (series) /

PX/25 Program

This is the PX/25 program - see the full program for ‹Programming› 2025 and all affiliated events.
All EventsProgram TimelineDetailed TimelineDetailed Program
Get Calendar (iCal)

Dates
Mon 2 Jun 2025
Tue 3 Jun 2025
Wed 4 Jun 2025
Thu 5 Jun 2025
Fri 6 Jun 2025
Rooms
Faculty Restaurant
Foyer
Lesser Side and Prague Castle
Mesto More
Old Town Hall
Outside of the Faculty
S 8
Tracks
PX/25
‹Programming› Catering
‹Programming› Social Events
Badges
PX Talk
Your Program
Nothing to filter
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 2 Jun

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

09:00 - 10:00
PX/25 – 1PX/25 at S 8
09:00
20m
Paper
It's OK to want to have a good time
PX/25
Luke Church University of Cambridge | Candela Inc, Mariana Marasoiu University of Cambridge
09:20
20m
Paper
Exploration and Complexity Management in Graph-based Programming Environments
PX/25
Max Boksem University of Amsterdam, L. Thomas van Binsbergen University of Amsterdam
09:40
20m
Demonstration
Sharing Test Suites across Programming Languages
PX/25
Patrick Rein University of Potsdam; Hasso Plattner Institute, Peter Retzlaff Independent, Jens Lincke Hasso Plattner Institute; University of Potsdam, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam
10:00 - 10:30
BreakCatering at Foyer
10:00
30m
Coffee break
Break
Catering

10:30 - 12:00
PX/25 – 2PX/25 at S 8
10:30
22m
Paper
In-Situ Visual Programming
PX/25
Ulrich Brandstätter , Bernhard Schenkenfelder Software Competence Center Hagenberg (SCCH)
10:52
22m
Paper
Fuzzing as Editor Feedback
PX/25
Marcel Garus Hasso Plattner Institute; University of Potsdam, Jens Lincke Hasso Plattner Institute; University of Potsdam, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam
11:15
22m
Paper
COP Layer Encapsulating Non-Functional Requirements for Physical Systems on Hakoniwa Environment
PX/25
Yudai Yamada Tokai University, Nobuhiko Ogura Tokyo City University, Kenji Hisazumi Shibaura Institute of Technology, Harumi Watanabe Tokai University
11:37
22m
Paper
Shica — improving the programming experience for agent-based, distributed, physical computing systems
PX/25
Hiroto Shikada Kyoto University of Advanced Science, Ian Piumarta Kyoto University of Advanced Science
12:00 - 13:30
LunchCatering at Faculty Restaurant
12:00
90m
Lunch
Lunch
Catering

13:30 - 15:00
PX/25 – 3PX/25 at S 8
13:30
22m
Paper
Renkon-pad: A Live and Self-Sustaining Programming Environment based on Functional Reactive Programming
PX/25
Yoshiki Ohshima Independent Contractor, Shizuoka University, Adam Bouhenguel Jemar Industries, Matthew Good Independent
13:52
22m
Paper
Im-C — a memory-safe C interpreter providing a better learning, testing, and debugging experience
PX/25
Masaki Kunii Kyoto University of Advanced Science, Ian Piumarta Kyoto University of Advanced Science
14:15
22m
Paper
Dimensions of Examples: Toward a Framework for Qualifying Examples in Programming
PX/25
Toni Mattis University of Potsdam; Hasso Plattner Institute, Lukas Böhme Hasso Plattner Institute, University of Potsdam, Potsdam, Germany, Stefan Ramson Hasso Plattner Institute, Germany, Tom Beckmann Hasso Plattner Institute, Martin C. Rinard Massachusetts Institute of Technology, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam
14:37
22m
Paper
PShapeTrace: Linking Drawing Instructions with Visual Outcomes in Processing
PX/25
Takashi Ishio Future University Hakodate, Yuta Yamasaki Future University Hakodate
Media Attached
15:00 - 15:30
BreakCatering at Foyer
15:00
30m
Coffee break
Break
Catering

15:30 - 17:00
PX/25 – 4PX/25 at S 8
15:30
22m
Paper
Encouraging Experimentation Through Programming by Proximity
PX/25
Tom Beckmann Hasso Plattner Institute, Leonard Geier University of Potsdam; Hasso Plattner Institute, Stefan Ramson Hasso Plattner Institute, Germany, Marcel Taeumel University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam
15:52
22m
Talk
Programming with Rectangles: The Hidden Power of Tabular ThinkingPX Talk
PX/25
David Thomas Bederra Corp.
16:15
22m
Day closing
Discussions and Closing
PX/25

16:37
22m
Break
Break
PX/25

18:30 - 18:31
Meeting Point for Welcome ReceptionSocial Events at Outside of the Faculty
18:30
1m
Meeting
Meeting Point for Welcome Reception
Social Events

19:00 - 21:00
Welcome ReceptionSocial Events at Old Town Hall

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

12:00 - 13:30
LunchCatering at Faculty Restaurant
12:00
90m
Lunch
Lunch
Catering

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

Wed 4 Jun

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

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

12:00 - 13:30
LunchCatering at Faculty Restaurant
12:00
90m
Lunch
Lunch
Catering

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

18:30 - 18:31
Meeting Point for Conference DinnerSocial Events at Outside of the Faculty
18:30
1m
Meeting
Meeting Point for Conference Dinner
Social Events

19:00 - 22:00
DinnerSocial Events at Mesto More
19:00
3h
Social Event
Dinner
Social Events

Thu 5 Jun

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

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

12:00 - 13:30
LunchCatering at Faculty Restaurant
12:00
90m
Lunch
Lunch
Catering

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

Fri 6 Jun

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

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

14:00 - 14:10
Meeting Point for Prague walking tourSocial Events at Outside of the Faculty
14:10 - 17:00
Prague walking tourSocial Events at Lesser Side and Prague Castle
:
: