logo
Security

会议结果 (77)

ACM Symposium on Principles of Distributed Computing (PODC)

Rank: A*Offline
Santa María Huatulco, Mexico
Jun 16, 2025 - Jun 20, 2025
Distributed ComputingDistributed SystemsDistributed Networks+60 更多

ACM/IFIP/USENIX International Middleware Conference (Middleware)

Rank: AOffline
Nashville, TN, USA
Dec 15, 2025 - Dec 19, 2025
Middleware SystemsDistributed SystemsCloud Computing+13 更多

International Conference on Information and Knowledge Engineering (IKE)

Rank: National: USAOffline
Las Vegas, USA
Jul 21, 2025 - Jul 24, 2025
Information Retrieval SystemsKnowledge ManagementCyber-Learning+73 更多

Utility and Cloud Computing (UCC)

Rank: UnrankedOffline
Nantes, France
Dec 1, 2025 - Dec 4, 2025
CloudPrivacy and PoliciesAutonomic+78 更多

IEEE International Conference on Cloud Computing Technology and Science (CloudCom)

Rank: COffline
Shenzhen, China
Nov 14, 2025 - Nov 16, 2025
Cloud ComputingEdge ComputingVirtualization+32 更多

International Symposium on Information Assurance and Security (IAS)

Rank: COffline
Empire State Plaza, Albany, NY
Jun 3, 2025 - Jun 4, 2025
Information AssuranceSecurityArtificial Intelligence+5 更多

Conference on File and Storage Technologies (FAST)

Rank: AOffline
Santa Clara, CA, USA
Feb 24, 2026 - Feb 26, 2026
Archival systemsAI for storage and storage for AIAuditing and provenance+35 更多

IEEE International Conference on Computer Design (ICCD)

Rank: TBROffline
Dallas, USA
Nov 10, 2025 - Nov 12, 2025
Computer SystemsSystem ArchitectureMulti-core Processors+8 更多

Australasian Database Conference (ADC)

Rank: Australasian BOffline
University of New South Wales, Sydney, Australia & Tsinghua Southeast Asia Center, Bali, Indonesia
Dec 4, 2025 - Dec 7, 2025
Database SystemsData ManagementData Mining+36 更多

Conference on Interactive Theorem Proving (ITP)

Rank: AOffline
Reykjavik, Iceland
Sep 29, 2025 - Oct 2, 2025
Interactive Theorem ProvingProgram VerificationSecurity+1 更多

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Rank: BOffline
Bengaluru, India
Oct 27, 2025 - Oct 31, 2025
Formalisms for modeling hardwaresoftware and embedded systemsSpecification and verification of finite-state+23 更多

Automation of Software Test (AST)

Rank: COffline
Rio de Janeiro, Brazil
Apr 13, 2026 - Apr 14, 2026
Software Quality Assurance (SQA)Software testing automationAI for Automated Software Testing+43 更多
...