window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} gtag('js', new Date()); gtag('config', 'G-LEGL4CGWNL');
Media2022-08-16T18:37:02+00:00

News

Artificial intelligence to defeat brain degeneration? The world leaders in Alzheimer’s research and artificial intelligence will for the first time meet in the Czech Republic

Forbes: Tolar founded a global AI institute in the Czech Republic. He expects that artificial intelligence will bring a revolution in the treatment of neurodegenerative disorders

Press Releases & Events

Alzheon CEO Dr. Martin Tolar Awarded Eliška and Zdeněk Strmiska Award from Alzheimer’s Foundation for Significant Contribution Towards Research and Treatment of Alzheimer’s Disease, and Donated Cash Prize to INDRC Institute

Key INDRC Publications

    1. Khachaturian A, et al: Accelerating Innovations for Enhanced Brain Health. Can Artificial Intelligence Advance New Pathways for Drug Discovery for Alzheimer’s and other Neurodegenerative Disorders?, The Journal of Prevention of Alzheimer’s Disease 2023; 10, 1-4.
    2. Kaliszyk C, et al: Combining Higher-Order Logic with Set Theory Formalizations, Journal of Automated Reasoning
    3. Zhang L, et al: Learning Proof Transformations and Its Applications in Interactive Theorem Proving, Frontiers of Combining Systems 2023; 14279, 236–254.
    4. Jakubův J, et al: MizAR 60 for Mizar 50, arXiv 2023; 06686
    5. Parsert J, et al: Experiments on Infinite Model Finding in SMT Solving, EasyChair 2023; 94, 317-328

INDRC Annual Reports

2022
Click to view English or Czech

INDRC – International
Neurodegenerative Disorders
Research Center
Privacy Policy

Email: info@indrc.cz

Copyright © 2024 | INDRC All Rights Reserved

This website uses cookies and third-party services. By clicking "ACCEPT", you confirm that you have read and are agreeing to our privacy policy and the use of ALL cookies. ACCEPT
Go to Top