The content on this page was translated automatically.
Technology Day 2020
Prof. Lange and Eric Alsmann presented the Computer Science course as part of the Technology Day at the University of Kassel on 11.11.2020.
49th annual conference of the German Informatics Society
The INFORMATIK 2019 took place from 23-26.9.2019 at the University of Kassel.
22nd International Symposium on Temporal Representation and Reasoning
The TIME'15 took place from 23-25.9.2015 at the University of Kassel.
Logic in Computer Science 2015
22nd Annual Conference of the GI Section "Logic in Computer Science"
The 22nd LogInf was organized by the FG Theoretical Computer Science / Formal Methods as an associated workshop within the CSL'15 on 11.11.2015 at the TU Berlin.
Logic in Computer Science 2014
21st Annual Conference of the GI Section "Logic in Computer Science"
The 21st LogInf took place on 14.11.2014 at the University of Kassel.
Algorithmic Model Theory Meeting 2014
The AlMoTh 2014 took place on February 20 and 21, 2014 at the University of Kassel.