Ação faz parte das atividades IEEE Education Week promovidas pelas sociedades da instituição na UFRN....
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: