Home   /   Department Mathematical Logic and Theoretical Computer Science   /   Grants
Grants

25-16311S

from 01/01/2025  to  31/12/2027

Grantor: Czech Science Foundation

Complexity of computation, communication, and search

101106684 EXCICO

from 02/01/2024  to  31/03/2024

Grantor: European Commission

Extremal Combinatorics and Circuit Complexity

L100192401

from 01/01/2024  to  31/12/2025

Grantor: Czech Academy of Sciences

Comparing the Strength of Weak Formal Systems

GA23-04683S

from 01/01/2023  to  31/12/2025

Grantor: Czech Science Foundation

Compactness in set theory, with applications to algebra and graph theory

GA23-04825S

from 01/01/2023  to  31/12/2025

Grantor: Czech Science Foundation

Logic and unsatisfiability