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
CloudEdge and Computing ContinuumServerless+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
algorithmiccompositionaland abstraction/refinement techniques for analysis and verification+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 その他
...