AI Symposium: no. 10 Powering Automatic Theorem Provers by Machine Learning; Martin Suda (CIIRC CTU) 

Watch inspiring talks on the latest approaches and advances in #AI, #MachineLearning, #MachinePerception, Computer Vision and Intelligent #Robotics - presented by CIIRC CTU's top research teams. Moreover, the experts from the Czech Republic and abroad discussed trends in AI for the next decade.
Learn more about the program: industry-ai.cz/ai-symposium/
Opening: Prof. Vladimír Mařík | CIIRC CTU
Keynote I: Prof. Holger Hoos | CLAIRE
Keynote II: Jan Šedivý | CIIRC CTU
AI & Reasoning: Artificial Intelligence and Reasoning: Josef Urban | CIIRC CTU
IMPACT: Intelligent Machine Perception: Josef Šivic | CIIRC CTU
R4I: Robotics for Industry 4.0: Prof. Robert Babuška | CIIRC CTU
Keynote III: Patrick Peréz | Valeo.ai
Panel Discussion: How to best develop the AI ecosystem in Europe?
3D Reconstruction and Visual Localization: Torsten Sattler | CIIRC CTU
Automated Reasoning, Machine Learning and Automated Theorem Proving: Martin Suda | CIIRC CTU
Formal Methods, Automated Reasoning, SAT Solving: Mikoláš Janota | CIIRC CTU
Wrap-up Panel Discussion: Trends in AI
The event was organised within INDUSTRY-AI Days 2023 as part of the 10th Anniversary of CIIRC CTU, with the support of the Ministry of Education and Science and EU funds in cooperation with the RICAIP Centre - ricaip.eu/ - on the occasion of the end of three long-term grants of the OP RDE, which enabled the return of leading Czech researchers from abroad to CIIRC CTU.

Наука