logo
Approaches

نتایج کنفرانس‌ها (5)

Workshop on Programming Languages and Operating Systems (PLOS)

Rank: COffline
Seoul, Republic of Korea
Oct 13, 2025
specialization,techniquestype-safe+89 بیشتر

World Conference on Educational Multimedia, Hypermedia and Telecommunications (ED-MEDIA)

Rank: COffline
Edinburgh, Scotland
May 19, 2025 - May 23, 2025
EvaluationSociallyApproaches+42 بیشتر

International Workshop on Formal Methods for interactive Systems (FMIS)

Rank: COffline
Ottawa, Ontario, Canada
Apr 27, 2025 - Apr 28, 2025
requirements formalization and formal specificationapproachesmethods and tools for verification and validation+14 بیشتر

Theory of Cryptography Conference (TCC)

Rank: AOffline
Aarhus, Denmark
Dec 1, 2025 - Dec 5, 2025
paradigmsapproachesand techniques used to conceptualize natural cryptographic problems and provide algorithmic solutions to them

International Conference on Provable Security (ProvSec)

Rank: COffline
Yokohama, Japan
Oct 10, 2025 - Oct 12, 2025
Provable security for asymmetric cryptographyProvable security for symmetric cryptographyProvable security for physical attacks+21 بیشتر