Eventos

Título: Diseño e implementación de un generador de código .NET Directores: Edgardo Zoppi y Diego Garbervetsky Jurados: Hernán Wilkinson y Alexis Soifer Resumen: En esta tesis presentamos el diseño e implementación de un módulo de generación de código para el framework de análisis estático de código Analysis.NET. Esta herramienta [...]

Título: Verificación de correctitud para tipos de datos replicados en Coq Directores: Christian Roldán y Hernán Melgratti Jurados: Fernando Asteasuain y Agustín Martinez Suñé Resumen: La replicacion de datos es un concepto fundamental en sistemas distribuidos ya que ofrece garantías como escalabilidad y alta disponibilidad a expensas de tener [...]

Los invitamos a la décima charla de la edición 2021 del seminario. Esta vez tenemos el honor de contar con la visita del Dr. Pedro Cahn, Director Científico de la Fundación Huésped y miembro del equipo asesor del gobierno nacional en temas covid.

Título: Problema de ruteo de vehículos con ventanas de tiempo, opciones de entrega y capacidades dinámicas Directores: Juan José Miranda Bront y Gonzalo Lera Romero Jurados: Isabel Méndez-Díaz y Daniel Negrotto Resumen: El reciente crecimiento del e-commerce trae consigo un abrupto incremento en la cantidad y complejidad de los [...]

Título: Recuperando 'fórmulas culpables' de un lenguaje deóntico mediante el mapeo inverso de unsat cores Director: Fernando Schapachnik Jurados: Sergio Mera y Hernán Czemerinski Resumen: FormaLex es un conjunto de herramientas que tiene como objetivo modelar y analizar sistemas legales realizando de manera automatizada verificaciones de fórmulas lógicas que [...]

Los invitamos a la décimo primera charla de la edición 2021 del seminario. Esta vez tenemos el honor de contar con la visita del Dr. Julio Caramelo que nos hablará del desarrollo de test serológicos y varios aplicaciones del mismo. Quién: Dr. Julio Caramelo. Departamento de Química Biológica, IIBBA-CONICET-FIL [...]

Los invitamos a la décimo primera charla de la edición 2021 del seminario. Esta vez tenemos el honor de contar con la visita del Dr. Emilio Kropff de la Fundación Leloir que nos hablará entre el vínculo de la humedad y contagios de covid. Quién: Dr. Emilio Kropff, Jefe [...]

Los invitamos a la próxima charla del seminario. Esta vez tenemos el honor de contar con la visita de la Dra. Silvia Goyanes del Departamento de Física que nos va a hablar sobre desarrollo de barbijos más protectivos y la experiencia Atom protect. Quién: Dra. Silvia Goyanes, Investigadora Superior [...]

Los invitamos a la próxima charla del seminario. Esta vez tenemos el honor de contar con la visita del Dr. Roberto Etchenique que nos va a hablar sobre desarrollo de NeoQ que desarrolló junto con su equipo. Quién: Dr. Roberto Etchenique. Laboratorio de Dispositivos Moleculares. DQIAyQF-INQUIMAE Cuándo: Jueves 8 [...]

Los invitamos a la próxima charla del seminario. Esta vez tenemos el honor de contar con la visita del Dr. Guillermo Docena hablando sobre vacunas para la covid-19. Quién: Dr. Guillermo Docena. Instituto de Estudios Inmunológicos y Fisiopatológicos (UNLP/CONICET) Cuándo: Jueves 15 de Julio, 11 hs. Link zoom: https://exactas-uba.zoom.us/j/94443673957 [...]