‹Programming› 2025
Mon 2 - Fri 6 June 2025 Prague, Czechia
‹Programming› 2025 (series) / Charles University - Faculty of Mathematics and Physics /

Room information: S 8

VenueCharles University - Faculty of Mathematics and Physics
Room nameS 8
Floor1
Room number8
Capacity30
Room InformationNo extra information available
Program

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

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 [Demo]
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: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
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
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 Thinking [Talk]
PX/25
David Thomas Bederra Corp.
16:15
22m
Day closing
Discussions and Closing
PX/25

16:37
22m
Break
Break
PX/25

Tue 3 Jun

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

10:30 - 12:00
Lightning Talks - Block 1Lightning Talks at S 8
10:30
90m
Talk
Lightning Talks - Block 1
Lightning Talks

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

Mon 2 Jun

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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
S 8

PX/25

PX/25 – 1

PX/25

PX/25 – 2

PX/25

PX/25 – 3

PX/25

PX/25 – 4

Tue 3 Jun

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

Room10:003011:003012:003013:003014:003015:003016:0030
S 8

Lightning Talks

Lightning Talks - Block 1

Lightning Talks

Lightning Talks - Block 2

Mon 2 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
S 8
PX/25
It's OK to want to have a good time
09:00 - 09:20
PX/25
Exploration and Complexity Management in Graph-based Programming Enviro ...
09:20 - 09:40
PX/25
Sharing Test Suites across Programming Languages [Demo]
09:40 - 10:00
PX/25
In-Situ Visual Programming
10:30 - 10:52
PX/25
Fuzzing as Editor Feedback
10:52 - 11:15
PX/25
COP Layer Encapsulating Non-Functional Requirements for Physical System ...
11:15 - 11:37
PX/25
Shica — improving the programming experience for agent-based, distribut ...
11:37 - 12:00
PX/25
Renkon-pad: A Live and Self-Sustaining Programming Environment based on ...
13:30 - 13:52
PX/25
Im-C — a memory-safe C interpreter providing a better learning, testing ...
13:52 - 14:15
PX/25
Dimensions of Examples: Toward a Framework for Qualifying Examples in P ...
14:15 - 14:37
PX/25
PShapeTrace: Linking Drawing Instructions with Visual Outcomes in Proce ...
14:37 - 15:00
PX/25
Encouraging Experimentation Through Programming by Proximity
15:30 - 15:52
PX/25
Programming with Rectangles: The Hidden Power of Tabular Thinking [Talk]
15:52 - 16:15
PX/25
Discussions and Closing
16:15 - 16:37
PX/25
Break
16:37 - 17:00

Tue 3 Jun

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
S 8
‹Programming› Lightning Talks
Lightning Talks - Block 1
10:30 - 12:00
‹Programming› Lightning Talks
Lightning Talks - Block 2
15:30 - 17:00