Wen Tang
Wen Tang
Affiliation: Department of Philosophy, Peking University, Beijing, China
Talks
(IJCAR)
A Complete Proof System for HyperLTL · Refined Logics & Proofs, Hyperproperties & Synthesis
Pages in this Program
Program
Program on Wednesday, 29 July 2026
IJCAR on Wednesday, 29 July 2026
IJCAR Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑