NSE
Sun 12 - Sat 18 April 2026 Rio de Janeiro, BrazilNSE 2026 with ICSE 20262nd International Workshop on Neuro-Symbolic Software Engineering Software engineering has a successful history of evolving symbolic techniques, e.g., formal methods and programming languages, to solve challenging problems like providing safety and performance guarantees to autonomous intelligent systems fulfilling mission-critical functions. With the availability of machine learning (ML) techniques, software eng ... |
Sat 3 May 2025 Ottawa, Ontario, CanadaNSE 2025 with ICSE 20251st 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) ... |
