Veranstaltungen
Tag der Technik 2020
Prof. Lange und Eric Alsmann stellten den Studiengang Informatik im Rahmen des Tags der Technik an der Uni Kassel am 11.11.2020 vor.
INFORMATIK 2019
49. Jahrestagung der Gesellschaft für Informatik
Die INFORMATIK 2019 fand vom 23.-26.9.2019 an der Uni Kassel statt.
TIME2015
22nd Int. Symposium on Temporal Representation and Reasoning
Die TIME'15 fand vom 23.-25.9.2015 an der Uni Kassel statt.
Logik in der Informatik 2015
22. Jahrestagung der GI-Fachgruppe "Logik in der Informatik"
Die 22. LogInf wurde vom FG Theoretischen Informatik / Formale Methoden als assoziierter Workshop im Rahmen der CSL'15 am 11.11.2015 an der TU Berlin organisiert.
Logik in der Informatik 2014
21. Jahrestagung der GI-Fachgruppe "Logik in der Informatik"
Die 21. LogInf fand am 14.11.2014 an der Uni Kassel statt.
AlMoTh 2014
Algorithmic Model Theory Meeting 2014
Die AlMoTh 2014 fand am 20. und 21.2.2014 an der Uni Kassel statt.