Logic and Semantics Research Group

Welcome to the Logic and Semantics Research Group at the

Institute for Software Engineering and Theoretical Computer Science

Technical University Berlin

Research Teaching
Members Contact
Events Service / Jobs

NEWS: 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