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 19 January 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)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
