logo
correctness

Conference Results (4)

Foundations of Software Science and Computational Structures (FOSSACS)

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

International Conference on Concurrency Theory (CONCUR)

Rank: AOffline
Aarhus, Denmark
Aug 26, 2025 - Aug 29, 2025
Basic models of concurrencyabstract machinesdomain-theoretic models+63 more

International Conference on Relational and AlgebraicMethods in Computer Science (RAMiCS)

Rank: COffline
Będlewo, Poland
Apr 7, 2026 - Apr 10, 2026
relation algebrasKleene algebrasalgebraic structures+30 more

ACM/IEEE International Conference on Modelling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM)

Rank: AOffline
Barcelona, Spain
Oct 27, 2025 - Oct 31, 2025
Performance evaluation and modelingAnalytical ModelsSimulation languages and tools for wireless systems+41 more