logo
Logic in computer science

会议结果 (3)

International Colloquium on Theoretical Aspects of Computing (ICTAC)

Rank: COffline
Marrakech, Morocco
Nov 24, 2025 - Nov 28, 2025
Formal languages and automataSemantics of programming languagesLogic in computer science+23 更多

Foundations of Software Technology and Theoretical Computer Science (FST&TCS)

Rank: National: IndiaOffline
BITS Pilani, K K Birla Goa Campus
Dec 17, 2025 - Dec 19, 2025
Algebraic ComplexityAlgorithms and Data StructuresAlgorithmic Graph Theory and Combinatorics+35 更多

International Symposium on Fundamentals of Computation Theory (FCT)

Rank: BOffline
University of Wrocław, Wrocław, Poland
Sep 15, 2025 - Sep 17, 2025
AlgorithmsComplexityFormal Methods+52 更多