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