‹Programming› 2025
Mon 2 - Fri 6 June 2025
Prague, Czechia
Toggle navigation
Attending
Conference: Charles University - Faculty of Mathematics and Physics
Reception: Old Town Hall
Dinner: Mesto More Event Space
Registration
Accommodation
Visa Information
Public Transport: Restrictions during the Conferencet
Program
‹Programming› Program
Your Program
Mon 2 Jun
Tue 3 Jun
Wed 4 Jun
Thu 5 Jun
Fri 6 Jun
Tracks
‹Programming› 2025
Keynotes
Lightning Talks
Research Papers
Workshops
Artifacts
Student Research Competition
Student Volunteers
Social Events
Workshops
MoreVMs
PX/25
QP
SCLIT
Substrates
-25
VIMPL
Tutorials
Effekt
: Lexical Effect Handlers In Action
Organization
‹Programming› 2025 Committees
Organizing Committee
Steering Committee
Track Committees
Lightning Talks
Research Papers
Program Committee
External Reviewers
Workshops
Artifacts
Student Research Competition
Organizing Committee
Poster Jury
Presentation Jury
Reviewers
Student Volunteers
Contributors
People Index
Workshops
MoreVMs
Program Committee
Organizing Committee
PX/25
Organizing Committee
Program Committee
QP
Organizing Committee
Program Committee
SCLIT
Organizing Committee
Program Committee
Substrates
Organizing Committee
Program Committee
VIMPL
Organizing Committee
Program Committee
Tutorials
Effekt
Organizing Committee
Program Committee
Search
Series
Series
‹Programming› 2025
‹Programming› 2024
‹Programming› 2023
‹Programming› 2022
‹Programming› 2021
‹Programming› 2020
‹Programming› 2019
‹Programming› 2018
‹Programming› 2017
Sign in
Sign up
‹Programming› 2025
(
series
) /
Charles University - Faculty of Mathematics and Physics
/
Room information: S 10
Venue
Charles University - Faculty of Mathematics and Physics
Room name
S 10
Floor
1
Room number
10
Capacity
24
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
.
Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
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
Mon 2 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
09:00 - 10:00
QP - Session 1
QP
at
S 10
Chair(s):
Jose García-Alonso
Universidad de Extremadura
09:00
20m
Research paper
Exploring a quantum programming language with concurrency
QP
Manisha Jain
,
Vitor Fernandes
University of Minho
,
Alexandre Madeira
University of Aveiro
,
Luís Barbosa
09:20
20m
Short-paper
Locus: A Proposal for Quantum Software Composition
QP
Javier Zayas Gallardo
,
Francisco Chicano
University of Malaga
,
Carlos Canal
University of Málaga
,
Juan Manuel Murillo
University of Extremadura and COMPUTAEX Foundation
09:40
20m
Short-paper
Quantum Table: A Tangible Quantum Circuit Demonstrator
QP
Stefan Hillmich
Software Competence Center Hagenberg (SCCH)
,
Raphael Zefferer
,
Mathias Gartner
,
Bernhard Schenkenfelder
Software Competence Center Hagenberg (SCCH)
,
Sonja Bruckner
Software Competence Center Hagenberg (SCCH)
,
Ulrich Brandstätter
10:30 - 12:00
QP - Session 2
QP
at
S 10
Chair(s):
Shinobu Saito
NTT
10:30
45m
Keynote
Toward Practical Quantum Computer Systems: A Computer Architect's Perspective
QP
Ilkwon Byun
Kyushu University, Japan
11:15
45m
Day closing
Discussion and closing
QP
Shinobu Saito
NTT
,
Jose García-Alonso
Universidad de Extremadura
Tue 3 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
09:00 - 10:00
Session 1
Substrates
at
S 10
09:00
60m
Meeting
Vision Statement Presentations (Public)
Substrates
10:30 - 12:00
Session 2
Substrates
at
S 10
10:30
90m
Meeting
Discussion Session 1 (Invitation Only)
Substrates
13:30 - 15:00
Session 3
Substrates
at
S 10
13:30
90m
Meeting
Discussion Session 2 (Invitation Only)
Substrates
15:30 - 17:00
Session 4
Substrates
at
S 10
15:30
90m
Meeting
Discussion Session 3 (Invitation Only)
Substrates
Thu 5 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
10:30 - 12:15
Talks
Student Research Competition
at
S 10
10:30
15m
Talk
Self-Sustainability for VR Programming
Student Research Competition
Leonard Geier
University of Potsdam; Hasso Plattner Institute
10:45
15m
Talk
Consistency on Demand
Student Research Competition
Jotham Wong
11:00
15m
Talk
Levelling Up IT Learning
Student Research Competition
Alicia Cabrejas-Leonhardt
,
Haruko Schmidt
,
Leo Sonnenberg
,
Sarah Wolf
,
Ekaterina Bogacheva
,
Fabian Moeller
,
Karl Duda
11:15
15m
Talk
Data transformations in Vega
Student Research Competition
Kristýna Petrlíková
11:30
15m
Talk
Can LLMs Answer Developers’ Most Pressing Questions? A Benchmark
Student Research Competition
Lukas Böhme
Hasso Plattner Institute, University of Potsdam, Potsdam, Germany
11:45
15m
Talk
Typestate-oriented Programming with Ad-hoc Polymorphism on the Typestate
Student Research Competition
Oliver Tušla
12:00
15m
Talk
Exploratory Programming with Bidirectional Tracking
Student Research Competition
Abdullatif Ghajar
Hasso-Plattner-Institute
Fri 6 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
09:00 - 10:00
Tutorial: Effekt: Lexical Effect Handlers in Action (part 1)
Effekt
at
S 10
09:00
60m
Tutorial
Effekt: Lexical Effect Handlers in Action
Effekt
Jiří Beneš
University of Tübingen
,
Jonathan Immanuel Brachthäuser
University of Tübingen
10:30 - 12:00
Tutorial: Effekt: Lexical Effect Handlers in Action (part 2)
Effekt
at
S 10
10:30
90m
Tutorial
Effekt: Lexical Effect Handlers in Action
Effekt
Jiří Beneš
University of Tübingen
,
Jonathan Immanuel Brachthäuser
University of Tübingen
Mon 2 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
Room
9:00
30
10:00
30
11:00
30
S 10
QP
QP - Session 1
QP
QP - Session 2
Tue 3 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
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
S 10
Substrates
Session 1
Substrates
Session 2
Substrates
Session 3
Substrates
Session 4
Thu 5 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
Room
10:00
30
11:00
30
12:00
30
S 10
Student Research Competition
Talks
Fri 6 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
Room
9:00
30
10:00
30
11:00
30
S 10
Effekt
Tutorial: Effekt: Lexical Effect Handlers in Action (part 1)
Effekt
Tutorial: Effekt: Lexical Effect Handlers in Action (part 2)
Mon 2 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
S 10
QP
Exploring a quantum programming language with concurrency
09:00 - 09:20
QP
Locus: A Proposal for Quantum Software Composition
09:20 - 09:40
QP
Quantum Table: A Tangible Quantum Circuit Demonstrator
09:40 - 10:00
QP
Toward Practical Quantum Computer Systems: A Computer Architect's Persp ...
10:30 - 11:15
QP
Discussion and closing
11:15 - 12:00
Tue 3 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
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
S 10
Substrates
Vision Statement Presentations (Public)
09:00 - 10:00
Substrates
Discussion Session 1 (Invitation Only)
10:30 - 12:00
Substrates
Discussion Session 2 (Invitation Only)
13:30 - 15:00
Substrates
Discussion Session 3 (Invitation Only)
15:30 - 17:00
Thu 5 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
S 10
‹Programming› Student Research Competition
Self-Sustainability for VR Programming
10:30 - 10:45
‹Programming› Student Research Competition
Consistency on Demand
10:45 - 11:00
‹Programming› Student Research Competition
Levelling Up IT Learning
11:00 - 11:15
‹Programming› Student Research Competition
Data transformations in Vega
11:15 - 11:30
‹Programming› Student Research Competition
Can LLMs Answer Developers’ Most Pressing Questions? A Benchmark
11:30 - 11:45
‹Programming› Student Research Competition
Typestate-oriented Programming with Ad-hoc Polymorphism on the Typestate
11:45 - 12:00
‹Programming› Student Research Competition
Exploratory Programming with Bidirectional Tracking
12:00 - 12:15
Fri 6 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
S 10
Effekt
Effekt: Lexical Effect Handlers in Action
09:00 - 10:00
Effekt
Effekt: Lexical Effect Handlers in Action
10:30 - 12:00
x
Thu 29 May 18:29