Edinburgh Workshop on Neural-Symbolic AI

Join Miguel de Carvalho on June 5 from 09:30-16:30 at the Medical School, University of Edinburgh for the Edinburgh Workshop on Neural-Symbolic AI.

The workshop will focus on the area combining the strengths of neural networks and symbolic approaches, creating AI models, systems, and applications. The organisers aim to provide a platform for insightful discussions, idea exchange, and potential collaboration. Whether you are already working in this area or simply curious to learn more, they warmly welcome your participation.

Register via Microsoft Form or visit the Workshop website for more details.

Speakers include:

• David Robertson, “Neural-Symbolic AI in Healthcare: Why this is a challenge”
• Muhammad Najib, “Rational Verification in the Age of LLMs”
• Edoardo Ponti, “Neurosymbolic Diffusion Models”
• Ekaterina Komendantskaya, “Probabilistic Verification of Neuro-Symbolic Programs: from ProbLog to ProbRocq?”