Logic List Mailing Archive
CfP: Logic for the AI Spring 2, Summer School at Lake Como School of Advanced Studies, 2-6 September 2024, Como (Italy)
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 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.hosni@unimi.it<mailto:hykel.hosni@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
--
You received this message because you are subscribed to the Google Groups "Milano Logic Group" group.
To unsubscribe from this group and stop receiving emails from it, send an email to logicgroup-unimi+unsubscribe@googlegroups.com<mailto:logicgroup-unimi+unsubscribe@googlegroups.com>.
To view this discussion on the web visit https://groups.google.com/d/msgid/logicgroup-unimi/DB6PR08MB2933156AA38B5A23D2A846E9AC1A2%40DB6PR08MB2933.eurprd08.prod.outlook.com<https://groups.google.com/d/msgid/logicgroup-unimi/DB6PR08MB2933156AA38B5A23D2A846E9AC1A2%40DB6PR08MB2933.eurprd08.prod.outlook.com?utm_medium=email&utm_source=footer>.
For more options, visit https://groups.google.com/d/optout.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php