logo
quantum

会议结果 (3)

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Rank: BSpringer LNCS; 18 pages (regular), up to 18 pages (tool papers); double-blind (regular), single-blind (tool)
Venue TBD
Jan 12, 2026
Modeling and specification; finite-stateinfinite-state and parameterized systems; program analysis and software verification; hardwareSoC+10 更多

International Conference on Concurrency Theory (CONCUR)

Rank: AIn-person; single-blind review; proceedings published by LIPIcs
University of Liverpool, UK
Sep 1, 2026
Semanticslogicsverification and analysis of concurrent systems; models (abstract machines+23 更多

Design Automation Conf (DAC)

Rank: TBROffline
Long Beach, CA, USA
Jun 7, 2026
QuantumChipletsSecurity+7 更多