Los invitamos a la próxima charla del seminario. Esta vez contamos con la presencia de Irene Torres que hablará sobre educación en hogares en tiempos de covid. Quién: Irene Torres, Directora Técnica de la Fundación Octaedro (Ecuador) Cuándo: Jueves 11 de Noviembre, 11 hs. Link zoom: https://exactas-uba.zoom.us/j/94443673957 También lo [...]

Título: Un algoritmo branch-and-price and cut para diseño de redes con p-ciclos Directora: Irene Loiseau Jurados: - Elena Fernández Aréizaga,Universidad de Cádiz, España. - Celso Carneiro Ribeiro, Universidad Federal Fluminense, Brasil. - Héctor Cancela, Universidad de la República, Uruguay. Link a la transmisión por YouTube: https://youtu.be/LRA38dX81-o ---------------------------------------------------------------------------------------------------------- RESUMEN: El concepto [...]

Título: "PRK, una lógica constructiva clásica" Director: Pablo Barenbaum Jurado: - Eduardo Bonelli (Stevens Institute of Technology) - Santiago Figueira (ICC, CONICET) Resumen: Esta tesis presenta el sistema PRK, un sistema lógico en el cual las nociones de prueba y refutación son duales. Este sistema extiende a la lógica [...]