Faculty of Engineering Building 6, Seminar Room C

VenueThe University of Tokyo

Room nameFaculty of Engineering Building 6, Seminar Room C

Floor3

Room number6C

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect 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

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 13 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

09:00 - 10:30	ARPLARPL at Faculty of Engineering Building 6, Seminar Room C

09:00 90m Tutorial		ARPL ARPL

11:00 - 12:00	ARPLARPL at Faculty of Engineering Building 6, Seminar Room C

11:00 60m Tutorial		ARPL ARPL

14:00 - 15:30	ARPLARPL at Faculty of Engineering Building 6, Seminar Room C

14:00 90m Tutorial		ARPL ARPL

16:00 - 17:30	ARPLARPL at Faculty of Engineering Building 6, Seminar Room C

16:00 90m Tutorial		ARPL ARPL

Tue 14 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

09:00 - 10:30	Keynote and First papersQP at Faculty of Engineering Building 6, Seminar Room C Chair(s): Tao Yue Simula Research Laboratory

09:00 5m Day opening		Workshop Opening QP Shaukat Ali Simula Research Laboratory, Paolo Arcaini National Institute of Informatics , Tao Yue Simula Research Laboratory
09:05 55m Keynote		Static Analysis for Quantum Software Correctness and ReliabilityQP Keynote QP K: Jianjun Zhao Kyushu University
10:00 30m Talk		Model-Driven Quantum Federated Learning (QFL)Full Paper QP Armin Moin Technical University of Munich, Germany, Atta Badii University of Reading, United Kingdom, Moharram Challenger University of Antwerp

11:00 - 12:00	First paper sessionQP at Faculty of Engineering Building 6, Seminar Room C Chair(s): Shaukat Ali Simula Research Laboratory

11:00 30m Talk		QUARC: Towards an Efficient Hybrid System for Bounded Model CheckingLightning Talk QP Christoph Kirsch University of Salzburg; Czech Technical University, Stefanie Muroya Lei Institute of Science and Technology in Austria
11:30 30m Talk		Towards Reliable Distributed Quantum Computing on Quantum InterconnectsFull Paper QP Ryo Wakizaka Kyoto University

14:00 - 15:30	Second paper sessionQP at Faculty of Engineering Building 6, Seminar Room C Chair(s): Jianjun Zhao Kyushu University

14:00 30m Talk		Generalized W state circuits in the qudit Clifford hierarchyFull Paper QP Lia Yeh University of Oxford
14:30 30m Talk		TornadoQSim: An open-source high-performance and modular system for Quantum Circuit SimulationLightning Talk QP Athanasios Stratikopoulos The University of Manchester, Ales Kubicek ETH Zürich, Juan Fumero University of Manchester, UK, Christos Kotselidis KTM Innovation / The University of Manchester
15:00 30m Talk		Capturing qubit decoherence through paraconsistent transition systemsFull Paper QP Luís Soares Barbosa , Alexandre Madeira

16:00 - 17:30	Third paper sessionQP at Faculty of Engineering Building 6, Seminar Room C Chair(s): João Paulo Fernandes LIACC, Universidade do Porto, Porto, Portugal

16:00 30m Talk		Towards a New Model of Experiential Learning for Quantum ProgrammersLightning Talk QP Shwetha Jayaraj New York Institute of Technology, Ali Gedawi New York Institute of Technology, Yusui Chen , Michael Nizich New York Institute of Technology
16:30 30m Talk		Symbolic quantum programming for supporting applications of quantum computing technologiesFull Paper QP Jaroslaw Adam Miszczak Institute of Theoretical and Applied Informatics, Polish Academy of Sciences
17:00 10m Day closing		Workshop Closing QP Shaukat Ali Simula Research Laboratory, Paolo Arcaini National Institute of Informatics , Tao Yue Simula Research Laboratory

Mon 13 Mar
Displayed time zone: Osaka, Sapporo, Tokyo 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						17:00						30
Faculty of Engineering Building 6, Seminar Room C	ARPL ARPL																								ARPL ARPL																																				ARPL ARPL																								ARPL ARPL

Tue 14 Mar
Displayed time zone: Osaka, Sapporo, Tokyo 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						17:00						30
Faculty of Engineering Building 6, Seminar Room C	QP Keynote and First papers																								QP First paper session																																				QP Second paper session																								QP Third paper session

Mon 13 Mar
Displayed time zone: Osaka, Sapporo, Tokyo 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			17:00			15			30			45
Faculty of Engineering Building 6, Seminar Room C	ARPL ARPL 09:00 - 10:30																								ARPL ARPL 11:00 - 12:00																																				ARPL ARPL 14:00 - 15:30																								ARPL ARPL 16:00 - 17:30

Tue 14 Mar
Displayed time zone: Osaka, Sapporo, Tokyo 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			17:00			15			30			45
Faculty of Engineering Building 6, Seminar Room C	QP Workshop Opening 09:00 - 09:05	QPQP Keynote Static Analysis for Quantum Software Correctness and Reliability 09:05 - 10:00											QPFull Paper Model-Driven Quantum Federated Learning (QFL) 10:00 - 10:30												QPLightning Talk QUARC: Towards an Efficient Hybrid System for Bounded Model Checking 11:00 - 11:30						QPFull Paper Towards Reliable Distributed Quantum Computing on Quantum Interconnects 11:30 - 12:00																														QPFull Paper Generalized W state circuits in the qudit Clifford hierarchy 14:00 - 14:30						QPLightning Talk TornadoQSim: An open-source high-performance and modular system for Qua ... 14:30 - 15:00						QPFull Paper Capturing qubit decoherence through paraconsistent transition systems 15:00 - 15:30												QPLightning Talk Towards a New Model of Experiential Learning for Quantum Programmers 16:00 - 16:30						QPFull Paper Symbolic quantum programming for supporting applications of quantum com ... 16:30 - 17:00						QP Workshop Closing 17:00 - 17:10

Room information: Faculty of Engineering Building 6, Seminar Room C

Mon 13 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

Tue 14 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

Mon 13 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

ARPL

ARPL

ARPL

ARPL

Tue 14 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

QP

QP

QP

QP

Mon 13 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

Tue 14 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

Tracks

‹Programming› 2023

Room information: Faculty of Engineering Building 6, Seminar Room C

Program Display Configuration

Mon 13 MarDisplayed time zone: Osaka, Sapporo, Tokyo change

Tue 14 MarDisplayed time zone: Osaka, Sapporo, Tokyo change

Mon 13 MarDisplayed time zone: Osaka, Sapporo, Tokyo change

ARPL

ARPL

ARPL

ARPL

Tue 14 MarDisplayed time zone: Osaka, Sapporo, Tokyo change

QP

QP

QP

QP

Mon 13 MarDisplayed time zone: Osaka, Sapporo, Tokyo change

Tue 14 MarDisplayed time zone: Osaka, Sapporo, Tokyo change

Mon 13 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

Tue 14 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

Mon 13 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

Tue 14 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

Mon 13 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change

Tue 14 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change