logo
verification

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

ACM Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA)

Rank: AOffline
Singapore
Oct 12, 2025 - Oct 18, 2025
programming systemslanguagesand environments+27 بیشتر

ACM SIGMOD-SIGACT-SIGART Conference on Principles of Database Systems (PODS)

Rank: A*Offline
Bengaluru, India
May 31, 2026 - Jun 5, 2026
Database processingQuery evaluationQuery optimization+43 بیشتر

Workshop on Programming Languages and Operating Systems (PLOS)

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

ACM International Symposium on Computer Architecture (ISCA)

Rank: A*Offline
Waseda University, Tokyo, Japan
Jun 21, 2025 - Jun 25, 2025
Processormemoryand storage systems architecture+33 بیشتر

ACM SIGOPS Symposium on Operating Systems Principles (SOSP)

Rank: A*Offline
Clarion Congress Hotel Prague, Prague, Czechia
Sep 29, 2026 - Oct 2, 2026
Operating systemsfile and storage systemsdistributed systems+14 بیشتر

ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Rank: A*Offline
The Westin Josun Seoul, Seoul, South Korea
Jun 16, 2025 - Jun 20, 2025
CompilersSynthesisSecurity+19 بیشتر

International Conference on Dependable, Autonomic and Secure Computing (DASC)

Rank: COffline
Hakodate City, Hokkaido, Japan
Oct 21, 2025 - Oct 24, 2025
Self-OrganizationOrganic ComputingCognitive Computing+40 بیشتر

Pacific Rim International Symposium on Dependable Computing (PRDC)

Rank: COffline
Seoul, South Korea
Nov 3, 2025 - Nov 5, 2025
Software and hardware reliabilityresiliencesafety+28 بیشتر

International Colloquium on Theoretical Aspects of Computing (ICTAC)

Rank: COffline
Marrakech, Morocco
Nov 24, 2025 - Nov 28, 2025
Formal languages and automataSemantics of programming languagesLogic in computer science+23 بیشتر

International Conference on Tests and Proofs (TAP)

Rank: COffline
Milan, Italy
Sep 9, 2024 - Sep 10, 2024
VerificationFormal MethodsStatic Analysis+3 بیشتر

European Conference on Multi-Agent Systems (EUMAS)

Rank: COffline
Bucharest, Romania
Sep 3, 2025 - Sep 5, 2025
Agent ArchitecturesAgent Programming LanguagesAgent Development Methodologies and Tools+44 بیشتر

International Conference on Relational and AlgebraicMethods in Computer Science (RAMiCS)

Rank: COffline
Institute of Mathematics of the Polish Academy of Sciences, Będlewo, Poland
Apr 7, 2026 - Apr 10, 2026
relation algebrasKleene algebrassemigroups+29 بیشتر