Caros,
Gostaria de convidá-los para a defesa *remota* da tese de doutorado
do meu aluno Vitor Pereira Machado, na quinta dia 13/07 às 9:00
(horário de Brasília).
Abraços,
Mario
Aluno: Vítor Pereira Machado
Título: Temporal Logics for Diffusion Social Networks
Resumo: This thesis introduces LTL-SN, a logic-based framework for
modeling social networks using Linear Temporal Logic (LTL). LTL-SN
incorporates social network properties of adoption, where agents adopt
behaviors based on their friends' behavior. Additionally, it explores
variations of the model for analyzing disease spread in populations
using compartmental models. The thesis leverages existing
specification languages and model checking implementations,
representing social networks as LTL paths specified with {\sc nuXmv}
models. Published research findings are referenced. We provide
axiomatization and proofs of soundness and completeness for each
presented logic variant, including compartmental SIR and SIRS models.
Banca:
- Mario R. F. Benevides (Orientador externo) (IC-UFF)
- Valmir C. Barbosa (PESC-UFRJ)
- Priscila M. V. Lima (PESC-UFRJ)
- Bruno Lopes (IC-UFF)
- Edward Hermann Haeusler (PUC-Rio)
- Manuel A. Martins (Un. Aveiro - PT)
Data/hora/local:
- 13/07/2023 às 09:00
- Sala virtual (Google Meet): meet.google.com/rxn-ynhc-xeb
Todos são muito bem vindos.
Mario Benevides
--
Instituto de Computação
Universidade Federal Fluminense
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
<logica-l@dimap.ufrn.br>
---
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMYO67xjRasN1%3DxvZoXJeVoi7HUxq7DRb7v4vk59cLuPYT1ftg%40mail.gmail.com.
