mkTut2023
Mon 13 - Tue 14 March 2023 Tokyo, Japan
co-located with ‹Programming› 2023
VenueThe University of Tokyo
Room nameFaculty of Engineering Building 6, Seminar Room C
Floor3
Room number6C
Room InformationNo extra information available
Program

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
09:00
90m
Tutorial
ARPL
ARPL

11:00 - 12:00
11:00
60m
Tutorial
ARPL
ARPL

14:00 - 15:30
14:00
90m
Tutorial
ARPL
ARPL

16:00 - 17:30
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
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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Faculty of Engineering Building 6, Seminar Room C

Tue 14 Mar

Displayed time zone: Osaka, Sapporo, Tokyo change