TCSLAB was formed on 1 July 1999 when the former TOSCA (Laboratory for Temporal-system Correctness and Algorithmics) and LOGPRO (Laboratory for Logic Programming) merged. The research of TCSLAB focuses on the use of logic and algebraic techniques in areas such as systems modeling and verification, diagnosis, specification languages, logic and constraint programming, constraint satisfaction problems, design and analysis of algorithms and the study of computational complexity.

Page responsible: Ulf Nilsson
Last updated: 2012-05-07