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…