logo
embedded

Conference Results (5)

Integrated Formal Methods (IFM)

Rank: BOffline
Paris, France
Nov 19, 2025 - Nov 21, 2025
model checkingTheorem provingProgram synthesis+21 more

Fundamental Approaches to Software Engineering (FASE)

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

International Conference on Internet Technologies and Applications (ITA)

Rank: National: USAHybrid
Sydney, Australia
Jun 20, 2026 - Jun 22, 2026
Artificial IntelligenceMachine LearningData Mining+111 more

Tangible, Embedded, and Embodied Interaction (TEI)

Rank: BHybrid
Chicago, United States
Mar 8, 2026 - Mar 11, 2026
tangibleembeddedand embodied interaction

International Symposium on Software Engineering: Theories, Tools, and Applications (SETTA)

Rank: National:ChinaOffline
Oxford, United Kingdom
Dec 1, 2025 - Dec 3, 2025
Requirements specification and analysisFormalisms for modelingdesign and implementation+29 more