*Workshop on Logic and AI* *July 16-17, 2024* *Amsterdam Institute for Advanced Study (IAS)*

This workshop is part of an IAS research project on the topic of “Logic and AI”. It will bring together international experts to explore the promising interaction of logic and modern artificial intelligence (AI). While AI struggles with explainability, interpretability, and verifiability, logic excels at this. So can logic help AI? And if so, how?

The workshop has sessions on expressive and computational power of machine learning, neuro-symbolic integration, and causality, logic, and machine learning.

Speakers include Giuseppe Marra (KU Leuven), Levin Hornischer (LMU Munich), Martin Grohe (RWTH Aachen), Lena Strobl (Umeå University), Herbert Jaeger (University of Groningen), Atticus Geiger (Pr(Ai)²R), Thomas Icard (Stanford University).

Due to limited space, on-site participation is by invitation, but the talks can be followed online. If you would like to follow the talks online, please submit the registration form indicating online participation and you will receive a Zoom link.

For more information, see: https://ias.uva.nl/content/events/2024/07/logic-and-ai.html