logo
language-based security

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

IEEE Computer Security Foundations Symposium (CSF)

Rank: AOffline
Santa Cruz, CA, USA
Jun 16, 2025 - Jun 20, 2025
access controlaccountabilityanonymity+33 その他

ASIAN Symposium on Programming Languages and Systems (APLAS)

Rank: B
Venue TBD
Dec 1, 2026
type systems and dependent typesprogram logics and verificationcompilers and implementation+7 その他