logo
Correctness

Kết quả hội nghị (4)

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 thêm

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 thêm

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 thêm

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

Rank: BHybrid
Benidorm, Spain
May 22, 2026 - May 24, 2026
Software Change and Configuration ManagementSoftware Product Line EngineeringEmpirical Software Engineering+71 thêm