Bitte klicken Sie auf die einzelnen Programmblöcke um nähere Informationen (Abstracts, CfP, Programmabläufe, Links) über den jeweiligen Programmpunkt zu bekommen. Über die Listenansicht haben Sie die Möglichkeit nach Workshopkategorien zu filtern.
Immersive and innovative technologies such as artificial intelligence (AI) and mixed reality (MR) gain in importance on a daily basis, both in non-industrial and industrial sectors. Continuous scientific advances are published and presented on a regular basis in various conferences and journals, mostly focusing on performance improvements or accuracy enhancements, principally incorporating upscaling of resources and mainly evaluated in compact and controlled settings.
However, the requirements of industry and public sector are not limited to performance and accuracy, but also include adaptability to varying requirements and volatile environments, as well as the robustness and reliability. Furthermore, limited financial and human resources for commissioning and maintaining such systems and also data privacy concerns together impose restrictions on upscaling of resources and thereby limit the utilization of aforementioned systems in production.
The first international workshop on Robust AI and MR in Engineering and Production (RAIMREP) guided by researchers and engineers from Cooperative Technology Transfer Center Upper Franconia (TTZ) and Center for Responsible Artificial Intelligence (CRAI), and motivated by real-world challenges in integration of AI and MR in manufacturing, addresses these issues and cordially invites academic and industrial contributions (in form of student theses, posters, and short/long papers) from the following areas, but not limited to:
- AI-based automations in industry
- Applications of MR in production lines
- AI- and/or MR-based personal development and training
- Receipts and best-practices for integration of AI and MR in industry
- Transferable academic work for integration of AI and MR workflows in engineering and production
We explicitly motivate contributors to report also unsuccessful attempts for integrating aforementioned technologies in industrial settings and kindly ask researchers to engage their industry partners.
Workshop Chairs:
Throughout the last years trustworthiness has become a key building block in the design development of new software and hardware systems. In many application domains state-of-the-art testing is not sufficient to establish the needed trustworthiness. Formal verification, where properties of a program are expressed as theorems and established via machine-checked proofs, has the potential to serve as foundation of high-assurance software. Beyond that, formal verification is set to become a key building block for trustworthy AI systems.
This workshop shall serve as an open discussion forum, to bring together practitioners and researchers in formal verification, to exchange ideas and discuss the latest trends in the domain of specification-driven formal verification for software and hardware design.
To promote formal verification, we aim to establish a community (potentially as a GI Fachgruppe) where researchers in Germany and the DACH area connect, exchange ideas and prepare the roadmap for the future development of formal verification.
Marieke PetersenWertschöpfung steht heute unter starkem Veränderungsdruck. Dynamische Märkte und wachsendes Umweltbewusstsein und soziale Herausforderungen erfordern Lösungen, die unterschiedliche Anforderungen ausbalancieren und nachhaltigen Fortschritt ermöglichen. Ein häufig diskutierter Ansatz ist die Informatisierung von Angeboten im Sinne der „Twin Transition“. Sie kann dazu beitragen, Produkte bspw. durch den Einsatz von Künstlicher Intelligenz adaptiv zu gestalten, Angebote über digitale Plattformen leichter zugänglich zu machen oder verschiedene Leistungen gezielt zu kombinieren, um komplexe Probleme zu adressieren.
Mit diesen Ansprüchen steigt jedoch auch die Komplexität: Lohnenswerte Angebote zu identifizieren, zu entwickeln und zuverlässig bereitzustellen, wird für viele Unternehmen zur Herausforderung. Um dem zu begegnen, kooperieren Unternehmen zunehmend in gemeinsamen Wertschöpfungsprozessen, etablieren verlässliche Mechanismen zum sicheren Datenaustausch und nutzen digitale Plattformen zur Monetarisierung ihrer Services. Wertschöpfung wird daher zunehmend aus einer systemischen Perspektive betrachtet.
NaWerSys 2026 greift diese Entwicklungen auf und bietet eine interdisziplinäre Plattform für Forschung und Praxis. Eingeladen werden Beiträge, die Konzepte, Methoden und Anwendungen zur Gestaltung nachhaltiger Wertschöpfungssysteme erforschen, zum theoretischen Fundament beitragen oder empirische Belege, bspw. in Form von Fallstudien leisten.
Beiträge können u.a. folgende Themen adressieren:
1. Digitale Plattformen, intelligente Ökosysteme und Data-Sharing
2. Kreislaufwirtschaft und Ressourceneffizienz
3. Adaptive Produkte, Dienstleistungen und Entwicklungswerkzeuge
4. Marketing nachhaltiger Wertschöpfungssysteme
Der Workshop richtet sich explizit an die Disziplinen Informatik und Wirtschaftsinformatik, Maschinenbau und Elektrotechnik sowie Management und Marketing. Damit werden interdisziplinäre Impulse für nachhaltige Wertschöpfungssysteme geschaffen.
Workshopchairs:
MorpheusML is an innovative, globally adopted, open-source, community-driven modelling and simulation framework for studying multiscale and multicellular systems. It enables the modelling of complex biological systems at the cellular level, taking into account spatio-temporal and mechanical aspects. Such biological systems include self-organisation, patterning, morphogenesis and disease processes from the intracellular to the tissue and organ level. Applications include systems biology, biophysics and systems medicine.
The Centre for Interdisciplinary Digital Sciences (CIDS) at TUD Dresden University of Technology is committed to providing the global research community with a standard for the computer-readable definition called MorpheusML that enables the modelling of complex biological systems.
This is achieved in conjunction with the MorpheusML Model Repository, which is a public, freely accessible platform that collects, curates, documents, tests and validates computational biological models, enabling their FAIR publication.
The workshop addresses digital resilience by strengthening the robustness, interoperability, discoverability, and long-term sustainability of models, simulation environments and research infrastructures. This is achieved through open standards for research data, software and other scientific outputs, FAIR practices as well as community-driven Trustworthy Digital Repositories (TDRs) and their certification.
At the 2026 Informatik Festival, the MorpheusML workshop will cover three main topical areas:
Workshop Website: https://morpheus.gitlab.io/event/if2026/
Workshopchairs:
Dr. Lutz Brusch
Diego JahnLAST CALL: Diskussionsbeiträge (Extended Abstracts) für die Nachmittags-Session können noch eingereicht werden bis zum 31.8.
Weitere Informationen auf der Webseite der Fachgruppe!
Der Workshop „Digital Health Perspectives" beleuchtet Herausforderungen und Lösungsansätze der Digitalisierung im Gesundheitswesen und diskutiert deren Auswirkungen auf die Gesellschaft. Ziel ist es, Forschende und Praktiker:innen aus Medizin, Informatik, Wirtschafts- und Sozialwissenschaften, Ethik und weiteren Disziplinen in einen konstruktiven Dialog zu bringen. Der Workshop wird ausgerichtet von der Fachgruppe Digital Health der GI e.V. in Zusammenarbeit mit der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Epidemiologie (GMDS) e.V. und findet am 25. September 2026 zum zweiten Mal im Rahmen des INFORMATIK Festivals statt.
Workshopchairs:
Programm – Digital Health Perspectives '26
Session 1 – 09:00–10:30 AI & Data-Driven Methods in Clinical Care, Chair: Prof. Dr. Melanie Reuter-Oppermann
Session 2 – 11:00–12:30 Regulation, Markets & Care Structures in the Digital Health Ecosystem, Chair: Prof. Dr. Till Winkler
Session 3 – 14:00–15:30 Emerging Ideas & Community Exchange, Chairs: Prof. Dr. Melanie Reuter-Oppermann, Prof. Dr. Till Winkler

Prof. Melanie Reuter-Oppermann
Univ.-Prof. Dr. Till J. WinklerSocieties today have to deal with multifaceted risks such as pandemics, geopolitical tensions, and virtual security risks.At the nexus of these risks computational social sciences, computing education and digital literacy are emerging as a critical political and societal lever for designing digitalized futures . In pursuit of an open society, open science and open source, this workshop addresses the transformative power of computational methods, including AI, not only in education, but also in society and labor markets by exploring interdisciplinary insights to questions of digital and open sovereignity. This workshop aims to comprehensively explore the intersection of computer science, computational methods, education research, sociological research, their respective methods and societal implications, with a special focus on digitalization and AI for and in society, education and educational research. It focuses on interdisciplinary perspectives on the design of an open society, open science and open source, examining aspects such as society, general education, labor markets, qualifications, vocational education and training, or adult education. In addition, the workshop encourages submissions that critically reflect on the application of digital methods in these research areas. The overarching goal is to understand how computational methods, especially AI, can be sensibly applied in the development of open, digital and sustainable societies and economies. Emphasis is placed on theoretical as well as empirical research, including data science methods and AI approaches applicable to recommender systems, digitized learning, and effective linking of digital resources.
Session 1 (Chair: Jens Dörpinghaus)
Session 2 – 11:00-12:30 (Chair: Michael Tiemann)
Zum Call for Paper
Workshopchairs:
Session 1 (Chair: Jens Dörpinghaus)
Session 2 – 11:00-12:30 (Chair: Michael Tiemann)

PD Dr. Jens Dörpinghaus