ICSE 2025 (series) / NSE 2025 (series) /
NSE 2025 Program
This is the NSE 2025 program - see the full program for ICSE 2025 and all affiliated events.
Filter Program
Dates
Sun 27 Apr 2025
Mon 28 Apr 2025
Tue 29 Apr 2025
Wed 30 Apr 2025
Thu 1 May 2025
Fri 2 May 2025
Sat 3 May 2025
Rooms
215
Canada Hall 3 plus Foyer
Tracks
ICSE Catering
NSE
Badges
Nothing to filter
Your Program
Nothing to filter
Sun 27 AprDisplayed time zone: Eastern Time (US & Canada) change
Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 11:00 | |||
10:30 30mCoffee break | Sunday Morning Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Sunday Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mBreak | Sunday Afternoon Break Catering | ||
Mon 28 AprDisplayed time zone: Eastern Time (US & Canada) change
Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 11:00 | |||
10:30 30mBreak | Monday Morning Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Monday Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mBreak | Monday Afternoon Break Catering | ||
Tue 29 AprDisplayed time zone: Eastern Time (US & Canada) change
Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 11:00 | |||
10:30 30mBreak | Tuesday Morning Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Tuesday Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mBreak | Tuesday Afternoon Break Catering | ||
Wed 30 AprDisplayed time zone: Eastern Time (US & Canada) change
Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 11:00 | |||
10:30 30mBreak | Wednesday Morning Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Wednesday Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mBreak | Wednesday Afternoon Break Catering | ||
Thu 1 MayDisplayed time zone: Eastern Time (US & Canada) change
Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 11:00 | |||
10:30 30mBreak | Thursday Morning Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Thursday Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mBreak | Thursday Afternoon Break Catering | ||
Fri 2 MayDisplayed time zone: Eastern Time (US & Canada) change
Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 11:00 | |||
10:30 30mBreak | Friday Morning Break Catering | ||
12:30 - 14:00 | |||
13:15 45mLunch | Friday Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mBreak | Friday Afternoon Break Catering | ||
Sat 3 MayDisplayed time zone: Eastern Time (US & Canada) change
Sat 3 May
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 10:30 | Session 1: Opening and Keynote by Stefan Szeider NSE at 215 Chair(s): Sona Ghahremani Hasso Plattner Institute, University of Potsdam, Christian Medeiros Adriano Hasso Plattner Institute, University of Potsdam, Ruben Ruiz-Torrubiano IMC Krems University of Applied Sciences | ||
09:00 15mDay opening | NSE2025 Opening NSE | ||
09:15 60mTalk | Neural Meets Symbolic: Synergies Between Language Models and Constraint Reasoning NSE Stefan Szeider Vienna University of Technology (TU Wien) | ||
10:30 - 11:00 | |||
10:30 30mBreak | Saturday Morning Break Catering | ||
11:00 - 12:30 | Session 2: Paper PresentationNSE at 215 Chair(s): Christian Medeiros Adriano Hasso Plattner Institute, University of Potsdam | ||
11:00 30mTalk | A Graph-centric Neuro-symbolic Architecture Applied to Personalized Sepsis Treatments NSE Lucas Sakizloglou Brandenburg University of Technology Cottbus-Senftenberg, Taisiya Khakharova Brandenburgische Technische Universität Cottbus-Senftenberg, Leen Lambers Brandenburg University of Technology Cottbus-Senftenberg | ||
11:30 30mTalk | Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference NSE Steffen Herbold University of Passau, Christoph Knieke Technische Universität Clausthal, Andreas Rausch Clausthal University of Technology, Christian Schindler Institute for Enterprise Systems, University of Mannheim | ||
12:00 30mTalk | Next Steps in LLM-Supported Java Verification NSE | ||
12:30 - 14:00 | |||
13:15 45mLunch | Saturday Lunch Catering | ||
14:00 - 15:30 | Session 3: Keynote by Asim Munawar and Paper Presentation NSE at 215 Chair(s): Sona Ghahremani Hasso Plattner Institute, University of Potsdam, Ruben Ruiz-Torrubiano IMC Krems University of Applied Sciences | ||
14:00 60mKeynote | Reasoning Revolution: Cracking the Code of LLM Intelligence NSE | ||
15:00 30mTalk | StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners NSE Florentina Voboril TU Wien, Vaidyanathan Peruvemba Ramaswamy TU Wien, Stefan Szeider Vienna University of Technology (TU Wien) | ||
15:30 - 16:00 | |||
15:30 30mBreak | Saturday Afternoon Break Catering | ||
16:00 - 17:30 | Session 4: Discussion and Closing Remarks NSE at 215 Chair(s): Ruben Ruiz-Torrubiano IMC Krems University of Applied Sciences, Sona Ghahremani Hasso Plattner Institute, University of Potsdam, Christian Medeiros Adriano Hasso Plattner Institute, University of Potsdam | ||
16:00 30mPanel | Discussion and Closing Remarks NSE | ||