Começa na próxima segunda-feira, 16, as inscrições para o processo de Reingresso nos cursos de 2º Ciclo da UFRN para o semestre 2022.1. Os interessados devem se inscrever até as 23h59 do dia 30 de maio, exclusivamente pela Plataforma SECACA da Secretaria Acadêmica da Escola de Ciências e Tecnologia (secacademica.ect.ufrn.br). Ao todo, são disponibilizadas 320 […]
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:
https://sites.google.com/site/carlosolarte/