logo
Parameterized Complexity

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

Logical Foundations of Computer Science (LFCS)

Rank: National: USAOnline
No location
TBD
constructive mathematics and type theoryhomotopy type theorylogic+26 thêm

International Conference and Workshops on Algorithms and Computation (WALCOM)

Rank: BOffline
Chengdu, China
Feb 28, 2025 - Mar 2, 2025
AlgorithmsComputationApproximation Algorithms+20 thêm

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

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