CAIML Symposium 2024

The 3rd CAIML Symposium will bring together leading experts and enthusiasts in the field of AI.

Picture: local_doctor / stock.adobe.com

May 6th 2024

  • All day event.
  • TU Wien, Campus Getreidemarkt Konferenzsaal TUtheSky
  • 1060 Vienna, Getreidemarkt 9
    Bauteil BA (Hoftrakt), 11. Stock, Raum BA11B09

Building on the momentum and successes of our previous gatherings, CAIML Symposium 2022 and CAIML Symposium 2023, We are excited to announce the upcoming 3rd CAIML Symposium on May 6, 2024. This symposium will bring together leading experts and enthusiasts in the field of Artificial Intelligence and Machine Learning to discuss the latest advancements, challenges, and opportunities. Join us for a day filled with insightful talks, engaging discussions, and networking opportunities that promise to inspire and foster collaboration.


  • 10:30 / Presentation of iCAIML Doctoral College / Presentation of the new iCAIML (Innovative Combinations and Applications of AI and ML) Doctoral College
  • 12:00 / Lunch Break & Networking
  • 13:00 / Scientific Talks / Luc de Raedt and Martina Seidl
  • 15:30 / Coffee Break
  • 16:00 / Panel Discussion / Moderation: Ivona Brandic / Panelists: Cornelis Lambertus Johannes Van Berkel, Julia Neidhardt, Stefan Neumann, Emanuel Sallinger, Milica Vujovic
  • 17:00 / Networking


AI, Fast and Slow

By Martina Seidl

In general awareness, the field of artificial intelligence is closely associated with sub-symbolic AI, especially with machine learning. In almost every aspect of daily life, we currently experience fundamental changes that are triggered by ML technology. This kind of AI is good in processing huge amounts of (statistical) data and, if trained accordingly, make decisions fast and with astonishing adequacy.

In a more silent manner, the symbolic branch of AI also has a strong influence on the modern world. Symbolic techniques play an important role in building correct hardware and software systems whose complexity would not be manageable without them and they are applied to solve complex planning, scheduling, and configuration problems.

In this talk, we show some prominent applications of symbolic AI and explain the underlying solving approaches with focus on SAT solving. We also argue that building broader AI systems as possible today is only possible by combining the best of symbolic and sub-symbolic AI.


By Luc De Raedt

Confirmed Speakers

Luc De Raedt, KU Leuven


Martina Seidl, JKU Linz

Martina Seidl
Martina Seidl
Picture: JKU Linz

Martina Seidl is head of the Institute for Symbolic Artificial Intelligence at the Johannes Kepler University (JKU) in Linz, Austria. She obtained her PhD from the Vienna Technical University and her habilitation in computer science from JKU. Before becoming a full professor, she was associate professor at the Institute for Formal Models and Verification at JKU. Her research focuses on symbolic reasoning techniques with special emphasis on quantified Boolean formulas and applications in formal verification and symbolic artificial intelligence.

Panel “AI - The Next Generation”