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…
Javier Blanco, 2016-06-01 “Reflexiones acerca de la reflexión”
Today, Javier Blanco will talk about reflection applied to Logic, Computer science and Philosophy. Abstract Proponemos aquí una reflexión meta-teórica acerca de la necesidad y las condiciones de (im)posibilidad de desarrollar teorías reflexivas, es decir, teorías donde su propia formulación pertenezca, de algún modo,…