Die „European Association for Theoretical Computer Science“ (EATCS) fördert den Austausch und die Zusammenarbeit in der Informatik

Forscher*innen am Paderborner Heinz Nixdorf Institut entwickeln spezifizierbares Analysewerkzeug

Das diesjährige Symposium stand unter dem Motto: „Erkennen der Erfolgspotentiale von morgen und wie KI dabei unterstützen kann“.

Die Konferenz bot mehr als 350 Teilnehmer*innen aus aller Welt verschiedenste Workshops, Fachvorträge und Diskussionsplattformen rund um die neuesten Forschungsergebnisse im Bereich der Theoretischen Informatik.