logo
verification

Konferenzergebnisse (30)

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

Rank: COffline
Crete, Greece
Oct 27, 2024 - Oct 31, 2024
Formal MethodsVerificationValidation+24 mehr

Design Automation Conf (DAC)

Rank: TBROffline
Moscone West, San Francisco, California, USA
Jun 22, 2025 - Jun 25, 2025
Design AutomationElectronic CircuitsSystems+6 mehr

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 mehr

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 mehr

International Conference on Tests and Proofs (TAP)

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

IEEE International Conference on Computer Design (ICCD)

Rank: TBROffline
Dallas, USA
Nov 10, 2025 - Nov 12, 2025
Computing SystemsSoftware ArchitecturesCompilers+7 mehr

International Conference on the Application and Theory of Petri Nets and Concurrency (Petri Nets)

Rank: BOffline
Paris-Aubervilliers, France
Jun 25, 2025 - Jun 27, 2025
Petri NetsConcurrencySystem Design+36 mehr

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 mehr

ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Rank: A*Offline
The Westin Josun Seoul, Seoul, South Korea
Jun 16, 2025 - Jun 20, 2025
Programming Language DesignProgramming Language ImplementationProgramming Language Theory+19 mehr

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 mehr

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

Rank: AOffline
Singapore
Oct 12, 2025 - Oct 18, 2025
programming systemslanguagesand environments+27 mehr

ACM International Symposium on Computer Architecture (ISCA)

Rank: A*Offline
Waseda University, Tokyo, Japan
Jun 21, 2025 - Jun 25, 2025
Processormemoryand storage systems architecture+33 mehr