logo
Hardware

会议结果 (6)

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 更多

ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems (LCTES)

Rank: BOffline
Seoul, South Korea
Jun 16, 2025 - Jun 17, 2025
Programming languagescompilerstools+75 更多

IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

Rank: AOffline
Charlotte, USA
Jun 22, 2026 - Jun 25, 2026
Dependable SystemsNetworksComputer System Resilience+14 更多

International Conference on Formal Methods and Models for Co-Design (MEMOCODE)

Rank: COffline
Taipei, Taiwan
Oct 2, 2025 - Oct 3, 2025
Formal MethodsModelsSystem Design+5 更多

International Conference on Principles and Practice of Constraint Programming (CP)

Rank: AOffline
Glasgow, Scotland
Aug 10, 2025 - Aug 15, 2025
Constraint ProgrammingTheoryAlgorithms+28 更多

Conference on Robot Learning (CoRL)

Rank: UnrankedOffline
Seoul, Korea
Sep 27, 2025 - Sep 30, 2025
Robot LearningLearning representations for robotic perception and controlLearning robot foundation models or general-purpose knowledge systems for robotics+23 更多