ILLC-LIRa December 2024

illc-lira@list.uva.nl

1 participants
1 discussions

LIRa related Call for Submissions: CSL 2025 Workshop on Learning and Logic (LeaLog@CSL)
by LIRa Seminar 02 Dec '24

02 Dec '24

Dear all, We would like to draw your attention to the following call for submissions. kind regards, the LIRa team Call for Submissions CSL 2025 Workshop on Learning and Logic (LeaLog@CSL) https://sites.google.com/view/lealog25 Amsterdam, Netherlands 10 February 2025 Co-located with the 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025) =================== About the workshop =================== The CSL 2025 Workshop on Learning and Logic is an on-site event happening on the 10th of February 2025 in Amsterdam, Netherlands. It will take place as part of the 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025). The workshop brings together researchers who are working on topics at the intersection of learning and logic, ranging from the logical foundations of learnability and computational learning theory to logical analyses of machine learning models and applications of machine learning in knowledge representation and reasoning. The workshop will consist of invited talks and contributed talks. It does not have any proceedings, and therefore previously published or ongoing work are both encouraged to be presented. Topics for the presentation at the workshop include, but are not limited to, the following: - Logical analysis of machine learning architectures - Techniques for learning logical concepts - Computational learning theory - Logic for formal learning theory - Informational complexity of learning - Graph learning - Applications of ML in knowledge representation and data management - Neuro-symbolic integration - Statistical relational AI - Logical and epistemic aspects of distributed learning - Logical aspects of learning in multi-agent systems - Logical analysis of (iterated) belief dynamics and information change - Logical techniques for explainable AI - Data-driven techniques for temporal logic specification and verification ============================ Submissions ============================ Submissions consist of a title, a short abstract, and an extended abstract in the form of a PDF file (one page, excluding references). The link to the submission form can be found on the workshop website. ============================ Important dates and information ============================ Submission deadline: 8 January 2025 (Anywhere on Earth) Notification: 15 January 2025 * Event: 10 February 2025 * accepted submissions will receive a chance to register for the workshop and/or for CSL by January 19 without paying late registration fee. ============= Invited Speakers ============= - Alexandru Baltag (ILLC, University of Amsterdam) - Johan van Benthem (University of Amsterdam, Tsinghua University, and Stanford) - Dana Fisman (Ben-Gurion University) - Martin Grohe (RWTH Aachen) - Kristin Yvonne Rozier (Iowa State University) ============= Organisers ============= - Steffen van Bergerem (Humboldt University of Berlin) - Balder ten Cate (ILLC, University of Amsterdam) - Aybüke Özgün (ILLC, University of Amsterdam) - Sonja Smets (ILLC, University of Amsterdam)

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa December 2024