Design by Contract Framework for Quantum Software (Q-SE 2023) - ICSE 2023

Write a Blog >>

Sun 14 - Sat 20 May 2023 Melbourne, Australia

Who

Masaomi Yamaguchi, Nobukazu Yoshioka

Track

Time Zone

The program is currently displayed in (GMT+10:00) Hobart.

Use conference time zone: (GMT+10:00) HobartSelect other time zone

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 programSpecify a time band

When

Sun 14 May 2023 12:15 - 12:30 at Meeting Room 109 - Paper session 1 Chair(s): Jose García-Alonso

Masaomi Yamaguchi

Fujitsu Limited

Japan

Nobukazu Yoshioka

Waseda University, Japan

Japan

Time Zone

The program is currently displayed in (GMT+10:00) Hobart.

Use conference time zone: (GMT+10:00) HobartSelect other time zone

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 programSpecify a time band

Session Program

Sun 14 May
Displayed time zone: Hobart change

	11:00 - 12:30	Paper session 1Q-SE at Meeting Room 109 Chair(s): Jose García-Alonso Universidad de Extremadura

	11:00 25m Talk		MCBeth: A Measurement-based Quantum Programming Language Q-SE Aidan Evans Yale University, Seun Omonije , Robert Soulé University of Lugano, Robert Rand University of Chicago
	11:25 25m Talk		Generating Presence-Absence Matrices by Quantum Annealing Q-SE Philippe Codognet Japanese-French Laboratory for Informatics
	11:50 25m Talk		Dynamic Output State Classification for Quantum Computers Q-SE Hector Menendez King's College London, Luciano Bello IBM Research, David Clark University College London
	12:15 15m Talk		Design by Contract Framework for Quantum Software Q-SE Masaomi Yamaguchi Fujitsu Limited, Nobukazu Yoshioka Waseda University, Japan