NSE
All Editions
Sat 26 April - Sun 4 May 2025 Ottawa, Ontario, CanadaNSE 2025 with ICSE 20251st International Workshop on Neuro-Symbolic Software Engineering 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, ... |