[DL] Fwd: LeaLog at CSL workshop

[Balder ten Cate]

*Call for Submissions*


*CSL 2025 Workshop on Learning and Logic (LeaLog at 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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20241129/21fd12db/attachment.htm>