logo
testing

Resultados de Congresos (13)

International Symposium on High Performance Computer Architecture (HPCA)

Rank: A*Offline
Sydney, NSW, Australia
Jan 31, 2026 - Feb 4, 2026
Processormemoryand storage systems architecture and microarchitecture+27 más

International Conference on Management of Data (COMAD)

Rank: National: IndiaOffline
IISER Pune, Pune
Dec 17, 2025 - Dec 20, 2025
Data ScienceData ManagementData Mining+57 más

International Conference on Concurrency Theory (CONCUR)

Rank: AIn-person; single-blind review; proceedings published by LIPIcs
University of Liverpool, UK
Sep 1, 2026
Semanticslogicsverification and analysis of concurrent systems; models (abstract machines+23 más

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

Rank: AOffline
Oakland, California, United States
Mar 10, 2026
requirementsmodelingprototyping+7 más

International Conference on Reliable Software Technologies (Ada-Europe)

Rank: Journal PublishedOffline
Västerås, Sweden
Sep 6, 2026
Formal MethodsTestingand Model-based Engineering of Critical Systems+4 más

Asia and South Pacific Design Automation Conference (ASPDAC)

Rank: COffline
Hong Kong Disneyland Hotel, Hong Kong
Jan 19, 2026 - Jan 22, 2026
System-Level Modeling and Design MethodologyEmbeddedCyberphysical (CPS)+20 más

Formal Methods in Computer-Aided Design (FMCAD)

Rank: BOffline
Menlo Park, California, USA
Oct 6, 2025 - Oct 10, 2025
Formal MethodsHardware VerificationSystem Verification+4 más

Conference on Algebra and Coalgebra in Computer Science (CALCO)

Rank: BOffline
University of Strathclyde, UK
Jun 16, 2025 - Jun 18, 2025
AlgebraCoalgebraComputer Science+52 más

International Conference on Evaluation and Assessment in Software Engineering (EASE)

Rank: AOffline
Istanbul Technical University, Istanbul, Turkey
Jun 17, 2025 - Jun 20, 2025
Evaluation and Assessment in Software EngineeringMeta-scienceResearch methods+29 más

Conference on Agile Software Development (XP)

Rank: BOffline
Brugg - Windisch, Switzerland
Jun 2, 2025 - Jun 5, 2025
Agile Software DevelopmentLeadership and coachingHuman aspects+51 más

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Rank: AOffline
Turin, Italy
Apr 11, 2026 - Apr 16, 2026
specification and verification techniquessoftware and hardware verificationanalytical techniques for real-time+16 más

Pacific Rim International Symposium on Dependable Computing (PRDC)

Rank: COffline
Seoul, South Korea
Nov 3, 2025 - Nov 5, 2025
Software and hardware reliabilityresiliencesafety+28 más