Docente da ECT apresentará dois artigos no LSFA 2020

Escrito por: Líria Paz | Publicado em: 25 de agosto de 2020

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:

http://lsfa2020.ufba.br/

Para conhecer melhor os artigos que serão apresentados por Carlos Olarte, acesse:

https://sites.google.com/site/carlosolarte/


PROGRAD abre inscrições para Reingresso de 2º Ciclo no Semestre 2022.2

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 […]

ECT promove 4º Aulão de Cálculo I

Acontece neste sábado, dia 14 de maio, o quarto aulão de Cálculo I, sobre Limites e Derivadas, no auditório F da Escola de Ciências e Tecnologia, de 8h55 até 12h30. Ministrada pela professora Simone Batista, a atividade tem por objetivo ajudar, através da revisão de conteúdos dados na disciplina, alunos e alunas do curso de […]

ECT oferta bolsa de apoio técnico no Laboratório de Eletrotécnica

O Laboratório de Eletrotécnica está oferecendo uma bolsa de apoio técnico para alunos dos cursos de Engenharia ou Ciências e Tecnologia, para atuar junto aos técnicos de laboratório do setor. O discente que tiver interesse em se inscrever, deve enviar currículo e histórico para o email alexandremagnus@ect.ufrn.br até o dia 16 de maio. O bolsista […]