Um framework lógico para raciocínio sobre sistemas críticos, Bruno Lopes (UFF)

[Adolfo Neto]

Forum da Pós-Graduação em Computação do Paraná  ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌

	View in browser Um framework lógico para raciocínio sobre sistemas críticos, Bruno Lopes (UFF) Forum da Pós-Graduação em Computação do Paraná Adolfo Neto Oct 3   READ IN APP   Resumo: Nesta apresentação discutiremos uma família de lógicas modais denominadas dinâmicas, o uso de Reo, uma linguagem para a modelagem de sistemas concorrentes baseada em coordenações e suas aplicações na modelagem e raciocínio sobre sistemas concorrentes. Uma ferramenta para automatizar o raciocínio será apresentada. Mini-bio do palestrante: Bruno é Doutor em Informática pela Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, com período sanduíche em Institut National de Recherche en Informatique et en Automatique - Siège. É professor na Universidade Federal Fluminense (IC/UFF) e sua linha de trabalho é na área de lógica para sistemas concorrentes, bem como pesquisa sobre o desenvolvimento de provadores de teoremas extensíveis, normalização para sistemas de dedução natural, ontologias, formalização de sistemas multi-agentes e teoria da prova para lógicas. Foi Secretário Geral da Sociedade Brasileira de Lógica por duas gestões (2017-2019 e 2019-2021) e atualmente é Segundo Vice-Presidente, além de Coordenador do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação. Demais transmissões em https://www.youtube.com/@forppgcpr/streams   Share     Like Comment Restack   © 2023 Adolfo Neto 548 Market Street PMB 72296, San Francisco, CA 94104 Unsubscribe

--

==================================================================
Adolfo Neto

Associate Professor - Federal University of Technology, Paraná

Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==================================================================