Logic Seminar

Emmanuel Gunther, 2016-06-15: “Formalización de un framework algebraico para la traducción correcta de lenguajes”.

Next Wednesday, Emmanuel Gunther (FaMAF-UNC) will talk about an application of Universal Algebra to the proof of correctness of a compiler. Título: Formalización de un framework algebraico para la traducción correcta de lenguajes. Resumen: Traducir correctamente expresiones de dos lenguajes distintos es una tarea…

Miguel Campercholi, 2016-04-20: “Subálgebras épicas y funciones primitvas positivas”

Next Wednesday M. Campercholi (CIEM-FaMAF) will give us a talk that addresses the problem of characterizing epimorphisms in classes of algebras. Título: Subálgebras épicas y funciones primitvas positivas Resumen: Sean $\mathbf{A}\leq\mathbf{B}$ álgebras y $\mathcal{K}$ una clase. Diremos que $\mathbf{A}$ es una subálgebra…

Pablo Ventura, 2015-10-28: “Algoritmos para chequeo de definibilidad en una clase finita de estructuras finitas”

Next Wednesday P. Ventura (FaMAF-UNC) will talk about his PhD plan. Título: Algoritmos para chequeo de definibilidad en una clase finita de estructuras finitas Resumen: Se contarán algunos algoritmos basados en los lemas semánticos presentados por Campercholi y Vaggione para estructuras finitas, en…