Zum Inhalt
Fakultät für Informatik

SchwentickFest

SchwentickFest © Thomas Schwentick

Anlässlich des 60. Geburtstages von Prof. Thomas Schwentick findet am Rande der in Warschau stattfindenden Konferenz Computer Science Logic (CSL 2023) das „SchwentickFest“ statt, ein Workshop, der von einigen Kooperationspartner*innen von Prof. Schwentick organisiert wird.

Forschung in der Theoretischen Informatik findet nicht in der Geschäftigkeit großer Labore, aber auch nicht in Elfenbeintürmen statt. Vielmehr entsteht das Ergebnis, mathematische Sätze und ihre Beweise, meistens in interaktiven Prozessen, im intensiven Austausch einer Gruppe von Wissenschaftler*innen. Probleme werden formuliert, Behauptungen werden aufgestellt, widerlegt, gemeinsam werden neue Lösungsmethoden gesucht – solange bis der Beweis stimmt. Dieser enge kooperative Prozess kann auch über große Entfernungen stattfinden. Anlässlich des 60. Geburtstages von Prof. Thomas Schwentick findet am Rande der in Warschau stattfindenden Konferenz Computer Science Logic (CSL 2023) das „SchwentickFest“  statt, ein Workshop, der von einigen Kooperationspartner*innen von Prof. Schwentick organisiert wird.  Als eingeladene Sprecher werden Forscher*innen aus der ganzen Welt über aktuelle wissenschaftliche Arbeiten berichten.