April 11 (Thu) | |
---|---|
[Afternoon Session] (13:00 – 16:20 ; 1F Seminar room, Science South Building) | |
13:00 – 13:50 |
Masahito Hayashi (Nagoya) Various security in quantum information |
13:50 – 14:30 |
Ximing Wang (SUSTech) Classification by Boosting – A Perspective with Quantum Advantage |
Break (20 min) | |
14:50 – 15:40 |
Harumichi Nishimura (Nagoya) Possibility of classical verification for quantum computation |
15:40 – 16:20 |
Seunghoan Song (Nagoya) Capacity of Quantum Private Information Retrieval with Multiple Servers |
April 12 (Fri) | |
[Morning Session] (9:20 – 13:00 ; 1F Seminar room, Science South Building) | |
9:20 – 10:10 |
Jacques Garrigue (Nagoya) Functional programming, type systems, proofs and models |
10:10 – 11:00 |
Man-Hong Yung (SUSTech, Huawei) Quantum Computing for the Near Future |
11:00 – 11:50 |
Xingyao Wu (Huawei) Quantum Reinforcement Learning and Self-testing of Quantum Device |
11:50 – 13:00 |
Free Discussion |
Lunch (Closed Lunch Meeting, 13:00 – 14:00) | |
[Afternoon Session] (14:00 – 17:10 ; 1F Seminar room, Science South Building) | |
14:00 – 14:50 |
Francesco Buscemi (Nagoya) "Semiquantum games" to verify quantum correlations (in space and time) |
14:50 – 15:30 |
Bin Cheng (SUSTech) Experimental Cryptographic Verification for Near-Term Quantum Cloud Computing |
Break (20 min) | |
15:50 – 16:30 |
Yuuya Yoshida (Nagoya) Asymptotic Properties for Quantum Dynamics |
16:30 – 17:10 |
Hayato Arai (Nagoya) Perfect Discrimination of Non-Orthogonal Separable Pure States on Bipartite System in General Probabilistic Theory |
April 13 (Sat) | |
[Morning Session] (10:00 – 12:00 ; Room A317, School of Science Building A) | |
Free Discussion |