logo
Verification

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

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

International Conference on Tests and Proofs (TAP)

Rank: COffline
Milan, Italy
Sep 9, 2024 - Sep 10, 2024
VerificationFormal MethodsStatic Analysis+3 その他

IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)

Rank: AOffline
Irvine, USA
May 6, 2025 - May 9, 2025
Systems with timing requirementsapplicationscase studies+8 その他

IEEE International Conference on Computer Design (ICCD)

Rank: TBROffline
Dallas, USA
Nov 10, 2025 - Nov 12, 2025
Computer SystemsSystem ArchitectureMulti-core Processors+8 その他

International Conference on Logic Programming (ICLP)

Rank: AOffline
University of Calabria, Rende (CS), Italy
Sep 12, 2025 - Sep 19, 2025
Logic ProgrammingFormal and operational semanticsNon-monotonic reasoning+26 その他

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

International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

Rank: COffline
Crete, Greece
Oct 27, 2024 - Oct 31, 2024
Formal MethodsVerificationValidation+26 その他

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

Joint Conference of the International Workshop on Software Measurement and the International Conference on Software Process and Product Measurement (IWSM Mensura)

Rank: COffline
University of Sharjah, UAE
Oct 27, 2025 - Oct 28, 2025
Software MeasurementSoftware ProcessSoftware Product Measurement+22 その他

European Conference on Multi-Agent Systems (EUMAS)

Rank: COffline
Bucharest, Romania
Sep 3, 2025 - Sep 5, 2025
Action and PlanningAdaptation and LearningAgent Architectures+44 その他

International Conference on Software Testing, Verification and Validation (ICST)

Rank: AOffline
Naples, Italy
Mar 31, 2025 - Apr 4, 2025
Software TestingVerificationValidation