logo
real-time

Conference Results (5)

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 Concurrency Theory (CONCUR)

Rank: AIn-person; single-blind review; proceedings published by LIPIcs
University of Liverpool, UK
Sep 1, 2026 - Sep 4, 2026
Semanticsprocess algebrasPetri nets+23 more

International Conference on Software Engineering and Formal Methods (SEFM)

Rank: BUnknown
Toledo, Spain
Nov 10, 2025 - Nov 14, 2025
Formal MethodsSoftware EngineeringSoftware Development Methods+49 more

International Conference on Advanced and Trusted Computing (ATC)

Rank: COffline
Rende, Italy
Sep 7, 2026
TrustworthyExplainableDistributed AI+21 more

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