theoretical computer science

Algebraizing first-order logics

2026–2030

GA ČR

Inhomogeneous random graphs

2026–2028

GA ČR

Substitution in Material Inference and Logical Environments

2026–2028

GA ČR

Biography of Fake News with a Touch of AI: Dangerous Phenomenon through the Prism of Modern Human Sciences

2025–2029

GA MŠk

KATRA: Knowledge, Action and Time – A Relevant Approach

2025–2027

GA ČR

Modern Czech Logic within the Philosophy of Mathematics

2025–2027

GA ČR

Mgr. Igor Sedlár, Ph.D.

Mgr. Jan Hladký, Ph.D.

Mgr. Marta Bílková, Ph.D.

Mgr. Tomáš Hons

Michele Bailetti, Ph.D.

MSc. Krishna Balajirao Manoorkar, Ph.D.

Pietro Vigiani, Ph.D.

Prof. RNDr. Štefan Porubský, DrSc.

RNDr. Filip Jankovec

RNDr. Ondrej Majer, CSc.

RNDr. Petr Savický, CSc.

RNDr. Zuzana Haniková, Ph.D.

Roman Kuznets, Ph.D.

Samuel Braunfeld, Ph.D.

Vítězslav Švejdar

Wesley Fussner, Ph.D.

Wolfgang Poiger, Ph.D.