FormaliSE 2026
Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026
ICSE 2026 (series) / FormaliSE 2026 (series) / Windsor Convention Center and Hotels /

Room information: Bora Bora IV

VenueWindsor Convention Center and Hotels
Room nameBora Bora IV
Floor0
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

Sun 12 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30
Opening and keynoteQ-SE at Bora Bora IV
Chair(s): Anila Mjeda CyberSkills, MTU Munster Technological University; Lero - the Science Foundation Ireland Research Centre for Software, Marcos Lordello Chaim University of São Paulo
09:00
15m
Registration
Arrival and Registration
Q-SE

09:15
15m
Day opening
Opening Remarks
Q-SE

09:30
60m
Keynote
Practical Software Engineering with Quantum Approaches
Q-SE
K: Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University
11:00 - 12:30
Session 2:Q-SE at Bora Bora IV
11:00
30m
Talk
Industry Expectations and Skill Demands in Quantum Software Testing
Q-SE
Ronnie de Souza Santos University of Calgary, Maria Teresa Baldassarre Department of Computer Science, University of Bari , César França Universidade Federal Rural de Pernambuco (UFRPE)
Pre-print
11:30
30m
Talk
RuntimeSpeQ: Specifying Runtime Monitors for Quantum Programs
Q-SE
Flavio Melinte-Citea King's College London, Mohammad Reza Mousavi King's College London
12:00
30m
Talk
Migrating QAOA from Qiskit 1.x to 2.x: An experience report
Q-SE
Julien Cardinal École de Technologie Supérieure, Imen Benzarti Software and Information Technology Engineering Department, École de Technologie Supérieure, Ghizlane El Boussaidi École de Technologie Supérieure, Christophe Pere École de technologie supérieure
14:00 - 15:30
Session 3:Q-SE at Bora Bora IV
14:00
30m
Talk
Design Space Exploration for Quantum Service Selection and Shot Combination
Q-SE
Fuyuki Ishikawa National Institute of Informatics, Shinobu Saito NTT, Inc.
14:30
30m
Talk
Learning State Separation for Quantum Circuit Synthesis
Q-SE
Christoph Stein Johannes Kepler University, Linz, Stefan Klikovits Johannes Kepler University, Linz, Manuel Wimmer JKU Linz
15:00
30m
Talk
Practical Subarchitectures for Optimal Quantum Layout Synthesis
Q-SE
Kostiantyn V. Milkevych Aarhus University, Jaco van de Pol Aarhus University, Irfansha Shaik Kvantify Aps, Aarhus University
16:00 - 17:30
Session 4:Q-SE at Bora Bora IV
16:00
30m
Talk
Twirlator: Pipeline for Analyzing Subgroup Symmetry Effects in Quantum Machine Learning Ansatzes
Q-SE
Valter Uotila Aalto University & University of Helsinki, Väinö Mehtola VTT, Ilmo Salmenperä University of Helsinki, Bo Zhao Aalto University
16:30
20m
Talk
Towards Quantum Software for Quantum Simulation
Q-SE
Maja Franz Technical University of Applied Sciences Regensburg, Lukas Schmidbauer Technical University of Applied Sciences Regensburg, Joshua Ammermann Karlsruhe Institute of Technology (KIT), Ina Schaefer KIT, Wolfgang Mauerer Technical University of Applied Sciences Regensburg
16:50
30m
Panel
Q-SE Challenges and Opportunities
Q-SE
Anila Mjeda CyberSkills, MTU Munster Technological University; Lero - the Science Foundation Ireland Research Centre for Software, Marcos Lordello Chaim University of São Paulo
17:20
10m
Day closing
Closing and Q-SE 2027
Q-SE

Sun 12 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Bora Bora IV

Q-SE

Opening and keynote

Q-SE

Session 2:

Q-SE

Session 3:

Q-SE

Session 4:

Mon 13 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Bora Bora IV

BoatSE

BoatSE

BoatSE

BoatSE

Tue 14 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Bora Bora IV

ICSE School of Empirical Studies in SE

ICSE School of Empirical Studies in SE

ICSE School of Empirical Studies in SE

ICSE School of Empirical Studies in SE

Sun 12 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Bora Bora IV
Q-SE
Arrival and Registration
09:00 - 09:15
Q-SE
Opening Remarks
09:15 - 09:30
Q-SE
Practical Software Engineering with Quantum Approaches
09:30 - 10:30
Q-SE
Industry Expectations and Skill Demands in Quantum Software Testing
11:00 - 11:30
Q-SE
RuntimeSpeQ: Specifying Runtime Monitors for Quantum Programs
11:30 - 12:00
Q-SE
Migrating QAOA from Qiskit 1.x to 2.x: An experience report
12:00 - 12:30
Q-SE
Design Space Exploration for Quantum Service Selection and Shot Combination
14:00 - 14:30
Q-SE
Learning State Separation for Quantum Circuit Synthesis
14:30 - 15:00
Q-SE
Practical Subarchitectures for Optimal Quantum Layout Synthesis
15:00 - 15:30
Q-SE
Twirlator: Pipeline for Analyzing Subgroup Symmetry Effects in Quantum ...
16:00 - 16:30
Q-SE
Towards Quantum Software for Quantum Simulation
16:30 - 16:50
Q-SE
Q-SE Challenges and Opportunities
16:50 - 17:20
Q-SE
Closing and Q-SE 2027
17:20 - 17:30