logo
Correctness

カンファレンス検索結果 (5)

International Conference on Concurrency Theory (CONCUR)

Rank: AOffline
Aarhus University, Aarhus, Denmark
Aug 26, 2025 - Aug 29, 2025
Basic models of concurrencyabstract machinesdomain-theoretic models+63 その他

Foundations of Software Science and Computational Structures (FOSSACS)

Rank: AOffline
Hamilton, Canada
May 5, 2025 - May 8, 2025
Software ScienceCategorical Models and LogicsLanguage Theory+25 その他

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

Rank: COffline
Institute of Mathematics of the Polish Academy of Sciences, Będlewo, Poland
Apr 7, 2026 - Apr 10, 2026
relation algebrasKleene algebrasalgebraic structures+29 その他

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 その他

International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)

Rank: BHybrid
Benidorm, Spain
May 22, 2026 - May 24, 2026
Software EngineeringTheory and Practice of Systems and Applications DevelopmentSoftware Development Methodologies+71 その他