12-16 Sep 2022
Como, Italy
CALL FOR PARTICIPATION Logic for the AI Spring Summer School Lake Como School of Advanced Studies, September 12-16, 2022 https://lais.lakecomoschool.org/ DESCRIPTION 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) 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. APPLICATION Registration fees: 250 euro, VAT 22% included. The fee covers all lectures; course materials; lunches and coffee breaks; social dinner. HOW TO APPLY Details available at https://lais.lakecomoschool.org/application/ DEADLINES: Student application: June 15, 2022 Notification of acceptance: June 30, 2022 Registration (only accepted students): 10 July, 2022 SUPPORT 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. PUBLICATION 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. CO-LOCATED EVENT 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. ORGANISERS 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 CONTACTS 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 http://www.dvmlg.de/mailingliste.html 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