Talks

For an archive of seminars, invited talks and other announcements can be found here.

A few video recordings of the talks can be found here (for invited talks) and here (for conference presentations).

A podcast episode where AI and morality was discussed can be found here.

A few of the slide decks are below:

• Symbolic Logic meets Machine Learning: Towards Transparent and Responsible AI
• Six perspectives on logic & learning (in infinite domains)
• Towards Intepretable & Responsible AI
• Tutorial on unifying logic, probability and dynamics
• Tutorial on First-Order Multi-agent Logics in Action