The Coq mailing list

[Besik Dundua <bdundua AT gmail.com>]

  First Workshop on Logic Statistical and Neural AI (LoStaN), co-located with JELIA 2025 on September 2-3, 2025 Kutaisi, Georgia.
website: https://lostan-workshop.github.io/2025/

Important dates:
- Paper submission deadline: July 11th 20th, 2025, AoE
- Author Notification: July  25th 30th, 2025, AoE
- Workshop Date: September 2-3, 2025,

Topics of Interest:
We welcome contributions on theoretical foundations, practical applications, and interdisciplinary approaches combining symbolic, statistical, and neural methods in AI. Topics of interest include, but are not limited to:

- Integration of logic and statistics into machine learning models
- Explainable AI (XAI) and interpretable machine learning via symbolic methods
- Symbolic knoweldge extraction and injection from/into machine learning models
- Neuro-symbolig approaches to AI
- Statistical relational learning and probabilistic logic
- Learning symbolic representations from data
- Inductive Logic Programming (ILP) and relational learning
- Causal reasoning and logic-based causal discovery
- Neuro-symbolic integration and hybrid AI systems
- Fairness, accountability, and transparency in hybrid AI systems
- Logic and learning for multi-agent systems
- Human-centric AI: reasoning, learning, and interaction
- Deep learning and knowledge extraction
- Formal methods for the verification of neural networks
- Benchmarking and evaluation of hybrid AI systems
- Applications in robotics, natural language understanding, bioinformatics, etc.
- Toolkits and platforms for integrating logic, statistics, and neural networks

Call for paper:
We invite the following types of contribution:
 Full or short papers about approaches involving logic, statistical and neural models, and their combination/integration.Full papers should be limited to 14 pages, while short papers should be limited to 7 pages (excluding references).
 Position papers concerning the application of logic, statistical and neural models in specific fields. Position papers should be limited to 7 pages(excluding references).
Survey papers, concerning any of the above. Survey papers should be limited to 14 pages (excluding references).
Preliminary or already-published work can be submitted, provided that the submission is clearly marked as such.
Authors are invited to submit original papers in PDF format here.

Organizers:
- Elena Umili, Sapienza University of Rome, Italy
- Federico Sabbatini, University of Urbino, Italy
- Giovanni Ciatto, University of Bologna, Italy
- Matteo Magnini, University of Bologna, Italy
- Yves Lesperance, York University, Canada
For any questions, please do reach out to the organizers.