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) ... |
Sona GhahremaniOrganizing Committee
Hasso Plattner Institute, University of Potsdam
Germany
Daiki KimuraOrganizing Committee
IBM Research
Japan
Christian Medeiros AdrianoOrganizing Committee
Hasso Plattner Institute, University of Potsdam
Germany
Ruben Ruiz-TorrubianoOrganizing Committee
IMC Krems University of Applied Sciences
Austria