Desde 2015, a UFRN tem se empenhado em estreitar a cooperação com o Instituto de Estudos Avançados (IEAv) e o
Docente da ECT, Carlos Olarte, apresentará dois artigos científicos no 15º Workshop Internacional de Estruturas Lógicas e Semânticas com Aplicações (LSFA, na sigla em inglês). O evento acontecerá em formato online nos dias 27 e 28 de agosto. Os trabalhos estão intitulados como:
1. A fresh view of linear logic as a logical framework (with Elaine Pimentel and Bruno Xavier), em tradução livre, Uma nova visão da lógica linear como uma estrutura lógica.
2. A constraint-based language for multiparty interactions (with Linda Brodo), ou, Uma linguagem baseada em restrições para interações multipartidárias.
A LSFA é um evento consolidado e está na sua 15º edição. Em edições passadas, fez de sede diversas cidades brasileiras e este ano aconteceria em Salvador, BA. Contará com diversas palestras e a participação de importantes professores de outras universidades ao redor do mundo.
Você pode saber mais sobre o evento através do link:
Para conhecer melhor os artigos que serão apresentados por Carlos Olarte, acesse: