Título: Uma Proposta de Lógica para Proposições Perecíveis
Palestrante: Flávio Soares Corrêa da Silva

Resumo: Em muitas situações práticas, precisamos fundamentar nosso raciocínio
        em proposições cuja avaliação pode "perder a validade" com o passar do
        tempo. Nesse seminário, detalharemos esse problema e identificaremos
        algumas das situações práticas em que isso pode
        ocorrer. Apresentaremos então duas propostas para o tratamento formal
        desse problema. Serão apresentados resultados de um trabalho em
        andamento, com a indicação de problemas de pesquisas em aberto.