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.

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:

25th Annual Conference on Computer Science Logic 2015