Welcome to CLC (Center for Logic and Computation), a research unit of the Department of Mathematics of IST established on February 14, 2001 (formerly the Logic and Computation Group of Centro de Matemática Aplicada). The Center develops its research and scientific training activity in mathematics supported by FCT and FEDER under POCTI (Research Unit 1-601), with special emphasis on logic and theory of computation, including related aspects of algebra, topology and dynamical systems, as well as applications to engineering, biology, physics and other sciences. The Center is an associate of CIM (Centro Internacional de Matemática).
Executive Committee: Cristina Sernadas (President), João Rasga (financial matters) and Paulo Mateus (reporting and planning).