Next Monday, Pablo Ventura will talk about deciding whether a relation is definable by an open first-order formula. Título: Algoritmos para decidir definibilidad abierta. Resumen: Presentaremos algoritmos para decidir definibilidad utilizando las caracterizaciones semánticas de la definibilidad dadas en “Semantical conditions for the definability of…
Mariana Badano, 2019-04-22, “Contrastación de hipótesis científicas”
Título: Contrastación de hipótesis científicas. Resumen: En esta oportunidad analizaremos a nivel metodológico la contrastación de hipótesis (o teorías) científicas. Para ello abordaremos las definiciones y metodologías clásicas y analizaremos los problemas que tales marcos conceptuales suscitan. Como motivación de esta propuesta…
Welcome Azul and Guillermo
Two new graduate students have joined our research team. We want to warmly welcome Azul Fatalini and Guillermo Incatasciato; both have been awarded with 5-year Conicet scholarships to obtain a PhD (in Mathematics under P. Sánchez Terraf, and Computer Science under D. Vaggione, respectively. Dos nuevos estudiantes se…
Pedro Sánchez Terraf, 2019-04-10: “Posets asociativos”
Título: Posets asociativos. Resumen: Los conjuntos parcialmente ordenados (posets) están muchas veces asociados a una estructura algebraica. El caso paradigmático de esta relación viene dado por un álgebra de conjuntos con la inclusión y la operación de intersección: a⊆b⟺a∩b=a. En este caso,…
Reuniones de Teoría de Conjuntos
Los lunes a las 14:30, en el aula 24 de FaMAF nos estamos juntando a charlar y pensar sobre temas elementales sobre Teoría de Conjuntos. Los requisitos son haber cursado Topología y Funciones reales. En esta ocasión discutiremos juegos infinitos y los…
Trabajo Final: Gonzalo Zigarán
Tenemos el placer de anunciar la presentación de Trabajo Final de Licenciatura en Matemática de Gonzalo Zigarán, bajo la dirección de Diego Vaggione. Fecha: Viernes 5 de mayo de 2017 16:30hs. Lugar: Aula Magna FaMAF. Título: Algoritmos para representaciones globalesResumen: Las representaciones globales son de interés…
Congrats Martín Moroni!
Martín Moroni has passed the qualifying examinations required in the PhD program in our university. We want to warmly congratulate him and encourage him to keep the hard work. Good luck! Estamos muy felices de anunciar que Martín Moroni aprobó los exámenes de doctorado,…
Members of our group enter the Research Incentives Program
We would like to congratulate Mariana Badano and Mauricio Tellechea for having been categorized in the Program of Incentives for Research for faculty members. Both of them now have the initial Category 5. Good luck and keep on working! Queremos felicitar a los miembros del grupo, Mariana Badano y Mauricio Tellechea, por…
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,…