Eventos

Los invitamos a la septima charla de la edición 2021 del seminario. Esta vez presentamos a Jorge Geffner de la Facultad de Medicina de la UBA y CONICET. Quiénes: Jorge Geffner: Profesor Titular de Inmunología. Facultad de Medicina. UBA. Investigador Superior. CONICET. Cuándo: Jueves 20 de Mayo, 11 hs. [...]

Título: Simulación por Cuantización de Estados en Física de Altas Energías: Un Estudio de Nuevos Integradores para el Simulador Geant4 Director: Lucio Santi Co-director: Rodrigo Castro Jurados: Pablo Turjanski (Dpto. de Computación) y Gustavo Otero y Garzón (Dpto. de Física) Resumen: Las simulaciones computacionales en física de altas energías [...]

Los invitamos a la octava charla de la edición 2021 del seminario. Esta vez presentamos a Gabriela Barbas. Secretaria de Prevención y Promoción de la Salud de Córdoba. Quién: Gabriela Barbas. Secretaria de Prevención y Promoción de la Salud de Córdoba. Cuándo: Jueves 27 de Mayo, 11 hs. Link [...]

Los invitamos a la novena charla de la edición 2021 del seminario. Esta vez presentamos a Julieta Calmens, subsecretaria de Salud mental de la Provincia de Buenos Aires. Quién: Julieta Calmens, subsecretaria de Salud mental de la Provincia de Buenos Aires. Cuándo: Jueves 3 de Junio, 11 hs. Link [...]

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 [...]