Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] First Workshop on Logic Statistical and Neural...

Email Gateway (Jul 15 2025 at 02:25):

From: Besik Dundua <bdundua@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.

Last updated: Jul 26 2025 at 12:43 UTC