AI Symposium

AI Symposium:

Towards AI for the Next Decade

Day 2: Wednesday, 31 May 2023 | 9:00-17:20
CIIRC CTU – Building B, Respirium

Join us for inspiring talks on the latest approaches in AI, ML, computer vision and intelligent robotics.

This event is open to all AI fans

  • Scientists and the research community
  • Industry and innovation ecosystem
  • Public bodies
  • Students

About the Event

Join us for inspiring talks on the latest approaches in AI, ML, computer vision and intelligent robotics.

  • Get high-level presentations from outstanding international AI experts.
  • Discuss how best to develop the AI ecosystem in Europe and opportunities for collaboration in AI-driven industries.
  • Learn about positive experiences in attracting top scientists to the Czech Republic.
  • Enjoy networking and personal discussions.

AI Symposium is hosted and organised by three excellent CIIRC CTU researchers – Robert Babuška, Josef Urban and Josef Šivic who will also present the latest achievements within their areas of research:

  • AI & Reasoning: Artificial Intelligence and Reasoning | Josef Urban
  • IMPACT: Intelligent Machine Perception | Josef Šivic
  • R4I: Robotics for Industry 4.0 | Robert Babuška



08:30-09:00 The arrival of guests, morning coffee

09:10 – 09:50

Keynote I: Prof. Holger Hoos, CLAIRE


Keynote II: Dr. Jan Šedivý  | CIIRC CTU

Contribution of Czech Science to the Fast Development of Large Language Models: Overview & Best Practice

10:30 – 11:00 Coffee Break

12:30 – 13:30 Networking Lunch | Guided tour in Testbed for Industry 4.0. Start: 13:00

13:30 – 14:10

Keynote III: Patrick Peréz |

14:10 – 15:10

Panel Discussion: How to best develop the AI ecosystem in Europe?

  • Prof. Holger Hoos | CLAIRE
  • Patrick Peréz | 
  • Prof. Jan Hajič | Institute of Formal and Applied Linguistics, Charles University
  • Tomáš Mikolov | CIIRC CTU
  • Prof. Michal Pěchouček | AI Center (AIC) CTU
  • Moderator: Vít Dočkal | CIIRC CTU

15:10 – 15:30 Coffee Break

15:30 – 15:50

3D Reconstruction and Visual Localization
Dr. Torsten Sattler | CIIRC CTU

15:50 – 16:10

Automated Reasoning, Machine Learning and Automated Theorem Proving
Dr. Martin Suda | CIIRC CTU

16:10 – 16:30

Formal Methods, Automated Reasoning, SAT Solving
Dr. Mikoláš Janota | CIIRC CTU

16:30 – 17:20

Wrap up panel discussion: Trends in AI

  • Holger Hoos, Robert Babuška, Patrick Peréz, Josef Šivic, Josef Urban, Tomáš Mikolov
  • Moderator: Vladimír Mařík


Ask your questions and disscuss with the speakers and panellists!




Prof. Vladimír Mařík

Scientific Director, CIIRC CTU


Prof. Vladimíř Mařík acted as the managing director of the Rockwell Automation Research Center, Prague and also the Head of the Department of Cybernetics at CTU in 1999-2013 and a founder and Scientific Director of the CIIRC of the CTU in Prague. He has been a member of the R&D&I Council of the CZ (2011-15 and 2018-). He is co-author of the National Initiative for Industry 4.0 of the CZ and a Board member of AICZECHIA. He is co-author, principal investigator and coordinator of RICAIP. He acted as coordinator of the National Competence Centre on Cybernetics and AI (TA CR, EUR 8M). He acted as Editor-in-chief of IEEE SMC Part C (2005-13), Board member of IEEE SMC (2005 to present), has received the IEEE SMC Outstanding Contribution Award (2012) and has been Vice-president of IEEE SMC (2013-).


Holger Hoos

CLAIRE, RWTH Aachen University


Holger H. Hoos is Alexander von Humboldt Professor of AI at RWTH Aachen University and Professor of Machine Learning at Universiteit Leiden, VISION Project Coordinator and chairman of the board of CLAIRE.

His research is aimed at methodological and technological advances in human-centred AI, AI for Good and AI for All. Specifically, he seeks to improve the efficiency of AI methods, by automatically increasing performance and reducing resource needs; and to broaden access to and use of cutting-edge AI methods.

Patrick Pérez


Patrick Pérez is Valeo VP of AI and Scientific Director of, an AI research lab focused on Valeo automotive applications, self-driving cars in particular. Before joining Valeo, Patrick Pérez was a researcher at Technicolor (2009-2018), Inria (1993-2000, 2004-2009) and Microsoft Research Cambridge (2000-2004). His research interests include multimodal scene understanding and computational imaging.

Jan Šedivý



Jan Šedivý has been working at the Czech Institute of Informatics, Robotics and Cybernetics since 2016 as the head of the Big Data and Cloud Computing research group. 

He specializes in research on conversational artificial intelligence and human-robot interaction, and he also runs the CTU eClub, a scientific incubator for gifted students. It also gave rise to the Alquist student team, which won a gold medal in Amazon’s international Alexa Prize competition with its eponymous social bot.

Chairs | PIs of projects receiving support for excellent research teams

Josef Urban



Josef Urban is a distinguished researcher at the CIIRC CTU where he implemented his ERC Consolidator project AI4REASON. He is also a member of the extended core team of the CLAIRE initiative and a member of the CLAIRE Office Prague. His research focuses on automated reasoning in large semantically specified knowledge bases. He is also involved in the formalization and computer verification of mathematics, especially in Mizar.

Josef Šivic



Josef Šivic is head of the research group focused on intelligent machine perception at the CIIRC CTU and director of the ELLIS Unit Prague. He is ranked among the best Czech computer scientists by

In March 2023, he received ERC Advanced Grant for his research on intelligent systems capable of learning in a dynamic 3D world.

Robert Babuška



Robert Babuska is a full professor at the Department of Cognitive Robotics, Faculty of 3mE, Delft University of Technology and a distinguished researcher at CIIRC CTU where he leads the research groups focused on Machine Learning and Robotics for Industry 4.0. 

His research interests include automatic robot control, reinforcement learning, adaptive and learning control systems, robot navigation, identification of nonlinear systems, symbolic regression and state estimation.

Speakers | RICAIP Tenure Track Position Holders

Tomáš Mikolov



Tomáš Mikolov is a senior researcher at CIIRC CVUT, Prague. With over 90 thousand citations, he is one of the most cited researchers worldwide in the areas such as natural language processing, machine learning and artificial intelligence. His most notable projects apply neural networks to various language problems (machine translation, speech recognition, language modelling and text classification). His main research interest is to develop intelligent algorithms that can learn through communication similarly to people.

Torsten Sattler



Torsten Sattler is a senior researcher at the Czech Institute of Informatics, Robotics and Cybernetics (CIIRC) at the Czech Technical University in Prague (CTU), where he is heading the Spatial Intelligence group. His work is in the intersection of 3D computer vision and machine learning, with the goal of making 3D computer vision algorithms such as 3D reconstruction and visual localization more robust and reliable through scene understanding while using 3D computer vision methods to train machine learning models.

Mikoláš Janota



Throughout his academic career, Mikolas Janota has been interested in the practical applications of logic and automated reasoning, especially in the context of software development and verification. He has actively worked on the development of the verification tool ESC/Java and the application of satisfiability (SAT) solvers for product configuration (logic-based recommendation system).

Martin Suda



Martin Suda currently holds a senior researcher position at CIIRC CTU, conducting research in areas of Automated Reasoning (AR) and Machine Learning (ML). 

He is known as a co-developer of and one of the researchers behind Vampire, a world leading automatic theorem prover for first-order logic with theories, as exemplified by its victories at the annual CADE ATP System Competition and by its strong participation at SMTCOMP.

Special Guests in the Panels

Vít Dočkal



Vít Dočkal works as the professional project manager at CIIRC CTU since its establishment in 2013. Vít Dočkal is closely involved in CLAIRE’s engagement with industry and in supporting the AI ecosystem in Central and Eastern Europe. He is also co-founder of the CTU spin-off company TRIX Connections. Together with Martin Tolar, he stands behind the idea of INDRC Centre, which brings new approaches in research in the area of Alzheimer’s disease and other neurodegenerative disorders. 

Jan Hajič

Charles University


Jan Hajič is a full professor of Computational Linguistics at the Institute of Formal and Applied Linguistics at the School of Computer Science, Charles University in Prague. His interests cover morphology and part-of-speech tagging of inflective languages, machine translation, deep language understanding, and the application of statistical methods in natural language processing in general. He has extensive experience in building language resources for multiple languages with rich linguistic annotation and is currently the director of LINDAT/CLARIAH-CZ.

Michal Pěchouček



Michal Pěchouček is the Director of the AI Center (AIC) and full professor at the Faculty of Electrical Engineering, Czech Technical University in Prague. Over the past 20 years, he has been working at the CTU in Prague, where he led the Department of Computer Science, co-founded the research-oriented program Open Informatics, established the AIC, and started the initiative that aims to transform Prague into a European AI superhub..

Contact Person

Eva Doležalová

Register for free

Due to the limited capacity of the room, we would like to ask for registration for the event. If you cannot come to Prague in person, you can follow the lectures also online. Register, choose the form of your participation and we will keep you informed.

Do not miss the program of Industry-AI Days 2023

Supporting projects