LEISYS 2025 | Program

This year's Leipzig Symposium on Intelligent Systems will take place on May 15-16, 2025. On day 1, you may join us either on campus or remotely (keynote only). On day 2, all events will take place completely online.

  • 13:00 - 14:00 CEST
  • Aakash Ahmad
  • tba.

Welcome & Introduction

Keynote "Future of Software Engineering in the era of Generative Artificial Intelligence"
  • 09:15 - 10:00 CEST
  • Jussi Rasku
  • tbd.

Keynote "Future of Software Engineering in the era of Generative Artificial Intelligence"

Software engineering is being reshaped by generative AI. Large language models can already automate a large part of routine coding, and with that, the value of traditional programming skills diminishes. Simultaneously, the importance of communication skills, system understanding, integration negotiations, and sound technological judgment increases. The future software engineer is less a coder; instead, they work at a higher level of abstraction. One needs to be able to frame problems, understand business value, and oversee AI-augmented development processes as a manager of AI agents and systems. The talk explores how these shifts are changing what we teach, how teams operate, and what competencies will continue to matter. An argument is made that software engineering is moving beyond syntax and toward abstraction, communication, and strategic thinking. Understanding these changes is critical for anyone involved in education, working with software, or just entering the field.

  • 15:00 - 15:30

Coffee Break

Workshop "Generative AI for Software Development (Part 1)"
  • 10:30 - 12:30 CEST
  • tba.
  • tba.

Workshop "Generative AI for Software Development (Part 1)"

  • 12:30 - 13:30

Lunch Break

Workshop "Generative AI for Software Development (Part 2)"
  • 13:30 - 15:30 CEST
  • tbd.

Workshop "Generative AI for Software Development (Part 2)"

  • 15:30 - 16:00

Coffee Break

Student AI Award
  • 16:00 - 16:00 CEST
  • tba.

Student AI Award

  • 17:00 - 17:30 CEST
  • Aakash Ahmad
  • tbd.

Wrap-up & Conclusions

  • 10:30 - 12:00 CEST
  • tba.
  • Online

Workshop "Network Subgroups"

  • 12:00 - 13:00 CEST
  • tba.
  • ONLINE

Lunch Break

Research Talk "Current Topics in Hybrid AI"
  • 13:00 - 13:30 CEST
  • Kristian Kersting
  • ONLINE

Research Talk "Current Topics in Hybrid AI"

Research Talk "Neuro-symbolic integration for ontology-based classification of structured objects "
  • 13:30 - 14:00 CEST
  • Till Mossakowski
  • ONLINE

Research Talk "Neuro-symbolic integration for ontology-based classification of structured objects "

Research Talk "Safe Reinforcement Learning via Shielding"
  • 14:00-14:30
  • Bettina Könighofer
  • ONLINE

Research Talk "Safe Reinforcement Learning via Shielding"

Research Talk "Formally Verifying Neural Networks in Cyber-Physical Systems"
  • 14:30-15:00
  • Tobias Ladner
  • ONLINE

Research Talk "Formally Verifying Neural Networks in Cyber-Physical Systems"