logo
cyber-physical

Conference Results (4)

Fundamental Approaches to Software Engineering (FASE)

Rank: BOffline
Turin, Italy
Apr 13, 2026 - Apr 16, 2026
data managementtesting and verificationmodel checking+69 more

Conference on Algebra and Coalgebra in Computer Science (CALCO)

Rank: BOffline
Glasgow, United Kingdom
Jun 16, 2025 - Jun 20, 2025
Modal logicsProof systemsRelational systems+64 more

International Workshop on Formal Methods for interactive Systems (FMIS)

Rank: COffline
Rio de Janeiro, Brazil
Apr 12, 2026 - Apr 13, 2026
requirements formalization and formal specificationapproachesmethods+24 more

Design, Automation and Test in Europe Conference (DATE)

Rank: BOffline
Verona, Italy
Apr 20, 2026 - Apr 22, 2026
cyber-physicalreliabilityNew directions in systems design methods and tools+13 more