• O sistema será reiniciado às 11:40 para fins de atualização de funcionalidades. Pedimos a todos que salvem seus trabalhos para que não haja transtornos.
    Agradecemos a compreensão, em até 10 minutos o sistema estará de volta.

elaine gouvea pimentel

MAT - DEPARTAMENTO DE MATEMÁTICA

Projetos de Pesquisa

Projeto de Pesquisa Área de Conhecimento
2019
PVB16106-2019 PROof search for Substructural and modAl logics (PROSA) Lógica Matemática
PIJ16135-2019 LOGOCOSMICS: LOgica, joGOs e Cálculos de prOcessos para Sistemas ModaIs ConcorrenteS Lógicas e Semântica de Programas
PIJ16136-2019 Sistemas concorrentes: semântica, provas e modelos declarativos Lógicas e Semântica de Programas
2017
PIJ13861-2017 EPIC: EPistemic Interactive Concurrency Lógicas e Semântica de Programas
2016
PIB12828-2016 Modalidades em Concorrência: Fundamentos e aplicações em Bio-informática e Computação Orientada a Serviços (Produtividade em Pesquisa PQ 2015) Lógicas e Semântica de Programas
PVB13706-2016 Busca por provas em lógicas modais e sub-estruturais Lógica Matemática
2014
PVB11750-2014 MUSICAL - MUsic and Spatial Interaction with Constraints, Algebra and Logic: foundations and applications Lógicas e Semântica de Programas
PVB11851-2014 Provas: identidade, estrutura e representação – PIER Lógica Matemática
PVB11864-2014 GeVe - Generalizações de Verofuncionalidade Lógicas e Semântica de Programas
PIJ11898-2014 Sistemas interativos e programacão concorrente por restricões: fundamentacão e aplicacões em multimedia Matemática Simbólica
2013
PIB11232-2013 Uma estrutura lógica para sistemas concorrentes epistêmicos, temporais e espaciais Lógicas e Semântica de Programas
2012
PVB11865-2012 GeTFun Generalizing Truth-Functionality Lógicas e Semântica de Programas

SIGAA | Superintendência de Informática - (84) 3215-3148 | Copyright © 2006-2019 - UFRN - sigaa11-producao.info.ufrn.br.sigaa11-producao v3.45.5