Both participated in the Conference on Logic and Formal Methods organized by the Department of Computer Science Theory at the faculty, as well as in the defense committee for the doctoral thesis in Computer Science by Ernesto Copello, a research assistant and instructor in the Department of Computer Science Theory at the faculty.
Dr. Fridlender’s visit took place within the framework of the ANII (National Agency for Research and Innovation) – National Scientific and Technical Research Council (CONICET), Argentina, Bilateral Cooperation Project titled “Dependent Type Theory: Metatheory and Applications,” in which researchers from the aforementioned department are participating. During his stay, Dr. Fridlender conducted research related to the project. Dr. Dybjer’s visit was funded by the Basic Sciences Development Program (Pedeciba) – Computer Science.