INPUT

Von Crush bis Challenge

In dieser Rubrik erfahren Sie, welche Events, Publikationen und Projekte in der GI gerade angestoßen werden.

Getagt, getan

Das GI-Präsidium kommt halbjährlich für eineinhalb Tage zusammen und beschließt zum Beispiel Leitlinien und zentrale Empfehlungen, die in den Gremien des Vereins entwickelt wurden. Zum Einläuten des neuen Jahres trafen sich die Mitglieder des Präsidiums in Siegburg. Auf der Agenda standen unter anderem neue Bildungsstandards für das Fach Informatik, Forschungsdaten und die Stärkung des Ehrenamts. Die Fachgruppe Frauen und Informatik brachte außerdem das Thema digitale Gewalt ein und bezog im Anschluss Stellung zu einem neuen Gesetzesentwurf des Bundesjustizministeriums. Ein weiterer Programmpunkt war die Veröffentlichung der Grand Challenges der Informatik 2025: Die Initiative hebt relevante Herausforderungen hervor, denen sich die Disziplin in den nächsten Jahren stellen muss.

Alle Infos und Poster zu den Challenges

Komplexer und anfälliger

… werden IT-Systeme für sicherheitskritische Fehler. Hier kommt die formale Verifikation ins Spiel: mathematisch-logische Methoden, mit denen sich beweisen lässt, dass ein IT-System frei von Sicherheitslücken ist. Das Programm
„Ökosystem vertrauenswürdige IT – beweisbare Cybersicherheit“ von der Agentur für Innovation in der Cybersicherheit hat ein klares Ziel. Teams sollen beauftragt werden, die Technologien, Methoden und Tools für formal verifizierte Software- und Hardwarekomponenten zu erforschen und zu entwickeln sowie ein Ökosystem von Entwickler*innen und Nutzenden zu etablieren. Daran arbeitet nun auch die GI mit: In PROTECT soll mit innovativen Methoden der formalen Verifikation die IT-Sicherheit verbessert und das Vertrauen in digitale Systeme nachhaltig gestärkt werden.

Mehr über das Projekt

 

Düster, aber hoffnungsvoll

Tech-Konzerne, die politischen Einfluss ausüben, Fake News, die Demokratien bedrohen, und ein von Energiehunger überhitzter Planet – dystopisch anmutende Herausforderungen sind längst nicht mehr fiktiv. Deshalb müssen auch Lösungen endlich greifbar werden, vor allem für den Informatiknachwuchs. Der Tech Crush, eine neue Reihe an Recruiting-Events der GI, wartet 2025 gleich mit drei Terminen in Berlin, Potsdam und Aachen auf, die sich um das Thema „Dismantling Dystopia“ drehen. Bei den kostenlosen, eintägigen Veranstaltungen erhalten Studierende Einblicke in die Arbeit unterschiedlicher Unternehmen und arbeiten gemeinsam mit Vertreter*innen dieser Firmen an aktuellen Fragen und Herausforderungen.

Die Anmeldungen sind ab jetzt offen:
techcrush.org

DIGITALE BIBLIOTHEK

Die GI öffnet nicht nur Räume für Forschung und Austausch, sondern gibt auch Impulse: in Empfehlungen, Leitlinien oder Positionspapieren. Das sind die aktuellsten Publikationen aus jeder Sektion:

Hellmig, Burk, Greubel, Hennecke, Herper, Hilbig, Michaeli, Mittag, Pasternack, Puhlmann, Röhner, Rücker, Schmalfeldt, Spalteholz, Stechert (2025)

Empfehlungen der Gesellschaft für Informatik e. V.: Bildungsstandards Informatik für die Sekundarstufe I

Link zur digitalen Bibliothek

Czerniak, Ehrenhofer, Fritzsch, Funk, Goth, Hähnle, Haupt, Konersmann, Linxweiler, Löffler, Lüpges, Nielebock, Rumpe, Schieferdecker, Schlauch, Speck, Struck, Thiele, Tichy, Ulusoy (2025)

GI- und DE-RSE Muster-Leitlinie zur effizienten Entwicklung von Forschungssoftware

Link zur digitalen Bibliothek

Jaschke, Klusch, Krupka, Losch, Michaeli, Opel, Schmid, Schwarz, Seegerer, Stechert (2023)

Positionspapier der Gesellschaft für Informatik e.V. (GI): Künstliche Intelligenz in der Bildung

Link zur digitalen Bibliothek


Alle Beiträge finden Sie in der Digitalen Bibliothek der GI, die allen Mitgliedern kostenlos zur Verfügung steht. Wir laden ein zum Stöbern: dl.gi.de