---------- Forwarded message --------- CALL FOR APPLICATIONS
Logic for the AI Spring 2 Summer School at Lake Como School of Advanced Studies, September 2-6, 2024 https://lais.lakecomoschool.org/ DESCRIPTION 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. TUTORIALS · Neurosymbolic AI (Vaishak Belle, University of Edinburgh and Alan Turing Institute) · Logic-based reasoning for strategic abilities of socially Interacting rational agents (Valentin Goranko, Stockholm University) · History and Culture of Al (María Vanina Martinez, Artificial Intelligence Research Institute IIIA-CSIC Barcelona) · Fairness: Perspectives from Computational Social Choice (Arianna Novaro, Université Paris 1 Panthéon-Sorbonne) · Logic Tensor Networks (Luciano Serafini, Fondazione Bruno Kessler, Bolzano) POSTER SESSION A selection of participants will have an opportunity to present their own work in a dedicated Poster Session . The following is a (non-exhaustive) list of topics in which we welcome 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 · AI-driven science. 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: · Application: June 15, 2024 · Notification of acceptance: June 30, 2024 · Registration (only accepted participants): 10 July, 2024 SUPPORT 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.ho...@unimi.it a letter stating your funding status. SPECIAL ISSUE We renewed our agreement with the International Journal of Approximate Reasoning for a Special lssue to follow up on the themes covered by the School. https://www.sciencedirect.com/journal/international-journal-of-approximate-reasoning/about/call-for-papers#logics-for-the-new-ai-spring-2 School participants are particularly encouraged to submit their original research to the SI (the usual refereeing procedure applies to guarantee the highest scientific standards). ONE-DAY WORKSHOP 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) The workshop, which will take place on Wednesday 4 September, is focussed on the formal representation of the cognitive attitudes of agents, encompassing constructs such as knowledge, belief, and awareness, among others. ORGANISERS Tommaso Flaminio, Artificial Intelligence Research Institute, IIIA -- Spanish National Research Council, CSIC Hykel Hosni, LUCI Lab, Department of Philosophy, University of Milan Giuseppe Primiero, LUCI Lab, Department of Philosophy, University of Milan -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhzOxS7%2BqMSud3tCn_PDAFT1GzxGtpCMwMfWuGfnV7M0A%40mail.gmail.com.
