logo
Security

Résultats des conférences (82)

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 plus

ACM/IFIP/USENIX International Middleware Conference (Middleware)

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

International Conference on Computer Communication and Networks (ICCCN)

Rank: BOffline
Tokyo, Japan
Aug 4, 2025 - Aug 7, 2025
Computer CommunicationsNetworksInfrastructure Networking Technologies+19 plus

Utility and Cloud Computing (UCC)

Rank: UnrankedOffline
Nantes, France
Dec 1, 2025 - Dec 4, 2025
CloudEdge and Computing ContinuumServerless+78 plus

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

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

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+38 plus

International Conference on Ubiquitous Intelligence and Computing (UIC)

Rank: CHybrid
Calgary, Alberta, Canada
Aug 18, 2025 - Aug 22, 2025
Ubiquitous IntelligenceComputingIntelligent/Smart Object & Interaction+63 plus

Conference on Interactive Theorem Proving (ITP)

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

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 plus

IEEE International Performance Computing and Communications Conference (IPCCC)

Rank: CHybrid
Austin, Texas, USA
Nov 21, 2025 - Nov 23, 2025
Cloud ComputingData CentersServerless Computing+68 plus

Automation of Software Test (AST)

Rank: COffline
Rio de Janeiro, Brazil
Apr 12, 2026 - Apr 18, 2026
Software Quality Assurance (SQA)Software testing automationAI for Automated Software Testing+43 plus

International Conference on Software Engineering and Formal Methods (SEFM)

Rank: BOffline
Toledo, Spain
Nov 10, 2025 - Nov 14, 2025
Formal MethodsSoftware EngineeringSoftware Development Methods+49 plus
...