Trust is good — control (through testing) is better — formal verification is best.

Throughout the last years trustworthiness has become a key building block in the design development of new software and hardware systems. Testing is a first step to establish this trustworthiness but is limited in terms of expressivity and energy-intensive. Formal verification offers an alternative approach.
Instead of via tests, the properties of a program are expressed as theorems and established via machine-checked proofs.   
 
This workshop brings together developers and formal verification engineers to exchange ideas, report on and discuss the latest trends in the domain of specification-driven formal verification for software and hardware design.

Workshopchair:

• Marieke Petersen

Wertschö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:

• Thorsten Schoormann
• Ilka Jussen-Lengersdorf

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:

1. Multicellular modelling standard design and model implementations.
   2. Repositories, FAIR publication and certification, including aspects such as metadata formats, standardised annotations and repository interconnection.
   3. Community work within the biological and medical research community to promote the exchange across relevant modelling formalisms, simulation environments, repository providers and networks.

Workshopchairs:

• Diego Jahn
• Dr. Lutz Brusch

Cultural heritage creates identity to people, society and nations. But in many regions of this world tangible cultural heritage is in danger due to erosion, political conflicts or natural desaster. Thus, cultural knowledge is lost and cannot be passed on to future generations.
This workshop deals with the urgent question of the possibilities of digitalizing and virtualizing cultural heritage in order to preserve it digitally and make it accessible to a broad audience, regardless of space and time.

Workshopchairs:

• Prof. Dr. Christina B. Class
• Prof. Julia Schnitzer

In dem Workshop „Digital Health Perspectives“ organisiert von der Fachgruppe Digital Health der GI werden Herausforderungen und Lösungsansätze in der Digitalisierung des Gesundheitswesens betrachtet und deren Auswirkungen auf die Gesellschaft diskutiert. Der Workshop zielt darauf ab, Forschende und Praktiker aus der Medizin, der Informatik, den Wirtschafts- und Sozialwissenschaften, der Ethik und anderen Bereichen in einen konstruktiven Dialog zu bringen. Willkommen sind dabei sowohl Beiträge mit Bezug zum deutschen Gesundheitssystem als auch internationale Perspektiven und Erfahrungen aus anderen Ländern. Ziel ist es, durch die Verbindung verschiedener Disziplinen neue Impulse für die digitale Transformation des Gesundheitswesens zu setzen. 

Eingereicht werden können sowohl abgeschlossene Forschungsbeiträge (Full Papers), als auch laufende Forschungsarbeiten (Work-in-progress) sowie reine Diskussionsbeiträge (Extended Abstracts). Angenommene Forschungsbeiträge werden in der GI-Edition Lecture Notes in Informatics (LNI) veröffentlicht.

Workshopchairs:

• Prof. Dr.-Ing. Melanie Reuter-Oppermann
• Prof. Dr. Till Winkler

Das Schulfach Informatik hat Konjunktur. Digitale Souveränität für die nachfolgenden Generationen kann nur erreicht werden, wenn informatische Bildung im allgemeinbildenden Schulunterricht ihren festen Platz findet. Die GI hat sich seit Langem dafür stark gemacht. Nun wird das Pflichtfach Informatik nach und nach in allen Bundesländern implementiert, nachdem Bayern, Mecklenburg-Vorpommern und Sachsen lange Zeit alleine vorangegangen waren. Der Informatik-Monitor trägt das Seinige dazu bei. Doch: Was passiert eigentlich im Informatikunterricht?

Der Fachausschuss Informatische Bildung in Schulen möchte in diesem Workshop an Beispielen aus den Fachgruppen der Bundesländer sowie an der Schnittstelle von Wissenschaft und Schulpraxis darstellen, was sich im Informatikunterricht in Deutschland tut, tun wird und in den letzten 55 Jahren schon getan hat. Auf Grundlage praxisnaher Einblicke erfahrener Informatiklehrkräfte und Didaktiker:innen in den regulären Informatikunterricht diskutieren die Teilnehmenden retrospektiv und perspektivisch Entwicklungen der Schulinformatik.

Workshopchairs:

• Dr. Daniel Losch
• Dr. Lutz Hellmig

Societies 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.

Workshopchairs:

• PD Dr. Jens Dörpinghaus
• Dr. Michael Tiemann