NSE 2025
co-located with ICSE 2025
All Editions
Sat 3 May 2025 Ottawa, Ontario, Canada

NSE 2025 with ICSE 2025

1st International Workshop on Neuro-Symbolic Software Engineering (May 3, 2025) 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 ...