Akademie věd ČR
o TIMe experience in Europe´s Digital age (TIMED)
Řešitel:Investigator:Filip Vostal, Ph. D.
Poskytovatel:Provider:Akademie věd České republiky
Projekt:Project:CHANSE
Trvání:Duration:2022-2025
Meaningful Formalism. A Philosophy of Mathematics for type theory
Řešitel:Investigator:Ansten Klev, Ph. D.
Poskytovatel:Provider:Akademie věd České republiky
Projekt:Project:Prémie Lumina quaeruntur
Trvání:Duration:2021 - 2025
Interdisciplinary Research Lab for Bioethics
Řešitel:Investigator:Geoffrey Dierckxens, Ph.D.
Poskytovatel:Provider:Akademie věd České republiky
Projekt:Project:Prémie Lumina quaeruntur
Trvání:Duration:2020-2024
