logo
program logics

会议结果 (3)

Verification, Model Checking and Abstract Interpretation (VMCAI)

Rank: BOffline
Rennes, France
Jan 11, 2026 - Jan 17, 2026
program verificationmodel checkingabstract interpretation+23 更多

International Conference on Concurrency Theory (CONCUR)

Rank: AOffline
Aarhus University, Aarhus, Denmark
Aug 26, 2025 - Aug 29, 2025
Basic models of concurrencyabstract machinesdomain-theoretic models+63 更多

International Conference on Relational and AlgebraicMethods in Computer Science (RAMiCS)

Rank: COffline
Prague, Czech Republic
Aug 19, 2024 - Aug 22, 2024
relation algebrasKleene algebrassemigroups+14 更多