Los invitamos a la presentación de Trabajo Final de Ignacio Made, hoy lunes a las 18hs en el Aula Magna de FaMAF. Título: De PH a IP, un curso en Complejidad Computacional. Autor: Ignacio Made. Director: Miguel Campercholi. Resumen: La teoría de la Complejidad Computacional es un…
Facundo Bustos, 2019-11-06: “Introducción a Planning Clásico y su Complejidad”
Planning es una disciplina dentro de Inteligencia Artificial que estudiala inferencia de planes por parte de agentes inteligentes desde una descripción lógica de un problema. En la primera parte del seminario vamos a introducir los conceptos básicos de Planning Clásico…
Miguel Pagano, 2019-10-30: “Modelos para sintacticalidades”
En un seminario anterior, Francisco Trucco presentó el isomorfismo de Curry-Howard y para ello introdujo el cálculo lambda. La noción de cómputo en el cálculo lambda es sintáctica y consiste en reducir paso a paso expresiones. En este seminario, presentaré…
Francisco Trucco, 2019-10-02: “El Isomorfismo de Curry Howard”
El isomorfismo de Curry Howard establece una sorprendente correspondencia entre sistemas de lógica formal y cálculos computacionales. El isomorfismo adquiere distintas formas: las fórmulas se corresponden a tipos, las pruebas se corresponden a programas, la existencia de una prueba se…
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…
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,…
Miguel Pagano, 2016-05-04: “Introducción a la Teoría de Tipos”
Next Wednesday M. Pagano (FaMAF-UNC) will give us an introduction to the theory of types, which is relevant both for Math and Computer Science, foundationally and in applications. Título: Introducción a la Teoría de Tipos Resumen: Desde comienzos de los 1970 Per Martin-Löf propuso…
TCD en el IMAL
El pasado seis de noviembre Pedro Sánchez Terraf viajó al Instituto de Matemática Aplicada del Litoral (IMAL) en Santa Fe invitado a dar una charla en el marco del ciclo de conferencias semanales del Seminario “Carlos Segovia Fernández”. El título y resumen de…