2 - 6 September 2024, Logic for the AI Spring 2 Summer School, Como, Italy

In its second edition, Logic for the AI Spring, continues bringing together logicians and AI scientists working around and within the currently blossoming new AI Spring. The program is designed to equip participants with a comprehensive understanding of cutting-edge logical methods for AI, neuro-symbolic AI, and Human-AI interaction. It also includes topics related to the broader culture of AI, vital for addressing urgent technological, scientific, and societal challenges in the field The School is designed to provide them with a background on the cutting-edge on logical methods for AI, neuro-symbolic AI , Human-AI interaction, in addition to the larger culture of AI, which is necessary to tackle the urgent technological, scientific and societal challenges surrounding the field.

The School will feature 5 tutorials:
 - Neurosymbolic AI (Vaishak Belle)
 - Logic-based reasoning for strategic abilities of socially Interacting rational agents (Valentin Goranko)
 - History and Culture of Al (María Vanina Martinez)
 - Fairness: Perspectives from Computational Social Choice (Arianna Novaro)
 - Logic Tensor Networks (Luciano Serafini)
Additionally, there will be a dedicated Poster Session to give selection of participants an opportunity to present their own work.
Finally, this edition of Logic for the New AI Spring will host a workshop on New perspectives on formal representations of cognitive attitudes organised by Ekaterina Kubyshkina and Costanza Larese (LUCI Lab, Milano).