next up previous

ON 1 JULY 1999 LOGPRO AND TOSCA MERGED AND ARE NOW JOINTLY CALLED TCSLAB (THEORETICAL COMPUTER SCIENCE LABORATORY). THE INFORMATION GIVEN BELOW IS FROZEN ON THAT DATE, AND IS FOR ARCHIVAL PURPOSES ONLY.


Next: Members


The Laboratory for Temporal-system Correctness and Algorithmics



TOSCA is a research group within the Department of Computer and Information Science, Linköping University, Sweden. TOSCA was formed by Jan. 1st, 1996, when the research group RKLLAB was split into three new groups (KPLAB, TASLAB and TOSCA).

We do research on various types and aspects of temporal systems, currently in the areas of action planning, temporal constraint reasoning, diagnosis of dynamical systems and modelling and verification of hybrid systems. Some of our research is cross-disciplinary research in collaboration with research groups in the department of electrical engineering, Linköping University. (Click ``Research activities'' below for more information).





Christer Backstrom
torsdag, 30 oktober 1997 kl 13:08:54 MET