logo
Logics

会议结果 (3)

Conference on Algebra and Coalgebra in Computer Science (CALCO)

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

International Conference on Formal Structures for Computation and Deduction (FSCD)

Rank: BOffline
Birmingham, UK
Jul 15, 2025 - Jul 18, 2025
Formal StructuresComputationDeduction+39 更多

International Conference on Testing Software and Systems (ICTSS)

Rank: COffline
Limassol, Cyprus
Sep 17, 2025 - Sep 19, 2025
Test CoverageTest ConcretizationTest Implementation+73 更多