Descripción: IST. Instituto Superior Técnico. Departamento de Matemática «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).» CIM. Centro Internacional de Matemática