Título: Combinações de Sistemas Lógicos

     Palestrante: Marcelo Finger

     Resumo: Há mais de 10 anos sentiu-se a necessidade de não mais estudar
             sistemas lógicos em separado, mas de estudar como compor e
             combinar sistemas já existentes em sistemas de maior
             complexidade. Esta área tem sido um campo ativo de pesquisa
             desde então.  Boa parte do estudo se concentrou e verificar quais
             propriedades dos componentes eram transferidas para o sistema
             combinado.

             Nesta palestra iremos descrever diversos tipos de combinação de
             sistemas lógicos e apresentar alguns resultados obtidos.
             Diversos problemas em aberto serão apresentados.