logo
Parameterized Complexity

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

Logical Foundations of Computer Science (LFCS)

Rank: National: USAOnline
No location
TBD
constructive mathematics and type theoryhomotopy type theorylogic+26 その他

International Conference and Workshops on Algorithms and Computation (WALCOM)

Rank: BOffline
Chengdu, China
Feb 28, 2025 - Mar 2, 2025
Experimental Algorithm MethodologiesGraph AlgorithmsGraph Drawing+20 その他

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 Conference on Theory and Applications of Satisfiability Testing (SAT)

Rank: AOffline
Glasgow, Scotland
Aug 12, 2025 - Aug 15, 2025
Theory and Applications of Satisfiability TestingPropositional SatisfiabilityBoolean optimization+18 その他