Bitte melden Sie ihre Kinder über das Formular zur Kinderbetreuung in Ihrem persönlichen Profil an. https://informatik2026.gi.de/kinder.html 

LAST 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:

• Prof. Dr.-Ing. Melanie Reuter-Oppermann, Technische Hochschule Würzburg-Schweinfurt (THWS) 
• Prof. Dr. Till Winkler, FernUniversität in Hagen 
• Prof. Dr. Prof. Dr. Heiko Gewald, Hochschule Neu-Ulm 

Towards a community for formal verification for Germany/DACH

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.

Workshopchair:

• Marieke Petersen, Gesellschaft für Informatik e.V.
• Sebastian Ertel, Barkhausen Institut
• Sven Linker, Kernkonzept
• Hendrik Tews, Kernkonzept

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.

Workshop Website: https://morpheus.gitlab.io/event/if2026/

Workshopchairs:

• Diego Jahn
• Dr. Lutz Brusch

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

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.

Session 1 (Chair: Jens Dörpinghaus)

• 09:00 – 09:20 Processing and Linking Vocational Documents (Thomas Reiser)
• 09:20 – 00:40 Between Support and Dependence: How Generative AI Reshapes Students’ Academic Work Practices in German Higher Education (Malte Högemann)
• 09:40 – 10:00 BundesScraper (Johannes Felix Käßmaier)
• 10:00 – 10:20 Detecting Skills in German Labor Market Data according to ESCO Zusammenfassung des Beitrags (Kristine Hein, Katerina Kostadinovska)
• 10:20 Poster pitches

Session 2 – 11:00-12:30 (Chair: Michael Tiemann)

• 11:00 – 11:20 A Novel Approach to Explaining Gender Bias in YouTube Videos about Occupations Zusammenfassung des Beitrags (Martin Sommer)
• 11:20 – 11:40 Generative AI in Software Engineering Education: A Qualitative Study on Usage, Challenges, Chances from Lecturers‘ Perspective (Veronika Vasileva)
• 11:40 – 12:00 What are the Challenges Faced by Vocational Education Regarding the Implementation of AI Literacy? (Vera Weil)
• 12:00 – 12:20 BORA: A Framework for Assessing the Quality of LLMs in Human Interaction Zusammenfassung des Beitrags (Dietmar Schulze)
• 12:20 Posters

Zum Call for Paper

Workshopchairs:

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

Weitere Infos folgen.

Webseite: ifip