Fwd: CALL FOR APPLICATIONS -- Logic for the AI Spring 2

[Joao Marcos]

---------- 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...@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