Workshops

4th International Workshop on Quantum Software-Engineering Tools, Algorithms & Verification (Q-STAV)

Datum: Montag 22.02.2027
URL: https://www.spp2514.kit.edu/Q-STAV_2027.php
Abstract:
In theory, it is well known that quantum computers can be used to solve certain types of computational problems that cannot be effectively solved by classical computers. Also, from a practical point of view, remarkable progress has been recently made in developing mid-size quantum computing hardware that can scale quantum computations to relevant problem sizes in the near future. Once this critical point is reached, developers of new quantum software need comprehensive practical support to be able to exploit the full potentials of quantum computing. For this, we require software, tools and engineering techniques, being widely established for classical software engineering also for the quantum computing stack. However, quantum computing is not just another programming paradigm to which existing techniques and tools can be easily adapted. Instead, programming quantum computers requires entirely new forms of algorithmic thinking as many fundamental assumptions of classical computing do not hold in the quantum realm. To fill this gap, we require collaborative research across many communities such as programming-language design and software abstractions, compiler construction, software testing and program verification as well as processes, guidelines and benchmarks for developing new quantum algorithms and deploying them on diverse target quantum hardware. In the proposed workshop, we want to bring together researchers working in these and other fields of classical software engineering as well as in quantum computing to create a research road-map for quantum software engineering (QSE).

Organisatoren:

24th Workshop on Automotive Software Engineering (ASE)

Datum: Montag 22.02.2027
URL: https://ase-workshop.github.io/2027/ (Noch nicht existent)
Abstract:
Wie seine Vorgänger widmet sich der 24. Workshop Automotive Software Engineering den Herausforderungen der Softwareentwicklung im Automobilbereich und den dafür geeigneten Methoden, Techniken und Werkzeugen.

Mit zunehmend vernetzten Fahrzeugen, modernen Fahrerassistenzfunktionen und den anhaltenden Herausforderungen des hoch- und vollautomatisierten Fahrens kommt der Automobilsoftware eine zentrale Bedeutung zu.

Im Workshop werden aktuelle Herausforderungen und neue Lösungsansätze des Automotive Software Engineering diskutiert. Im Fokus stehen softwaredefinierte Fahrzeuge, der Einsatz generativer und eingebetteter KI, kontinuierliche Software-Updates sowie neue Ansätze zur durchgängigen Absicherung von Safety, Security und Compliance. Neben ausgereiften Ergebnissen sind ausdrücklich auch visionäre Beiträge, Erfahrungsberichte und Arbeiten in einem frühen Stadium willkommen.

Organisatoren:

9th Workshop on Avionics Systems and Software Engineering (AvioSE)

Datum: Montag 22.02.2027
URL: https://aviose-workshop.github.io/
Abstract:
Software engineering for avionics systems is driven mainly by safety. Grand challenges are demanding fault tolerance and graceful degradation, maintaining determinism despite of increasing complexity, rising certification effort, and increasing cost and time pressures. New software development methodologies are required for the fast adaptation of future applications, e.g., advanced air mobility, aircrew (workload) reduction, and electric aircraft. At the same time, there are still many unresolved issues in communication and navigation in airspace, certification of new hardware platforms, such as multi/many-core processors, artificial intelligence (AI) as well as cyber-security. The objective of the workshop is to foster the synergy between the software engineering and avionics systems community and provide a platform for exchanging new software engineering methods, tools, and techniques applied in avionics to accelerate innovation in aviation.

Organisatoren:

3rd Workshop on Meta Research and Knowledge Transfer in Software Engineering (SE-MeReTra)

Datum: Montag 22.02.2027
URL: TBA
Abstract:
“Meta-Research and Knowledge Transfer in Software Engineering” (SE-MeReTra 2027) beschäftigt sich mit der Qualität, Reproduzierbarkeit und Wirksamkeit von Forschung in der Softwaretechnik sowie dem Wissenstransfer zwischen akdemischer Forschung, Wirtschaft und Verwaltung. Der Workshop bietet Forschenden und Praktiker:innen eine Plattform, um Methoden, Werkzeuge, Infrastrukturen und Erfahrungen zu diskutieren, die zu belastbarer Evidenz und nachhaltigem Wissenstransfer beitragen. Im Fokus stehen Themen wie empirische Forschung (u.a. mit LLM-Bezug), Reproduzierbarkeit, Open Science, Evidence Synthesis, Forschungsbewertung sowie der bidirektionale Austausch zwischen Wissenschaft und Industrie. Durch Vorträge, Diskussionsrunden und interaktive Formate werden aktuelle Herausforderungen identifiziert und zukünftige Forschungs- und Transferaktivitäten angestoßen. Ziel ist es, die Qualität der Software-Engineering-Forschung weiter zu erhöhen und ihre Wirkung in Praxis und Gesellschaft zu stärken.

Organisatoren:

3rd Working Workshop on Research Data Management for and in Software Engineering (RDMxSE)

Datum: Dienstag 23.02.2027
URL: TBA
Abstract: Forschungsdaten, -software und deren Management erfahren zunehmende Beachtung. Besonders sind hierbei die Bereiche Research Software Engineering und Software Engineering Research, in denen viel Forschungssoftware anfällt und es offene Fragen gibt. Daher schlagen wir die Ausrichtung des Workshops “Working Workshop on Research Data Management for and in Software Engineering (RDMxSE)” vor, um wieder interessierte Personen aus der Forschung und Industrie zusammenzubringen und um aktuelle Entwicklungen, Ansätze und Erwartungen, auch Services von NFDIxCS für diesen Kontext, zu betrachten und zu diskutieren.

Organisatoren:

4th Workshop on Generative, Agentic and Neurosymbolic AI in Software Engineering (GenSE)

Datum: Dienstag 23.02.2027
URL: https://gense-workshop.github.io/
Abstract:
Das Hauptthema dieses Workshops ist generative künstliche Intelligenz im Bereich Software-Engineering bleiben, mit Schwerpunktsetzung Agentische und Neurosymbolische KI. Ziel des Workshops ist, sich mit aktuellen Methoden und Werkzeugen im Bereich generative KI auseinanderzusetzen und neue Anwendungen in der Software-Entwicklung zu erschließen. Insbesondere wollen wir einen Schwerpunkt auf neurosymbolische Ansätze legen, die maschinelles Lernen (ML) mit symbolischen KI-Methoden (also Wissensrepräsentation und Schlussfolgerungen, die auf symbolischer Logik basieren) kombinieren, um die Zuverlässigkeit und Robustheit von generativen Modellen zu verbessern.

Organisatoren: