QP 2025
Mon 2 Jun 2025
Prague, Czechia
co-located with
‹Programming› 2025
Toggle navigation
Attending
Conference: Charles University - Faculty of Mathematics and Physics
Reception: Old Town Hall
Dinner: Mesto More Event Space
Program
QP Program
Your Program
Mon 2 Jun
Tracks
QP 2025
QP 2025
‹Programming› 2025
Social Events
Organization
QP 2025 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
QP 2025
QP 2024
QP 2023
Sign in
Sign up
‹Programming› 2025
(
series
) /
QP 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
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 2025
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 2025
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 2025
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 2025
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 2025
at
S 10
Chair(s):
Shinobu Saito
NTT
10:30
45m
Keynote
Toward Practical Quantum Computer Systems: A Computer Architect's Perspective
QP 2025
Ilkwon Byun
Kyushu University, Japan
11:15
45m
Day closing
Discussion and closing
QP 2025
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
‹Programming› Student Research Competition
at
S 10
10:30
15m
Talk
Self-Sustainability for VR Programming
‹Programming› Student Research Competition
Leonard Geier
University of Potsdam; Hasso Plattner Institute
10:45
15m
Talk
Consistency on Demand
‹Programming› Student Research Competition
Jotham Wong
11:00
15m
Talk
Levelling Up IT Learning
‹Programming› 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
‹Programming› Student Research Competition
Kristýna Petrlíková
11:30
15m
Talk
Can LLMs Answer Developers’ Most Pressing Questions? A Benchmark
‹Programming› 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
‹Programming› Student Research Competition
Oliver Tušla
12:00
15m
Talk
Exploratory Programming with Bidirectional Tracking
‹Programming› 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 2025
QP - Session 1
QP 2025
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
‹Programming› 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
Sat 28 Jun 03:28
:
: