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
Gallery
Program
08:30-09:00 The arrival of guests, morning coffee
09:00 – 09:10
Opening: Prof. Vladimír Mařík | CIIRC CTU
09:10 – 09:50
Keynote I: Prof. Holger Hoos, CLAIRE
09:50-10:30
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 | Valeo.ai
14:10 – 15:10
Panel Discussion: How to best develop the AI ecosystem in Europe?
- Prof. Holger Hoos | CLAIRE
- Patrick Peréz | Valeo.ai
- 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
Speakers
Host
Prof. Vladimír Mařík
Scientific Director, CIIRC CTU
Bio
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-).
Keynote
Holger Hoos
CLAIRE, RWTH Aachen University
Bio
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
Valeo.ai
Bio
Patrick Pérez is Valeo VP of AI and Scientific Director of valeo.ai, 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ý
CIIRC CTU
Bio
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
CIIRC CTU
Bio
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
CIIRC CTU
Bio
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 Research.com.
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
CIIRC CTU
Bio
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
CIIRC CTU
Bio
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
CIIRC CTU
Bio
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
CIIRC CTU
Bio
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
CIIRC CTU
Bio
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
CIIRC CTU
Bio
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
Bio
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
CTU
Bio
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 prg.ai that aims to transform Prague into a European AI superhub..
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
CIIRC CTU 10th Anniversary
30 May 2023 | 11:00-13:00
National Summit of Industry
30 May 2023 | 13:00-17:30
Open Day for Industry 4.0
1 June 2023 | 9:00-14:00
AI Open Day
1 June 2023 | 14:00-17:00
