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

 

ResearchTeaching
MembersContact
EventsService / 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