logo
program analysis

カンファレンス検索結果 (3)

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 その他

ASIAN Symposium on Programming Languages and Systems (APLAS)

Rank: B
Venue TBD
Dec 1, 2026
programming paradigms and stylesconcurrency and distributionlanguage-based security+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 その他