海報
演講主題：淺談自動化量子驗證/模擬技術研究 An automata-based approach for quantum circuit/program verification
語言：中文演講 演講時間：113年11月25日(一) AM 10:30 演講地點：逸仙樓1F 050101演講廳
會後提供餐盒，敬請前往報名https://forms.gle/VVJdbLNWVZjDE2RA9
