logo
and verification

Conference Results (5)

Foundations of Software Science and Computational Structures (FOSSACS)

Rank: AOffline
Turin, Italy
Apr 13, 2026 - Apr 16, 2026
categorical models and logicsautomataspatial+24 more

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

Rank: BOffline
Boulder, United States
Jun 15, 2026 - Jun 16, 2026
Domain-specific languagesreconfigurableand other emerging architectures+85 more

IEEE International Workshop on Quality of Service (IWQoS)

Rank: BOffline
Dubai, United Arab Emirates
Jun 29, 2026 - Jul 2, 2026
Artificial Intelligence for QoSData analytics for QoSQoS for data analytics and machine learning+35 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

IEEE Symposium on Logic in Computer Science (LICS)

Rank: A*Offline
Lisbon, Portugal
Jul 20, 2026 - Jul 23, 2026
automata theoryautomated deductioncategorical models and logics+35 more