Logic List Mailing Archive
CfP [extended deadline]: Summer School on Ethical Design for AI – Logic for the AI Spring 3, 1–5 September 2025, Lecce (Italy)
Dear all,
The deadline for the Summer School on Ethical Design for AI has just been slightly extended from June 20th to July 1st. The school features international experts in the field of formal and logical methods for AI in the beautiful setting of Lecce, Salento, Apulia, Italy. Applicants can register at at https://sites.google.com/view/edefai/call-for-applications
Let me remind you that in addition to keynote lectures, the school will feature a poster session. Participants are encouraged to present their work in progress and will have the opportunity to receive feedback from leading researchers in the field. We are also exploring the opportunity of conveying extended versions of selected abstracts to a dedicated Special Issue.
Since the application deadline is fast approaching, we would greatly appreciate your help in sharing this announcement with any interested students or colleagues.
More information can be found at https://sites.google.com/view/edefai and in the CfA below. Please feel free to get in touch with Paolo Baldi (paolo.baldi@unisalento.it<mailto:paolo.baldi@unisalento.it>) or Fabio Aurelio D'Asaro (fabioaurelio.dasaro@unisalento.it<mailto:fabioaurelio.dasaro@unisalento.it>) for any scientific or organizational enquiries.
Best wishes,
Paolo Baldi
---
CALL FOR APPLICATIONS
Ethical design for AI - Logic for the AI Spring 3
Conference & Summer School in Lecce (Italy), September 1-5, 2025
https://sites.google.com/view/edefai/
DESCRIPTION
This is the third edition of the summer school Logic for the AI Spring. The School is designed to provide students with a background on the cutting-edge logical methods for AI and Human-AI interaction, and the epistemological and ethical issues surrounding them. This edition has a specific focus on the reflection and formalization of ethical and legal principles for AI, given its co-location with the final dissemination event of the project "Ethical design for AI", which is funded by the EU and is currently carried out by an interdisciplinary group at the University of Salento.
A selection of participants will have an opportunity to present their own work in a dedicated Poster Session, which will take place on Wednesday 3rd September, 2025.
LECTURERS
Hana Chockler (King's College London)
Thomas Icard (Stanford University)
Resource Rationality
Atoosa Kasirzadeh (Carnegie Mellon University)
AI Agents: Understanding What They Are and Their Ethical Governance
Rka Markovich (University of Luxembourg)
Logics for Computational Law in AI
Aniello Murano (University of Naples Federico II)
Formal aspects of strategic reasoning
Viola Schiaffonati (Polytechnic University of Milan)
An epistemological approach to AI related risk
IMPORTANT DATES
Application: July 1st, 2025
Registration: July 15th, 2025
Details for application available at https://sites.google.com/view/edefai/call-for-applications
ORGANIZERS
Paolo Baldi (University of Salento)
Fiorella Battaglia (University of Salento)
Fabio Cirac (University of Salento)
Fabio Aurelio D'Asaro (University of Salento)
Tommaso Flaminio (Artificial Intelligence Research Institute, IIIA - CSIC)
Hykel Hosni (University of Milan)
Giuseppe Primiero (University of Milan)
[https://www.unisalento.it/UniSalento_70anni.png]
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php