logo
Verification

Résultats des conférences (30)

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

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

IEEE European Test Symposium (ETS)

Rank: TBROffline
Tallinn, ESTONIA
May 26, 2025 - May 30, 2025
Electronic-based circuits and systems testingreliabilitysafety+76 plus

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 plus

IEEE International Conference on Computer Design (ICCD)

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

Real Time Systems Symposium (RTSS)

Rank: A*Offline
Boston, MA, USA
Dec 2, 2025 - Dec 5, 2025
Real-Time SystemsTime-Predictable ComputingTheory+35 plus

International Colloquium on Theoretical Aspects of Computing (ICTAC)

Rank: COffline
Marrakech, Morocco
Nov 24, 2025 - Nov 28, 2025
Formal languages and automataSemantics of programming languagesLogic in computer science+23 plus

International Conference on Relational and AlgebraicMethods in Computer Science (RAMiCS)

Rank: COffline
Institute of Mathematics of the Polish Academy of Sciences, Będlewo, Poland
Apr 7, 2026 - Apr 10, 2026
relation algebrasKleene algebrasalgebraic structures+29 plus

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

Cooperative Design, Visualization, and Engineering (CDVE)

Rank: COffline
Bangkok, Thailand
Oct 19, 2025 - Oct 22, 2025
Cooperative DesignCooperative VisualizationCooperative Engineering+137 plus

Design, Automation and Test in Europe Conference (DATE)

Rank: BOffline
Verona, Italy
Apr 20, 2026 - Apr 22, 2026
Electronic System DesignTestHardware Design+84 plus

Integrated Formal Methods (IFM)

Rank: BOffline
Paris, France
Nov 19, 2025 - Nov 21, 2025
Formal MethodsModellingVerification+3 plus

Design Automation Conf (DAC)

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