12 - 16 September 2022, "Logic for the AI Spring" Summer School, Como, Italy

Logic for the AI Spring aims at bringing together logicians and other scientists working around and within the currently blossoming new AI Spring. In addition to a glorious past which must not be forgotten, logic has a fundamental role to play, which is still largely in the making, in the future of AI research and applications. Researchers entering the field now have an opportunity to shape logic-based AI in the years to come. The School is designed to help them become culturally aware of the larger picture, which is made of urgent scientific and societal challenges, against which the unprecedented successes of the present AI Spring must be evaluated.

PROGRAMME & TOPICS The School will feature four 8-hour tutorials:
- History and culture of AI (Stephanie Dick, Simon Fraser University)
- Combining Machine Learning and Theorem Proving (Josef Urban, Czech Institute of of Informatics, Robotics and Cybernetics)
- Multiagent Systems (Michel Wooldridge, Oxford University)
- Logic (Alessandra Palmigiano, VU Amsterdam)