logo
Concurrent

会议结果 (3)

International Conference on Software Testing, Verification and Validation (ICST)

Rank: AOffline
Naples, Italy
Mar 31, 2025 - Apr 4, 2025
AI-assisted software testingAutomated test generationFormal verification+35 更多

Symposium on Parallelism in Algorithms and Architectures (SPAA)

Rank: BOffline
Portland, Oregon
Jul 28, 2025 - Aug 1, 2025
Parallel and Distributed AlgorithmsParallelConcurrent+22 更多

Conference on Algebra and Coalgebra in Computer Science (CALCO)

Rank: BOffline
University of Strathclyde, UK
Jun 16, 2025 - Jun 18, 2025
AlgebraCoalgebraComputer Science+52 更多