This paper introduces the WINDIS Laboratory of the Computer Science Department of Federal University of Sao Carlos. One of WINDIS research areas is on Interoperable, Composable and Integrable Distributed Interactive Simulations. As a member of the National Institute of Technology on Embedded Systems (INCT-SEC) WINDIS research interest also includes post-embedded systems generation, known as cyber-physical systems, and its HCI challenges: building flawless and seamless interfaces in the cyber world that surround us.
This is a collection of papers, notes and copies of transparencies representing the talks of the CLICS Workshop at the Computer Science Department, Aarhus University, 23 - 27 March 1992. CLICS is an Esprit, Basic Research Action on Categorical Logic in Computer Science.