logo
testing

カンファレンス検索結果 (13)

Conference on Algebra and Coalgebra in Computer Science (CALCO)

Rank: BOffline
University of Strathclyde, UK
Jun 16, 2025 - Jun 18, 2025
AlgebraCoalgebraComputer Science+52 その他

Formal Methods in Computer-Aided Design (FMCAD)

Rank: BOffline
Menlo Park, California, USA
Oct 6, 2025 - Oct 10, 2025
Formal MethodsHardware VerificationSystem Verification+4 その他

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 その他

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 その他

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

Rank: AOffline
Oakland, California, United States
Oct 3, 2026
requirementsmodelingprototyping+7 その他

ACM International Symposium on Computer Architecture (ISCA)

Rank: A*Offline
Raleigh, USA
Jun 27, 2026
Processormemoryand storage systems architecture+14 その他

International Conference on Concurrency Theory (CONCUR)

Rank: AIn-person; single-blind review; proceedings published by LIPIcs
University of Liverpool, UK
Sep 1, 2026 - Sep 4, 2026
Semanticsprocess algebrasPetri nets+23 その他

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 その他

International Conference on Reliable Software Technologies (Ada-Europe)

Rank: Journal PublishedOffline
Västerås, Sweden
Sep 6, 2026
Formal MethodsTestingHigh-Integrity Systems and Reliability+4 その他

ACM Conference on Embedded Software (EMSOFT)

Rank: Journal publishedOffline
Taipei, Taiwan
Sep 28, 2025 - Oct 3, 2025
Embedded Software SystemsEmbedded Distributed SystemsNetworked Systems+39 その他

Pacific Rim International Symposium on Dependable Computing (PRDC)

Rank: COffline
Seoul, South Korea
Nov 3, 2025 - Nov 5, 2025
Software and hardware reliabilityresiliencesafety+28 その他

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 その他