[AISWorld] CFP Neuro-Symbolic Software Engineering Workshop - ICSE 2025

[Adriano, Christian]

Dear All,

This is a gentle reminder that the deadline for the NS workshop submission is approaching - November 11, 2024.

Best regards!
NSE 2025 Co-organizers
Christian Medeiros Adriano, Sona Ghahremani, Daiki Kimura, Ruben Ruiz-Torrubiano


*****
NSE 2025
1st International Workshop on Neuro-Symbolic Software Engineering
Co-located with 47th International Conference on Software Engineering ICSE, to be held April 27-May 3 2025 in Ottawa.
Workshop day TBA

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

Deadline: November 11th, 2024

*****
Call for Papers

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.
NSE seeks submissions describing novel research, emerging ideas, and work-in-progress describing original and unpublished results in the field of Neuro-symbolic methods for software engineering.
Topics<https://conf.researchr.org/home/icse-2025/nse-2025#topics>

  *
Neuro-Symbolic methods in automated software engineering tools, e.g., code & test generation, bug fixing, code summarization, code review, etc.
  *
Neuro-Symbolic agents to support collaboration and decision-making in software teams.
  *
Neuro-Symbolic methods in validation and verification tools.
  *
Neuro-Symbolic methods for designing safety-mission-critical systems.
  *
Neuro-Symbolic methods for extracting and maintaining knowledge graphs for software engineering.
  *
Methods for reasoning about learning from software data.
  *
Methods for learning while reasoning about software, e.g., automatically & adaptively determining decision thresholds and magnitude of actions for a desired effect of a software tool & technique.
  *
Methods for applying prior symbolic or probabilistic knowledge to new or improved software tools & methods.

Important Dates<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
CFP: https://conf.researchr.org/home/icse-2025/nse-2025#Call-for-Papers

Our goal is to collect experiences, challenges, and solutions involved in combining symbolic methods and machine learning to tackle new and traditional challenges of software engineering tasks from requirements to analysis & design, coding, testing, and maintenance & evolution. We welcome contributions in any of the following formats:

  *
Full research papers
  *
Case studies
  *
Proofs-of-concept
  *
New ideas and emerging results
  *
Evaluation of tools
  *
Controlled experiment reports


Best regards!

Christian Medeiros Adriano (christian.adriano at hpi.de)
Sona Ghahremani
Daiki Kimura
Ruben Ruiz-Torrubiano

NSE 2025 Co-organizers


________________________________
From: Adriano, Christian <Christian.Adriano at hpi.de>
Sent: Wednesday, 2 October 2024 13:30
To: icse-seams at SIGSOFT.ORG <icse-seams at SIGSOFT.ORG>; uai at engr.orst.edu <uai at engr.orst.edu>; SEBASE at Jiscmail.ac.uk <SEBASE at Jiscmail.ac.uk>; acsos at lists.uni-wuerzburg.de <acsos at lists.uni-wuerzburg.de>; automation-worldwide at listserv.tamu.edu <automation-worldwide at listserv.tamu.edu>; aisworld at lists.aisnet.org <aisworld at lists.aisnet.org>; agents at cs.umbc.edu <agents at cs.umbc.edu>; self-aware at lists.uni-wuerzburg.de <self-aware at lists.uni-wuerzburg.de>; ecoop-info at ecoop.org <ecoop-info at ecoop.org>
Cc: Ghahremani, Sona <Sona.Ghahremani at hpi.de>; Rubén Ruiz Torrubiano <ruben.ruiz at fh-krems.ac.at>; DAIKI KIMURA <daiki at jp.ibm.com>
Subject: CFP Neuro-Symbolic Software Engineering Workshop - ICSE 2025

*****
NSE 2025
1st International Workshop on Neuro-Symbolic Software Engineering
Co-located with 47th International Conference on Software Engineering ICSE, to be held April 27-May 3 2025 in Ottawa.
Workshop day TBA

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

Deadline: November 11th, 2024

*****
Call for Papers

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.
NSE seeks submissions describing novel research, emerging ideas, and work-in-progress describing original and unpublished results in the field of Neuro-symbolic methods for software engineering.
Topics<https://conf.researchr.org/home/icse-2025/nse-2025#topics>

  *
Neuro-Symbolic methods in automated software engineering tools, e.g., code & test generation, bug fixing, code summarization, code review, etc.
  *
Neuro-Symbolic agents to support collaboration and decision-making in software teams.
  *
Neuro-Symbolic methods in validation and verification tools.
  *
Neuro-Symbolic methods for designing safety-mission-critical systems.
  *
Neuro-Symbolic methods for extracting and maintaining knowledge graphs for software engineering.
  *
Methods for reasoning about learning from software data.
  *
Methods for learning while reasoning about software, e.g., automatically & adaptively determining decision thresholds and magnitude of actions for a desired effect of a software tool & technique.
  *
Methods for applying prior symbolic or probabilistic knowledge to new or improved software tools & methods.

Important Dates<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
CFP: https://conf.researchr.org/home/icse-2025/nse-2025#Call-for-Papers

Our goal is to collect experiences, challenges, and solutions involved in combining symbolic methods and machine learning to tackle new and traditional challenges of software engineering tasks from requirements to analysis & design, coding, testing, and maintenance & evolution. We welcome contributions in any of the following formats:

  *
Full research papers
  *
Case studies
  *
Proofs-of-concept
  *
New ideas and emerging results
  *
Evaluation of tools
  *
Controlled experiment reports


Best regards!

Christian Medeiros Adriano (christian.adriano at hpi.de)
Sona Ghahremani
Daiki Kimura
Ruben Ruiz-Torrubiano

NSE 2025 Co-organizers