logo
program analysis

会议结果 (3)

ASIAN Symposium on Programming Languages and Systems (APLAS)

Rank: B
Venue TBD
Jan 12, 2026
programming paradigms and stylestype systems and dependent typesprogram logics and verification+7 更多

Usenix Security Symposium (USENIX-Security)

Rank: A*Offline
Seattle Convention Center, Seattle, WA, USA
Aug 13, 2025 - Aug 15, 2025
System securityOperating systems securityWeb security+64 更多

Foundations of Software Science and Computational Structures (FOSSACS)

Rank: AOffline
Hamilton, Canada
May 5, 2025 - May 8, 2025
Software ScienceCategorical Models and LogicsLanguage Theory+25 更多