Welcome to the Logic and Semantics Research Group
We are part of the Institute for Software Engineering and Theoretical Computer Science at Technische Universität Berlin.
|Events||Service / Jobs|
This year's conference CSL 2015 will be organized by our research group and takes place at the TU Berlin.
Further information can be found here: