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
toolsand empirical evaluations of architecturesexecution environments+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 その他