23 nov 2019 14:00 Palestra Auditório do IC Quantitative Logic ReasoningMarcelo FingerIME/USPRelacionado