Logic List Mailing Archive

CfPart Logic for the AI Summer School

12-16 Sep 2022
Como, Italy

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 

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 https://lais.lakecomoschool.org/application/

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 hykel.hosni@unimi.it 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 (sites.unimi.it/brio) 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 giuseppe.primiero@unimi.it 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 
(alessandra.cazzaniga@fondazionealessandrovolta.it) at Fondazione 
Alessandro Volta, Como.
[LOGIC] mailing list
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam