imageBugfix.png
Fachgruppe
LogInf

Aktuelle Mitteilungen

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