Zum Hauptinhalt springen

Aktuelle Mitteilungen

The 86. Theorietag will take place as a combined workshop of the GI groups Algorithms, Complexity, and Logic at Heinrich-Heine-Universität Düsseldorf…
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
Im März 2020 wurde das neue Leitungsgremium der GI-Fachgruppe "Logik in der Informatik" gewählt: - Olaf Beyersdorff, Uni Jena (Sprecher) - Manuel…
weiterlesen