Zum Hauptinhalt springen

Aktuelle Mitteilungen

Der 89. Theorietag wird am 31.03. und 01.04.2026 in Ilmenau stattfinden. Er wird von Christoph Berkholz organisiert. Nähere Einzelheiten sind unter…
weiterlesen
Der 88. Theorietag fand vom 09.-10. Oktober 2025 in Augsburg statt. https://www.uni-augsburg.de/de/fakultaet/fai/conferences/theorietag-2025/
weiterlesen
Der 87. Theorietag fand vom 03.-04. März 2025 in Jena statt und war an die 42. STACS-Konferenz angegliedert. https://stacs2025.de/workshop/
weiterlesen
Die Veranstaltung fand gemeinsam mit dem 34. Theorietag "Automaten und formale Sprachen" vom 17. bis 20. September 2024 in Göttingen statt. Weitere…
weiterlesen
The 86. Theorietag took place as a combined workshop of the GI groups Algorithms, Complexity, and Logic at Heinrich-Heine-Universität Düsseldorf (HHU)…
weiterlesen
Am 19. und 20. September 2023 fand in Bochum ein sehr gelungener Theorietag statt. Herzlichen Dank an Thomas Zeume für die Organisation. Im Rahmen…
weiterlesen
The annual Workshop on Logic in Computer Science (Jahrestagung) will take place in Bochum on September 19-20…
weiterlesen
26. Jahrestagung FG LogInf und Workshop der FG DedSys
weiterlesen
Die nächste Jahrestagung der Fachgruppe Logik in der Informatik findet am 26. März 2021 statt: https://kwarc.info/events/GI2020/index.html Call for…
weiterlesen
Die Jahrestagung für 2020 war für September an der Universität Erlangen geplant (Organisatoren Florian Rabe und Sergey Goncharov). Die Jahrestagung…
weiterlesen