Orador: Pablo Barenbaum (Investigador formado del grupo de Lógica y Reescritura para Lenguajes de Programación, ICC).