Logic List Mailing Archive

CfP: LeaLog: CSL 2025 Workshop on Learning and Logic, 10 February 2025, Amsterdam (NL)

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 o
n the 10th of February 2025 in Amsterdam, Netherlands. It will take place a
s part of the 33rd EACSL Annual Conference on Computer Science Logic (CSL 2
025). The workshop brings together researchers who are working on topics at
 the intersection of learning and logic, ranging from the logical foundatio
ns 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 n
ot 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 a
nd/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 Stan
ford)
- 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) Aybke zgn (ILLC, University of Amsterdam
) Sonja Smets (ILLC, University of Amsterdam)

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php