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.