Minbo Gao
Minbo Gao
Affiliation: Institute of Software, Chinese Academy of Sciences
Affiliation: University of Chinese Academy of Sciences
Talks
(LICS)
Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions · Session 5A Logical Aspects of Quantum Computation
Pages in this Program
Program
Program on Tuesday, 21 July 2026
LICS on Tuesday, 21 July 2026
LICS Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑