Software engineering has a success history of evolving symbolic techniques, e.g., formal methods and programming languages, to solve increasingly challenging problems like providing safety and performance guarantees for autonomous intelligent systems fulfilling mission-critical functions. With the availability of machine learning (ML) techniques, software engineering expanded its set of problems to how learning from data enables applications from code summarization & generation to automatic program repair & formal verification. The integration of symbolic and ML techniques has opened new novel methodological challenges that go beyond applying ML to build software (ML4SE) or applying software engineering to build ML (SE4ML). These challenges fall under the umbrella of Neuro-Symbolic methods and comprise problems of “how to reason about learning” and “how to learn about reasoning”.

The NSE workshop aims to discuss these problems in the context of software engineering tasks that have been transformed by the adoption of machine learning techniques. We invite insights on merging symbolic and ML techniques across the software development life-cycle, its activities, tasks, and tools. We welcome case studies, conceptual innovative approach descriptions, empirical research, and more formal or theoretical considerations

Website: https://conf.researchr.org/home/icse-2025/nse-2025

Important Dates
Paper submissions: November 11th, 2024.
Paper notifications: December 1st, 2024.
Camera-ready versions: February 5th, 2025.
Workshop: TBA

Sona Ghahremani and Christian Medeiros Adriano are the organizers of the workshop.