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…