{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T14:39:54Z","timestamp":1761748794755,"version":"build-2065373602"},"reference-count":4,"publisher":"Association for Computing Machinery (ACM)","issue":"4","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2025,10,27]]},"abstract":"<jats:p>The first workshop on Neuro-Symbolic Software Engineering (NSE) was held on May 3rd, 2025, co-located with ICSE 2025 in Ottawa, Ontario, Canada. The workshop is a focal point for software engineering research that combines symbolic-formal and learningbased methods. Bringing together these two large methodological traditions, NSE provides a unique forum for presenting innovative research on challenging problems that require combining sound methods and scalable machine learning techniques. The multidisciplinary character of NSE aims to promote the cross-pollination of approaches and spur collaboration among software engineering communities that usually work independently from each other.<\/jats:p>","DOI":"10.1145\/3772008.3772019","type":"journal-article","created":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T13:50:43Z","timestamp":1761745843000},"page":"43-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The First International Workshop on Neuro-Symbolic Software Engineering (NSE 2025)"],"prefix":"10.1145","volume":"50","author":[{"given":"Christian Medeiros","family":"Adriano","sequence":"first","affiliation":[{"name":"Hasso Plattner Institute University of Potsdam, Potsdam, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sona","family":"Ghahremani","sequence":"additional","affiliation":[{"name":"Hasso Plattner Institute University of Potsdam, Potsdam, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daiki","family":"Kimura","sequence":"additional","affiliation":[{"name":"IBM Japan, Tokio, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rub\u00e9n","family":"Ruiz-Torrubiano","sequence":"additional","affiliation":[{"name":"IMC University of Applied Sciences Krems, Krems, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,10,29]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/NSE66660.2025.00008"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/NSE66660.2025.00009"},{"key":"e_1_2_1_3_1","first-page":"1","volume-title":"Teuber and Bernhard Beckert. Next Steps in LLM-Supported Java Verification. In 2025 IEEE\/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE)","author":"Samuel","year":"2025","unstructured":"Samuel Teuber and Bernhard Beckert. Next Steps in LLM-Supported Java Verification. In 2025 IEEE\/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE), pages 1--4, May 2025."},{"key":"e_1_2_1_4_1","first-page":"17","volume-title":"Stefan Szeider. StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners. In 2025 IEEE\/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE)","author":"Voboril Florentina","year":"2025","unstructured":"Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, and Stefan Szeider. StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners. In 2025 IEEE\/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE), pages 17--22, May 2025."}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3772008.3772019","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T13:50:52Z","timestamp":1761745852000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3772008.3772019"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,27]]},"references-count":4,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,10,27]]}},"alternative-id":["10.1145\/3772008.3772019"],"URL":"https:\/\/doi.org\/10.1145\/3772008.3772019","relation":{},"ISSN":["0163-5948"],"issn-type":[{"value":"0163-5948","type":"print"}],"subject":[],"published":{"date-parts":[[2025,10,27]]},"assertion":[{"value":"2025-10-29","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}