We are glad to invite you to the dissertation by Pablo Ventura, presenting his thesis “Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden” (Algorithms deciding definability of relations in fragments of first-order logic), under the supervision of Miguel Campercholi.…
We want to congratulate Pablo Ventura for being awarded with a Conicet PhD scholarship spanning 5 years. This is a result of the ongoing research project with his adviser, Miguel Campercholi.
Next Wednesday M. Moroni (CIEM-FaMAF) will give us a talk relating descriptive set theory to the Turing degree structure. Título: Grados de Turing Resumen: repasaremos algunos conceptos básicos de teoría de conjuntos descriptiva hasta definir la noción de grados de Turing y…
Next Wednesday P. Ventura (FaMAF-UNC) will talk about his PhD plan. Título: Algoritmos para chequeo de definibilidad en una clase finita de estructuras finitas Resumen: Se contarán algunos algoritmos basados en los lemas semánticos presentados por Campercholi y Vaggione para estructuras finitas, en…
In this opportunity we’ll have a joint seminar with the CIEM Colloquium. It is a pleasure to have Román Sasyk (UBA) next Wednesday.
Next Wednesday S. Ferrando (FFyH-UNC) will talk about the different philosophical views around the foundations of mathematics.
Este fin de semana partiremos rumbo a Santa Fe para participar de la Reunión Anual de la UMA.
Diego Vaggione will open our regular series of seminars with a talk about basic results about varieties with equationally definable factor congruences. The seminar will be held on September, 16th 4:30PM classroom 25.
Finally, our website is online, hosted at the Facultad de Matemática, Astronomía y Física (FaMAF) of the National University at Córdoba. This was made possible by the hard work and care of the FaMAF support team.
Now we have a fully functional and automatically generated list of papers & bibtex entries!