Logic for the AI Spring Summer School

Logic for the AI Spring Summer School
Lake Como School of Advanced Studies,
September 12-16, 2022

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.

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)

A selection of participants will have an opportunity to present their own work in dedicated Work in Progress (WiP) sessions. The following is a (non exhaustive) list of topics in which we welcome WiP submissions:

  • Knowledge representation and reasoning in AI
  • Logical methods in AI
  • Uncertainty and decision-making in AI
  • Computational social choice
  • Explainable AI
  • Human-compatible AI.


Registration fees: 250 euro, VAT 22% included. The fee covers all lectures; course materials; lunches and coffee breaks; social dinner.

Details available at

Student application: June 15, 2022
Notification of acceptance: June 30, 2022
Registration (only accepted students): 10 July, 2022

Owing to generous funding from MOSAIC, HaPoC and Turing Center ETH we can offer limited financial support for particularly strong candidates who do not have access to funding. If you wish to apply for it, please send to a letter stating your funding status.

The International Journal of Approximate Reasoning will publish a Special Issue to follow up on the themes covered in the School. Applicants are particularly encouraged to submit their original research to the SI (the usual refereeing procedure applies to guarantee the highest scientific standards). Deadlines to follow.

On Saturday 17 September a one day workshop on “Bias, Risk and Opacity in AI” organised by members of the BRIO Research project ( will take place at the Department of Philosophy, University of Milan. Participants to the Summer School are welcome to attend. A poster session for PhDs and Postdocs will be organised and School attendees are very welcome to present their current research (whether they have been selected or not for presentation at the Summer School). Please contact Giuseppe Primiero for information.

Hykel Hosni, Logic Uncertainty Computation and Information Group, Department of Philosophy, University of Milan
Tommaso Flaminio, Artificial Intelligence Research Institute, IIIA — Spanish National Research Council, CSIC
Giuseppe Primiero, Logic Uncertainty Computation and Information Group, Department of Philosophy, University of Milan

For enquiries about the venue of the school, travel, accommodation, and application procedure, please contact Alessandra Cazzaniga ( at Fondazione Alessandro Volta, Como.

Leave a Reply