Elaine Gouvêa Pimentel

Bolsista de Produtividade em Pesquisa do CNPq - Nível 2

  • Endereço para acessar este CV: http://lattes.cnpq.br/3298246411086415
  • Última atualização do currículo em 12/09/2018


possui graduação em Matemática pela Universidade Federal de Minas Gerais (1991), mestrado em Matemática pela Universidade Federal de Minas Gerais (1993) e doutorado em Ciência da Computação pela Universidade Federal de Minas Gerais (2001). Atualmente é professor Associado IV da Universidade Federal do Rio Grande do Norte. Tem experiência nas áreas de Ciência da Computação e Matemática, com ênfase em Lógica Matemática e Teoria da Computação, atuando principalmente nos seguintes temas: logical frameworks, proof theory, semantics, lambda calculus. (Texto informado pelo autor)


Identificação


Nome
Elaine Gouvêa Pimentel
Nome em citações bibliográficas
PIMENTEL, E.;Pimentel, Elaine

Endereço


Endereço Profissional
Universidade Federal do Rio Grande do Norte, Centro de Ciências Exatas, Departamento de Matemática.
AC Universidade Federal do Rio Grande do Norte
Lagoa Nova
59078970 - Natal, RN - Brasil
Telefone: (84) 32153819
Fax: (84) 32119219
URL da Homepage: http://www.matematica.ccet.ufrn.br/index.htm


Formação acadêmica/titulação


1998 - 2001
Doutorado em Ciências da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Linear logic as a framework for specifying sequent systems, Ano de obtenção: 2001.
Orientador: Dale Miller e Carlos Camarão de Figueiredo.
Palavras-chave: Forum; Linear Logic; sequent calculus; Logical frameworks; Natural induction/definition; Cut elimination.
Grande área: Ciências Exatas e da Terra
1992 - 1993
Mestrado em Matemática.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Alguns resultados sobre estabilidade de hipersuperfícies de curvatura média constante,Ano de Obtenção: 1994.
Orientador: Susana Cândida Fornari.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Curvatura média; Hipersuperfícies; Estabilidade.
Grande área: Ciências Exatas e da Terra
1988 - 1991
Graduação em Matemática.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.


Pós-doutorado


2018
Pós-Doutorado.
Vienna University of Technology, TUWien, Austria.
Grande área: Ciências Exatas e da Terra
2003 - 2005
Pós-Doutorado.
Universita degli studio di Torino, UNITO, Itália.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.


Atuação Profissional



Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Vínculo institucional

2013 - 2016
Vínculo: Colaborador, Enquadramento Funcional: Colaborador em projeto de pesquisa, Carga horária: 10


Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Vínculo institucional

2013 - Atual
Vínculo: , Enquadramento Funcional: Professor associado IV, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

08/2017 - Atual
Ensino, Matemática, Nível: Graduação

Disciplinas ministradas
Professora no programa Mentores da OBMEP
01/2014 - Atual
Ensino, Matemática Aplicada e Estatistica, Nível: Pós-Graduação

Disciplinas ministradas
Coordenadora do Programa PICME
12/2014 - 09/2016
Direção e administração, Centro de Ciências Exatas, .

Cargo ou função
Coordenadora do Programa de Pós-Graduação em Matemática e Estatística (PPgMAE).

Universidad Del Valle, UNIVALLE, Colômbia.
Vínculo institucional

2012 - 2012
Vínculo: , Enquadramento Funcional: Profesor asistente, Carga horária: 40


Universidade Federal de Minas Gerais, UFMG, Brasil.
Vínculo institucional

1994 - 2013
Vínculo: , Enquadramento Funcional: Professor Associado II, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

04/2009 - 09/2011
Ensino, Matemática, Nível: Graduação

Disciplinas ministradas
Tutora do PET-Matemática
01/2006 - 12/2008
Ensino, Matemática, Nível: Graduação

Disciplinas ministradas
Coordenadora da OBMEP


Projetos de pesquisa


2017 - Atual
Busca por provas em lógicas modais e sub-estruturais
Descrição: Este projeto visa propor sistemas de provas baseados em sequentes aninhados para lógicas modais que estendem tanto a lógica clássica proposicional quanto a lógica linear. Apresentando sistemas modulares, tornaremos possível propor provadores de teoremas para tais lógicas de maneira uniforme, o que possibilita também a verificação de propriedades para os sistemas abordados..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (4) .
Integrantes: Elaine Gouvêa Pimentel - Coordenador / Dale Miller - Integrante / Carlos Olarte - Integrante / Agata Ciabattoni - Integrante / Björn Lelmannn - Integrante / Roman Kuznets - Integrante / Revantha Ramanayake - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2017 - Atual
STIC AmSud/CAPES -- Projeto EPIC (EPistemic Interactive Concurrency)

Projeto certificado pelo(a) coordenador(a) Carlos Alberto Olarte Vega em 17/01/2017.
Descrição: Giving mathematical foundations to today?s concurrent systems (i.e., computational systems of multiple agents that interact with each other) is a serious challenge for theoretical computer science. Traditional mathematical models from concurrency theory do not single out two fundamental aspects of these systems: namely, epistemic and spatial behavior.In this project we take up the task of developing a mathematical model, conceptually different from existing models of concurrency, for the precise understanding of epistemic and spatial behavior in today?s concurrent systems. The model will be able to rigorously predict the behavior of a concurrent system in the presence of complex flow of epistemic information such as knowledge, facts, public announcements, lies and opinions. A compelling application of the model will be to predict if in a given social network, certain intentional lie may lead to unwanted situations such as the public announcement of sensitive information or other intrusive behaviors..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (5) / Doutorado: (2) .
Integrantes: Elaine Gouvêa Pimentel - Integrante / Miller, Dale - Integrante / OLARTE, CARLOS - Coordenador / RUEDA, CAMILO - Integrante / Catuscia Palamidessi - Integrante / Mario Sergio Alvim - Integrante / Camilo Rocha - Integrante / Frank Valencia - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Centre de Recherche Inria Saclay - Île-de-France - Auxílio financeiro / Departamento Administrativo de Ciencia, Tecnología e Innovación - Auxílio financeiro.
2015 - 2017
Programa CAPES/FAPERN
Descrição: APOIO AOS PROGRAMAS DE PÓS-GRADUAÇÃO DAS INSTITUIÇÕES DE ENSINO SUPERIOR (IES) DO ESTADO DO RIO GRANDE DO NORTE.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (10) .
Integrantes: Elaine Gouvêa Pimentel - Coordenador / Dione Valença - Integrante / Andre Pinho - Integrante / André Campos - Integrante / Sidarta Araújo - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
2014 - 2017
MUSICAL - MUsic and Spatial Interaction with Constraints, Algebra and Logic: foundations and applications
Descrição: This multi-disciplinary project aims to the development and integration of tools from logic and con- currency theory for the design and analysis of reactive systems [SJG96] and to their application to musical processes and multimedia systems. The target framework is a variant of tcc, a temporal extension of concurrent constraint programming (CCP) [Sar93] which unifies in a single declarative style the logical and the behavioral specification of temporal processes. In order to take into account the location and mobility of these processes we propose to extend tcc to integrate the specification of spatial relationships between themselves, using for this linear logic with subexponentials. This type of formalism is relevant for the specification and the analysis of emerging applications with advanced interaction with their environment and their users such as those in ubiquitous comput- ing, mobile systems, and multimedia interacting systems. Indeed, these applications require all the description of dynamic and temporized interactions between autonomous localized entities (users, agents, or processes). Besides developing the necessary theory, using linear logic with subexponentials, for handling space-time agents, we propose to apply these theoretical tools to three types of problems originated in music applications: (a) real-time interaction during performance, (b) specification of high level sound spatialization processes and (c), dynamic spatial representation of symbolic musical objects. These applications require the expression of complex coupled spatial and temporal constraints in a real-time environment, which will be an excellent framework to validate the expressiveness and effectiveness of the tools. Finally, we also intend to add to linear logic the notion of probability which is central in the model- ing of musical systems that react according to the laws of probability rather than non-deterministically (for instance in music improvisation systems). As far as we know, probabilistic notions has been introduced in CCP calculi but the connection to logic (for verification purposes) has not been studied for those variants..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) / Doutorado: (4) .
Integrantes: Elaine Gouvêa Pimentel - Coordenador / Carlos Olarte - Integrante / Camilo Rueda - Integrante.
2013 - 2016
Uma estrutura lógica para sistemas concorrentes epistêmicos, temporais e espaciais
Descrição: A programação concorrente com restrições (ccp) é um formalismo atrelado à lógica simples e poderoso. Diversas extensões do modelo têm sido propostas para lidar com noções tais como tempo e não-determinismo para sistemas reativos, comportamento probabilístico, linearidade de recursos e mobilidade, por exemplo. Por outro lado, a lógica linear é um formalismo bem conhecido para especificar e verificar sistemas lógicos e computacionais. Recentemente, subexponenciais em lógica linear (SELL) têm sido utilizados para especificar uma quantidade maior de tais sistemas. A idéia principal deste projeto é propor uma extensão de SELL que permita quantificação sobre subexponenciais (que chamaremos SELLU) como formalismo único para descrever uma gama de sistemas baseados em ccp e, deste modo, unificar diversas abordagens existentes. Por outro lado, pretendemos utilizar todo o poder de especificação/verificação de SELLU para diversificar o espectro de sistemas concorrentes que podem ser especificados no cálculo e, ao mesmo tempo, preservar o aspecto declarativo de processos como fórmulas, aumentando assim a expressividade de ccp. Por fim, pretendemos implementar todo o ferramental teórico e aplicar a robustez de SELLU para a verificação de propriedades em sistemas concorrentes em diferentes cenários, como computação orientada a serviços, sistemas distribuídos e interações bioquímicas..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (2) / Doutorado: (1) .
Integrantes: Elaine Gouvêa Pimentel - Coordenador / Vivek Nigam - Integrante / Carlos Olarte - Integrante / Camilo Rueda - Integrante / David Deharbe - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2013 - 2016
GeVe Generalizações de Verofuncionalidade
Descrição: O projeto GeVe trata do estudo de várias formas bem motivadas através das quais as propri- edades e metapropriedades mais atraentes das lógicas verofuncionais podem ser alargadas de modo a cobrir terrenos lógicos mais amplos. A ubiquidade do uso das lógicas não-clássicas na formalização do raciocínio prático exige a formulação de teorias do significado e da com- posicionalidade mais flexíveis do que as usuais, teorias estas que permitam o estabelecimento de bases mais inclusivas para a compreensão de tais lógicas. Tais investigações pressupõem não apenas o desenvolvimento de arcabouços adequados desde as perspectivas da Teoria dos Modelos, da Teoria das Demonstrações e da Lógica Universal, mas também a construção de pontes sólidas entre estes campos de estudo, baseadas em diversas generalizações da noção de verofuncionalidade. Para as lógicas verofuncionais neste sentido ampliado, em suas múltiplas versões, prevêem-se aplicações em diversas áreas da ciência da computação, da matemática, da filosofia e da linguística, onde a complexidade sempre crescente dos sistemas erigidos dá origem a novos e complicados desafios para a composicionalidade..
Situação: Concluído; Natureza: Pesquisa.
2013 - 2016
Provas: identidade, estrutura e representação ? PIER
Descrição: A Teoria Geral da Prova é o ramo da Lógica que investiga o conceito de prova em todos os seus aspectos e, em particular, a estrutura de provas formais. A Te- oria da Prova é uma área naturalmente multidisciplinar, contemplando pesquisas nas áreas da Filosofia, da Matemática e da Ciência da Computação. Apesar dos importantes resultados já obtidos em pesquisas em Teoria da Prova nos últimos oitenta anos, existem ainda muitas questões em aberto, para as quais novos de- senvolvimentos nessa área multidisciplinar podem ajudar a responder, mesmo que parcialmente. Uma das questões centrais é certamente a questão da definição de um critério de identidade para provas. Neste projeto, abordaremos o problema da identidade de provas a partir dessa perspectiva multidisciplinar, investigando aspectos filosóficos, matemáticos e computacionais dessa importante questão..
Situação: Concluído; Natureza: Pesquisa.
2012 - 2016
GeTFun: Generalizing Truth-Functionality
Descrição: A coordinated exchange programme for the investigation of compositional meaning in logic and applications..
Situação: Concluído; Natureza: Pesquisa.
2010 - 2011
Linear logic, focusing and the specification of logical systems
Descrição: Projeto financiado pela FAPEMIG e INRIA para cooperação internacional.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (4) .
Integrantes: Elaine Gouvêa Pimentel - Coordenador / Dale Miller - Integrante.
2002 - 2016
Lógica Linear e a especificação de sistemas lógicos e computacionais
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) .
Integrantes: Elaine Gouvêa Pimentel - Coordenador / Dale Miller - Integrante.Financiador(es): Ecole Polytechnique - Auxílio financeiro / Institut National de Recherche en Informatique et en Automatique - Siège - Cooperação / Universita degli studio di Torino - Outra.
Número de produções C, T & A: 4 / Número de orientações: 4


Membro de corpo editorial


2015 - Atual
Periódico: IfCoLog Journal of Logics and their Applications
2009 - 2012
Periódico: Theoretical Computer Science
2009 - 2012
Periódico: Electronic Proceedings in Theoretical Computer Science


Revisor de periódico


2006 - Atual
Periódico: Electronic Notes in Theoretical Computer Science
2008 - 2009
Periódico: Fundamenta Informaticae
2009 - 2012
Periódico: Theoretical Computer Science
2013 - 2013
Periódico: Logic Journal of the IGPL (Print)


Revisor de projeto de fomento


2014 - Atual
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógica matemática.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Alemão
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Italiano
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2005
Programa Recém-Doutor, UFMG.
2005
Programa Recém -Doutor, FAPEMIG.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
OLARTE, C.2018OLARTE, C. ; PIMENTEL, E. ; RUEDA, C. . A concurrent constraint programming interpretation of access permissions. THEORY AND PRACTICE OF LOGIC PROGRAMMING, v. 18, p. 252-295, 2018.

2.
NIGAM, V.2017 NIGAM, V. ; OLARTE, C. ; PIMENTEL, E. . On subexponentials, focusing and modalities in concurrent systems. THEORETICAL COMPUTER SCIENCE, v. 693, p. 35-58, 2017.

3.
OLARTE, CARLOS2017 OLARTE, CARLOS ; Pimentel, Elaine . On concurrent behaviors and focusing in linear logic. THEORETICAL COMPUTER SCIENCE, v. 685, p. 46-64, 2017.

4.
DESPEYROUX, JO?LLE2017DESPEYROUX, JO?LLE ; OLARTE, CARLOS ; Pimentel, Elaine . Hybrid and Subexponential Linear Logics. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 332, p. 95-111, 2017.

5.
CIABATTONI, AGATA2017CIABATTONI, AGATA ; LELLMANN, BJ?RN ; OLARTE, CARLOS ; Pimentel, Elaine . From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 332, p. 75-93, 2017.

6.
PIMENTEL, E.;Pimentel, Elaine2016PIMENTEL, E.; NIGAM, V. ; NETO, JOÃO . Multi-focused Proofs with Different Polarity Assignments. Electronic Notes in Theoretical Computer Science, v. 323, p. 163-179, 2016.

7.
OLARTE, C.2015OLARTE, C. ; PIMENTEL, E. . Proving Concurrent Constraint Programming Correct, Revisited. Electronic Notes in Theoretical Computer Science, v. 312, p. 179-195, 2015.

8.
OLARTE, C.2015 OLARTE, C. ; PIMENTEL, E. ; NIGAM, V. . Subexponential concurrent constraint programming. Theoretical Computer Science, v. 606, p. 98-120, 2015.

9.
NIGAM, V.2014NIGAM, V. ; PIMENTEL, E. ; OLARTE, C. . Dynamic Spaces in Concurrent Constraint Programming. Electronic Notes in Theoretical Computer Science, v. 305, p. 103-121, 2014.

10.
Pimentel, Elaine2014Pimentel, Elaine; OLARTE, CARLOS ; NIGAM, VIVEK . A Proof Theoretic Study of Soft Concurrent Constraint Programming. Theory and Practice of Logic Programming, v. 14, p. 649-663, 2014.

11.
NIGAM, V.2014NIGAM, V. ; PIMENTEL, E. ; REIS, G. . An extended framework for specifying and reasoning about proof systems. Journal of Logic and Computation (Print), v. 26, p. 539-576, 2014.

12.
MILLER, D.2013 MILLER, D. ; PIMENTEL, E. . A formal framework for specifying sequent calculus proof systems. Theoretical Computer Science, v. 474, p. 98-116, 2013.

13.
PIMENTEL, E.2012PIMENTEL, E.; RONCHI DELLA ROCCA, S. ; ROVERSI, L. . Intersection Types from a proof-theoretic perspective. FUNDAMENTA INFORMATICAE, v. 121, p. 253-274, 2012.

14.
Paolini, Luca2011 Paolini, Luca ; PIMENTEL, E. ; RONCHI DELLA ROCCA, S. . Strong normalization from an unusual point of view. Theoretical Computer Science, v. 412, p. 1903-1915, 2011.

15.
PIMENTEL, E.2011PIMENTEL, E.; NIGAM, V. ; REIS, G. . Specifying Proof Systems in Linear Logic with Subexponentials. Electronic Notes in Theoretical Computer Science, v. 269, p. 109-123, 2011.

16.
PIMENTEL, E.2005PIMENTEL, E.; PAOLINI, L. ; RONCHI DELLA ROCCA, S. . Lazy Strong Normalization. Electronic Notes in Theoretical Computer Science, v. 136, p. 103-116, 2005.

Livros publicados/organizados ou edições
1.
PIMENTEL, E.; AYALA, M. (Org.) ; Kamareddine, F. (Org.) . Theoretical Computer Science. 37. ed. New York: Elsevier, 2011. v. 01. 115p .

2.
PIMENTEL, E.; Benevides, M. (Org.) . Electronic Notes in Theoretical Computer Science. , 2009. v. 01. 156p .

3.
PIMENTEL, E.; FIGUEIREDO, L. (Org.) ; QUEIROZ, R. (Org.) . WoLLIC´2003 - Proceedings. , 2003. v. 01. 225p .

Capítulos de livros publicados
1.
PIMENTEL, E.; MILLER, D. . Linear logic as a framework for specifying sequent calculus. In: Van Eijck;Oostrom;Visser. (Org.). Lecture Notes in Logic. 1ed.: Association for Symbolic Logic, 2004, v. 17, p. 111-135.

Trabalhos completos publicados em anais de congressos
1.
PIMENTEL, E.. A Semantical View of Proof Systems. In: WoLLIC: International Workshop on Logic, Language, Information, and Computation, 2018, Bogotá. Logic, Language, Information, and Computation. Berlin: Springer, Berlin, Heidelberg, 2018. v. 10944. p. 61-76.

2.
OLARTE, C. ; PIMENTEL, E. ; ROCHA, C. . Proving Structural Properties of Sequent Systems in Rewriting Logic. In: WRLA 2018 - 12th International Workshop on Rewriting Logic and Its Applications, 2018, Thessaloniki. Lecture Notes in Computer Science. New York: Springer, 2018. v. 11152. p. 115-135.

3.
LELMANNN, B. ; OLARTE, C. ; PIMENTEL, E. . A uniform framework for substructural logics with modalities. In: LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2017, Maun. LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2017. v. 46. p. 435-455.

4.
PIMENTEL, E.; Lellmann, Björn . Automatic generation of focused proof systems. In: Escola de Informática Teórica e Métodos Formais, 2016, Natal. Anais - Escola de Informática Teórica e Métodos Formais, 2016. p. 105-109.

5.
LELMANNN, B. ; PIMENTEL, E. . Proof Search in Nested Sequent Calculi. In: 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-20), 2015, Suva - Fiji. Lecture Notes in Computer Science, 2015. v. 9450. p. 558-574.

6.
NIGAM, V. ; OLARTE, C. ; PIMENTEL, E. . A General Proof System for Modalities in Concurrent Constraint Programming. In: 24th International Conference on Concurrency Theory (CONCUR'13), 2013, Buenos Aires. LNCS. Berlin: Springer-Verlag, 2013. v. 8052.

7.
OLARTE, CARLOS ; NIGAM, V. ; PIMENTEL, E. . Subexponentials in Concurrent Constraint Programming. In: 8th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2013), 2013, São Paulo. 8th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2013), 2013.

8.
OLARTE, CARLOS ; Pimentel, Elaine ; RUEDA, CAMILO ; CATAÑO, NESTOR . A linear concurrent constraint approach for the automatic verification of access permissions. In: the 14th symposium, 2012, Leuven. Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12. New York: ACM Press. p. 207-216.

9.
PIMENTEL, E.; REIS, G. . Using Linear Logic with Subexponentials to Implement Logic Interpreters. In: Simpósio Brasileiro de Métodos Formais (SBMF), 2010, Natal. Proceedings of SBMF, 2010.

10.
PIMENTEL, E.; Fernandes, I. ; RODRIGUES, C. F. ; Leal, W. ; Luiz, W. . PLLIC - Provador para as lógicas linear, intuicionista e clássica. In: LAPTEC, 2007, Santos. LAPTEC, 2007.

11.
PAOLINI, L. ; PIMENTEL, E. ; RONCHI DELLA ROCCA, S. . An Operational Characterization of Strong Normalization. In: Foundations of Software Science and Computation Structures (FOSSACS 2006), 2006, Viena. Lecture Notes in Computer Science, 2006. v. 3921. p. 367-381.

12.
PIMENTEL, E.; RONCHI DELLA ROCCA, S. ; ROVERSI, L. . Intersection Types: a Proof-Theoretical Approach. In: Structures and Deduction'05 - ICALP, 2005, Lisboa. Proceedings of SD'05 - associated to ICALP, 2005.

13.
PIMENTEL, E.; MILLER, D. . On the Specification of Sequent Systems. In: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2005), 2005, Montego Bay. Lecture Notes in Computer Science, 2005. v. 3835. p. 352-366.

14.
MILLER, D. ; PIMENTEL, E. . Using Linear Logic to Reason about Sequent Systems. In: Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2012), 2002, Copenhagen. Lecture Notes in Computer Science, 2002. v. 2381. p. 2-23.

15.
PIMENTEL, E.; MILLER, D. . Towards a logical framework for sequent calculus. In: Natural Deduction Meeting, 2001, Rio de Janeiro. Proceedings of Natural Deduction meeting, 2001.

16.
PIMENTEL, E.; FIGUEIREDO, C. C. ; FIGUEIREDO, L. . Tipos em Linguagens de Programação. In: III Simpósio Brasileiro de Linguagens de programação, 1999, Porto Alegre. Anais do III Simpósio Brasileiro de Linguagens da Programação, 1999.

Resumos publicados em anais de congressos
1.
PIMENTEL, E.; MILLER, D. . On the Specification of Sequent Systems. In: XIV Latin American Symposium on Mathematical Logic (SLALM), 2009, Paraty. The Bulletin of Symbolic Logic, 2009. v. 15. p. 364-364.

Artigos aceitos para publicação
1.
Lellmann, Björn ; PIMENTEL, E. . Modularisation of sequent calculi for normal and non-normal modalities. ACM Transactions on Computational Logic, 2018.

2.
CHAUDHURI, K. ; DESPEYROUX, J. ; OLARTE, C. ; PIMENTEL, E. . Hybrid Linear Logic, revisited. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2018.

Apresentações de Trabalho
1.
PIMENTEL, E.. Logic, modalities and computation. 2018. (Apresentação de Trabalho/Conferência ou palestra).

2.
PIMENTEL, E.. A unified view of modal and substructural logics. 2016. (Apresentação de Trabalho/Conferência ou palestra).

3.
PIMENTEL, E.. Onthe universality of proofs. 2016. (Apresentação de Trabalho/Conferência ou palestra).

4.
PIMENTEL, E.; OLARTE, CARLOS ; NIGAM, V. ; Miller, Dale ; REIS, G. . On modalities and linearity. 2014. (Apresentação de Trabalho/Congresso).

5.
PIMENTEL, E.; OLARTE, CARLOS . Proving concurrent constraint programming correct, revisited. 2014. (Apresentação de Trabalho/Congresso).

6.
PIMENTEL, E.; OLARTE, CARLOS ; NIGAM, V. ; Miller, Dale ; KESNER, D. . On modalities, focusing, harmony, concurrency and polarized lambda-calculus. 2014. (Apresentação de Trabalho/Congresso).

Outras produções bibliográficas
1.
PIMENTEL, E.; BENEVIDES, MARIO . Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications (IMLA), 2013., 2014. (Prefácio, Pósfacio/Prefácio)>.

2.
NIGAM, V. ; PIMENTEL, E. ; REIS, G. . An Extended Framework for Specifying and Reasoning about Proof Systems 2012 (Relatório Técnico).

3.
AYALA, M. ; PIMENTEL, E. ; Kamareddine, F. . Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, 2011, 2011. (Prefácio, Pósfacio/Prefácio)>.

4.
PIMENTEL, E.; VENNERI, B. ; WELLS, J. . Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, 2010. (Prefácio, Pósfacio/Prefácio)>.

5.
PIMENTEL, E.; RODRIGUES, C. F. ; Fernandes, I. ; Luiz, W. ; Leal, W. . PLLIC: provador para as lógicas linear, intuicionista e clássica 2007 (Relatório Técnico).

6.
PIMENTEL, E.; SILVA, M. L. . Semântica operacional estruturada. Ouro Preto: UFOP, 1999 (Relatório Técnico).


Produção técnica
Programas de computador sem registro
1.
OLARTE, CARLOS ; PIMENTEL, E. . Prover for Simply Dependent Multimodal Linear Systems. 2016.

2.
PIMENTEL, E.. POULE: PrOver for seqUent and Labelled systEms. 2015.

3.
OLARTE, C. ; PIMENTEL, E. . ALCOVE: Aeminium Linear COnstraints VErifier. 2012.

4.
PIMENTEL, E.; RODRIGUES, C. F. ; Fernandes, I. ; Luiz, W. ; Leal, W. ; Maynard e Mello, A. . PLLIC - Provador para as lógicas linear, intuicionista e clássica. 2007.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
OLARTE, C.; REIS, G.; PIMENTEL, E.. Participação em banca de Washington Cavalcante da Silva. Especificação e Verificação de Protocolos de Votação em Lógica Linear com Focusing. 2018. Dissertação (Mestrado em Matemática Aplicada e Estatistica) - Universidade Federal do Rio Grande do Norte.

2.
OLARTE, C.; ALVIM, M. S.; PIMENTEL, E.. Participação em banca de Laura Fernandes Dell Orto. Um estudo de Lógica Linear com Subexponenciais. 2017. Dissertação (Mestrado em Matemática Aplicada e Estatistica) - Universidade Federal do Rio Grande do Norte.

3.
PIMENTEL, E.; ALVIM, M. S.; KUZMIN, A.; RIVIECCIO, U.. Participação em banca de Paulo Roberto Beltrão Maia. Dualidades: de Birkhoff à N4-reticulados limitados. 2017. Dissertação (Mestrado em Matemática Aplicada e Estatistica) - Universidade Federal do Rio Grande do Norte.

4.
OLARTE, C.; ALVIM, M. S.; PIMENTEL, E.. Participação em banca de Bruno Francisco Xavier. Formalização da Lógica Linear em Coq. 2017. Dissertação (Mestrado em Matemática Aplicada e Estatistica) - Universidade Federal do Rio Grande do Norte.

5.
PIMENTEL, E.; ORTIZ, G.. Participação em banca de Lilian Johana Criz. Teorema de Kalman Topológico. 2013. Dissertação (Mestrado em Matemática) - Universidad Del Valle.

6.
ALMEIDA, J. M.; PIMENTEL, E.; BEDREGAL, B. R. C.; NALON, C.. Participação em banca de Adriano Alves Dodó. On Rich Modal Logics. 2013. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

7.
PIMENTEL, E.; SABOGAL, S. M.; ISAACS, R. F.. Participação em banca de Carlos Alfonso Castro Tirado. La noción de autosemejanza local. 2012. Dissertação (Mestrado em Matemáticas) - Universidad Industrial de Santander.

8.
BIGONHA, R.; PIMENTEL, E.. Participação em banca de Italo Giovani A. Stefani. Método de Refinamento Machina. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

9.
PIMENTEL, E.; BIGONHA, R.. Participação em banca de Wagner Salazar Pires. Uma linguagem de especificação formal orientada por aspectos. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Teses de doutorado
1.
CIABATTONI, A.; DOWEK, G.; HERZIG, A.; KURZ, A.; MILLER, D.; PARIGOT, M.; PIMENTEL, E.; STRASSBURGER, L.. Participação em banca de Sonia Marin. Modal proof theory through a focused telescope. 2018. Tese (Doutorado em Computer Science) - Ecole Polytechnique.

2.
PIMENTEL, E.; HAEUSLER, E.; FREITAS, F.; MARIANO, H.; FLORIDO, A. M.. Participação em banca de Arthur Freitas Ramos. Explicit Computational Paths in Type Theory. 2018. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

3.
CIABATTONI, A.; PIMENTEL, E.. Participação em banca de Lara Katharina Spendier. Tools for the Investigation of Substructural, Intermediate and Paraconsistent Logics. 2015. Tese (Doutorado em Computer Science) - Vienna University of Technology.

4.
SANTIAGO, R.; PIMENTEL, E.; HAEUSLER, E.; BEDREGAL, B. R. C.; BARROS, L. C.. Participação em banca de Flailles Boone Bergamaschi. Primalidade forte em ambiente Fuzzy. 2015. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

5.
QUEIROZ, R.; BEDREGAL, B.; SANTIAGO, R.; PIMENTEL, E.. Participação em banca de Anderson Paiva Cruz. On fuzzy implications classes - Towards extensions of fuzzy rule-based systems. 2012.

6.
AYALA, M.; HAEUSLER, E.; PIMENTEL, E.; MOURA, F.; Kamareddine, F.. Participação em banca de Daniel Lima Ventura. Cálculos de Substituições Explícitas à la de Bruijn com Sistemas de Tipos com Interseção. 2010. Tese (Doutorado em Matemática) - Universidade de Brasília.

7.
MILLER, D.; PIMENTEL, E.. Participação em banca de Vivek Nigam. Exploiting non-canonicity in the sequent calculus. 2009. Tese (Doutorado em Computer Science) - Ecole Polytechnique.

8.
PIMENTEL, E.; AYALA, M.; Muñoz, C.; HAEUSLER, E.; FINGER, M.. Participação em banca de André Luiz Galdino. Uma Formalização da Teoria de Reescrita em Linguagem de Ordem Superior. 2008. Tese (Doutorado em Matemática) - Universidade de Brasília.

Qualificações de Mestrado
1.
OLARTE, C.; REIS, G.; PIMENTEL, E.. Participação em banca de Washington Cavalcante da Silva. Especificação e Verificação de Protocolos de Votação em Lógica Linear com Focusing. 2017. Exame de qualificação (Mestrando em Matemática Aplicada e Estatistica) - Universidade Federal do Rio Grande do Norte.

2.
PIMENTEL, E.; FREITAS, R.; GORSKY, S.. Participação em banca de João Freire Dantas Neto. De relações a vizinhanças: um entendimento sobre não-normalidade modal e intuicionismo. 2017. Exame de qualificação (Mestrando em Matemática Aplicada e Estatistica) - Universidade Federal do Rio Grande do Norte.

3.
PIMENTEL, E.; KUZMIN, A.; RIVIECCIO, U.. Participação em banca de Paulo Roberto Beltrão Maia. Dualidades: de Birkhoff à N4-reticulados limitados. 2016. Exame de qualificação (Mestrando em Matemática Aplicada e Estatistica) - Universidade Federal do Rio Grande do Norte.

4.
PIMENTEL, E.; ALMEIDA, J. M.. Participação em banca de Patrick Cesar Alves Terrematte. Desenvolvimento de um ambiente virtual para avaliação e acompanhamento da aprendizagem na área de Lógica.. 2012. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.



Participação em bancas de comissões julgadoras
Outras participações
1.
HAEUSLER, E.; PIMENTEL, E.; MOURA, F.. LSFA 2010. 2010. Universidade Federal da Bahia.

2.
PIMENTEL, E.; RONCHI DELLA ROCCA, S.. ITRS 2010. 2010. Universita degli studio di Torino.

3.
AYALA, M.; HAEUSLER, E.; PIMENTEL, E.; MOURA, F.. LSFA 2009. 2009. Universidade de Brasília.

4.
PIMENTEL, E.; AYALA, M.. LSFA 2008. 2008. Universidade Federal da Bahia.

5.
PIMENTEL, E.; AYALA, M.. LSFA 2007. 2007. Universidade Federal do Rio Grande do Norte.

6.
PIMENTEL, E.. XIII Simposio Latinoamericano de Logica Matematica (XIII SLALM). 2006. Instituto de Investigaciones Filosoficas.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
WoLLIC: International Workshop on Logic, Language, Information, and Computation. A Semantical View of Proof Systems. 2018. (Congresso).

2.
Filomena 2017. Apresentação Oral. 2017. (Congresso).

3.
Dagstuhl Seminar: "Universality of Proofs".A unified view of modal and substructural logics. 2016. (Seminário).

4.
LL2016 (Linear Logic: interaction, proofs and computation). A unified view of modal and substructural logics. 2016. (Congresso).

5.
Logical and Semantic Frameworks with Applications (LSFA 2016). Hybrid and Subexponential Linear Logics. 2016. (Congresso).

6.
Logical and Semantic Frameworks with Applications (LSFA 2016). From cut-free calculi to automated deduction: the case of bounded contraction. 2016. (Congresso).

7.
First International Workshop on Focusing (WoF'15). Focusing, computation, specification and reasoning. 2015. (Congresso).

8.
LPAR-20. Proof Search in Nested Sequent Calculi. 2015. (Congresso).

9.
LSFA 2015. Multi-focused Proofs with Different Polarity Assignments. 2015. (Congresso).

10.
LSFA 2013. Subexponentials in Concurrent Constraint Programming. 2014. (Congresso).

11.
CONCUR 2013. A General Proof System for Modalities in Concurrent Constraint Programming. 2013. (Congresso).

12.
ENHEN. Fundamentación de la matemática: lógica, paradojas, completitud y computabilidad. 2013. (Congresso).

13.
Logic School: Proof Theory: Linear Logic, Ludics and Geometry of Interaction.Linear Logic with Subexponentials. 2012. (Outra).

14.
Logical and Semantic Frameworks with Applications (LSFA). Specifying proof systems in linear logic with subexponentials. 2010. (Congresso).

15.
11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP2009). 2009. (Congresso).

16.
Computer Science Logic (CSL 2009). 2009. (Congresso).

17.
LSFA 2009 (Logical and Semantic Frameworks with Applications). 2009. (Congresso).

18.
RTA 2009 (Rewriting Techniques with Applications. 2009. (Congresso).

19.
TLCA 2009 (Theoretical Lambda Calculus with Applications). 2009. (Congresso).

20.
LSFA 2008 - Logical and Semantic Frameworks with Applications. 2008. (Congresso).

21.
SBMF 2008 - Simpósio Brasileiro de Métodos Formais. 2008. (Simpósio).

22.
XIV SLALM - XV Escola Brasileira de Lógica. Linear Logic, cut elimination and coherent sytems. 2008. (Congresso).

23.
LAPTEC. PLLIC - Provador para as lógicas linear, intuicionista e clássica. 2007. (Congresso).

24.
LSFA 2007 - Logical ans Semantic Frameworks with Applications. 2007. (Congresso).

25.
SBMF2007 - Simpósio Brasileiro de Métodos formais. 2007. (Simpósio).

26.
LPAR - Logic for Programming, Artificial Intelligence, and Reasoning. Logic for Programming, Artificial Intelligence, and Reasoning. 2005. (Congresso).

27.
Structures and Deduction - ICALP. Structures and Deduction'05. 2005. (Congresso).

28.
IEEE LICS. 2004. (Congresso).

29.
Induction and co-induction workshop. 2004. (Seminário).

30.
Protocollo.Protocollo. 2004. (Encontro).

31.
Workshop on proof theory.Workshop on proof theory. 2004. (Simpósio).

32.
COMETA final meeting.COMETA. 2003. (Encontro).

33.
Protocollo.Protocollo. 2003. (Encontro).

34.
WOLLIC. WOLLIC'04- Organizadora Local do evento. 2003. (Congresso).

35.
Bienal da SBM.Bienal da SBM. 2002. (Encontro).

36.
DART Meeting.DART Meeting. 2002. (Encontro).

37.
FloC. FloC. 2002. (Congresso).

38.
LOGIC & INTERACTION WEEKS.LOGIC & INTERACTION WEEKS. 2002. (Encontro).

39.
Types Summer School.Types Summer School. 2002. (Encontro).

40.
8th Workshop on Logic, Language, Information and Computation. WOLLIC'2001. 2001. (Congresso).

41.
Natural deduction meeting.Natural deduction meeting. 2001. (Encontro).

42.
Seventh Italian Conference on Theoretical Computer Science. Seventh Italian Conference on Theoretical Computer Science. 2001. (Congresso).

43.
The linear international summer school.Linear logic summer school. 2000. (Encontro).

44.
III Simpósio Brasileiro de Linguagens de Programação.III Simpósio Brasileiro de Linguagens de Programação. 1999. (Simpósio).

45.
Mathematical Foundations of Programming Semantics. XVI MFPS. 1999. (Congresso).


Organização de eventos, congressos, exposições e feiras
1.
NALON, C. ; NANTES, D. ; PIMENTEL, E. ; ALMEIDA, J. M. . The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods.. 2017. (Congresso).

2.
NALON, C. ; NANTES, D. ; PIMENTEL, E. ; ALMEIDA, J. M. . The 11th International Symposium on Frontiers of Combining Systems.. 2017. (Congresso).

3.
NALON, C. ; NANTES, D. ; PIMENTEL, E. ; ALMEIDA, J. M. . The 8th International Conference on Interactive Theorem Proving.. 2017. (Congresso).

4.
PIMENTEL, E.; FREITAS, R. ; GURGEL, T. ; FERREIRA, D. B. . Matemática Substantivo Feminino. 2017. (Outro).

5.
CRUZ, M. M. C. ; PIMENTEL, E. . XXV Semana da Matemática. 2013. (Outro).

6.
PIMENTEL, E.; RONCHI DELLA ROCCA, S. ; AYALA, M. . LSFA 2011 Logical and Semantic Frameworks with Applications. 2011. (Congresso).

7.
AYALA, M. ; HAEUSLER, E. ; PIMENTEL, E. ; MOURA, F. . LSFA 2009 Logical and Semantic Frameworks with Applications. 2009. (Congresso).

8.
AYALA, M. ; MOURA, F. ; PIMENTEL, E. . Rewriting Techiniques and Applications RTA. 2009. (Congresso).

9.
PIMENTEL, E.; AYALA, M. . LSFA 2008 - Logical and Semantic Frameworks with Applications. 2008. (Congresso).

10.
FIGUEIREDO, L. ; PIMENTEL, E. . SBMF2007 - Simpósio Brasileiro de Métodos Formais. 2007. (Congresso).

11.
PIMENTEL, E.; FIGUEIREDO, L. ; AYALA, M. . LSFA 2007 - Logical and Semantic Frameworks with applications. 2007. (Congresso).

12.
QUEIROZ, R. ; PIMENTEL, E. ; FIGUEIREDO, L. . Wollic. 2003. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Emerson Wendlingger Dantas Sales. Especificação lógica de sistemas concorrentes. Início: 2018. Dissertação (Mestrado em Matemática Aplicada e Estatistica) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

2.
Joao Freire Dantas Neto. Proof search in Modal Logics. Início: 2016. Dissertação (Mestrado em Matemática Aplicada e Estatistica) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Laura Fernandes Dell Orto. Um estudo de Lógica Linear com Subexponenciais. 2017. Dissertação (Mestrado em Matemática Aplicada e Estatistica) - Universidade Federal do Rio Grande do Norte, . Coorientador: Elaine Gouvêa Pimentel.

2.
Paulo Roberto Beltrão Maia. Dualidades: de Birkhoff a N4 limitado. 2017. Dissertação (Mestrado em Matemática Aplicada e Estatistica) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Elaine Gouvêa Pimentel.

3.
Wesley Luiz Alves da Mata. Sobre as lógicas linear, intuicionista e clássica e suas especificações. 2011. Dissertação (Mestrado em Matemática) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Elaine Gouvêa Pimentel.

4.
Fabiana Lopes Fernandes. O isomorfismo de Curry-Howard. 2009. Dissertação (Mestrado em Matemática) - Universidade Federal de Minas Gerais, . Orientador: Elaine Gouvêa Pimentel.

5.
Giselle Machado Nogueira Reis. Lógica linear e a especificação de sistemas computacionais. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Elaine Gouvêa Pimentel.

6.
Mário Sérgio Ferreira Alvim Júnior. Aspectos Computacionais do Cálculo das Estruturas. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Elaine Gouvêa Pimentel.

Tese de doutorado
1.
Carlos Ernesto Ramirez Ovalle. SOBRE EXTENSIONES SEMÁNTICAS Y GENERALIZACIONES DE TIPOS EN LÓGICA LINEAL CON SUBEXPONENCIALES. 2016. Tese (Doutorado em Matemática) - Universidad Del Valle, . Orientador: Elaine Gouvêa Pimentel.

Supervisão de pós-doutorado
1.
Athanasios Tsouanas. 2015. Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Elaine Gouvêa Pimentel.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Claudia Reis. Lógica e o ensino da Matemática. 2010. Monografia. (Aperfeiçoamento/Especialização em Matematica) - Universidade Federal de Minas Gerais. Orientador: Elaine Gouvêa Pimentel.

2.
Maria Eugênia Nogueira Gil. Cálculo de integrais de Riemann utilizando o Maple. 2006. Monografia. (Aperfeiçoamento/Especialização em Matematica) - Universidade Federal de Minas Gerais. Orientador: Elaine Gouvêa Pimentel.

3.
Daisy Vanessa Ferreira. Uma vizualização do teorema do valor médio utilizando o Maple. 2006. Monografia. (Aperfeiçoamento/Especialização em Matematica) - Universidade Federal de Minas Gerais. Orientador: Elaine Gouvêa Pimentel.

4.
Kellyanne Ribeiro. Métodos de integração utilizando integrais de Riemann. 2006. Monografia. (Aperfeiçoamento/Especialização em Matematica) - Universidade Federal de Minas Gerais. Orientador: Elaine Gouvêa Pimentel.

5.
ED-LAMAR AZEVEDO PASCHOAL BALDON. O USO DA LÓGICA NO ENSINO DA MATEMÁTICA. 2006. Monografia. (Aperfeiçoamento/Especialização em Matematica) - Universidade Federal de Minas Gerais. Orientador: Elaine Gouvêa Pimentel.

Trabalho de conclusão de curso de graduação
1.
Jhulian Rios. Fundamentación de la matemática. 2012. Trabalho de Conclusão de Curso. (Graduação em Matemática) - Universidad Del Valle. Orientador: Elaine Gouvêa Pimentel.

2.
Julián David Candela. Clasificación Topológica de superficies. 2012. Trabalho de Conclusão de Curso. (Graduação em Matemática) - Universidad Del Valle. Orientador: Elaine Gouvêa Pimentel.

Iniciação científica
1.
Larissa Xavier Costa. Lógica linear e sistemas concorrentes. 2017. Iniciação Científica. (Graduando em Matemática) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Elaine Gouvêa Pimentel.

2.
Alexandre Henrique Soares Dias. Uma estrutura lógica para sistemas concorrentes epistêmicos, temporais e espaciais. 2016. Iniciação Científica. (Graduando em Matemática) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Elaine Gouvêa Pimentel.

3.
Francinaldo Gomes. Lógica Matemática. 2016. Iniciação Científica. (Graduando em Engenharia Civil) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Elaine Gouvêa Pimentel.

4.
Jose Victor Gomes Teixeira. Lógica matemática. 2015. Iniciação Científica. (Graduando em Matemática) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Elaine Gouvêa Pimentel.

5.
Emerson Wendlingger Dantas Sales. PICME. 2015. Iniciação Científica. (Graduando em Ciência e Tecnologia) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Elaine Gouvêa Pimentel.

6.
Clara Gabrielle Martins. PICME. 2015. Iniciação Científica. (Graduando em Engenharia Civil) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Elaine Gouvêa Pimentel.

7.
Fernando Martins de Lima. Lógica no ensino médio. 2015. Iniciação Científica. (Graduando em Matemática) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Elaine Gouvêa Pimentel.

8.
Elvis Medeiros de Melo. Lógica Matemática. 2014. Iniciação Científica. (Graduando em Matemática) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Elaine Gouvêa Pimentel.

9.
João Freire Dantas Neto. Lógica, focalização e polaridades. 2013. Iniciação Científica. (Graduando em Matemática) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Elaine Gouvêa Pimentel.

10.
Nayara Gonçalves dos Santos. Lógica Matemática. 2011. Iniciação Científica. (Graduando em Matemática) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Elaine Gouvêa Pimentel.

11.
Dafne Campos Lima Bessades. Álgebra. 2011. Iniciação Científica. (Graduando em Matemática) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Elaine Gouvêa Pimentel.

12.
Marcela Vilela Barros Ferreira. Álgebra. 2011. Iniciação Científica. (Graduando em Matemática) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Elaine Gouvêa Pimentel.

13.
André Nunes Gomes. Álgebra. 2011. Iniciação Científica. (Graduando em Matemática) - Universidade Federal de Minas Gerais, Universidade Federal de Minas Gerais. Orientador: Elaine Gouvêa Pimentel.

14.
Maria Edviges Cabral de Azevedo. Lógica Fuzzy. 2011. Iniciação Científica. (Graduando em Matemática) - Universidade Federal de Minas Gerais. Orientador: Elaine Gouvêa Pimentel.

15.
FREDERICO AUGUSTO MENEZES RIBEIRO. Lógica Matemática. 2010. Iniciação Científica. (Graduando em Matemática) - Universidade Federal de Minas Gerais. Orientador: Elaine Gouvêa Pimentel.

16.
Wesley Ferrari. Lógica Matemática. 2010. Iniciação Científica. (Graduando em Matemática) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Elaine Gouvêa Pimentel.

17.
Susanne Ramos de Vasconcelos. Inversão e construções geométricas. 2010. Iniciação Científica. (Graduando em Matemática) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Elaine Gouvêa Pimentel.

18.
Giuliene Santos Gomes. Inversão e construções geométricas. 2010. Iniciação Científica. (Graduando em Matemática) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Elaine Gouvêa Pimentel.

19.
Aline Simone Oliveira. Lógica Matemática. 2010. Iniciação Científica. (Graduando em Matemática) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Elaine Gouvêa Pimentel.

20.
Joyce Figueiró. Lógica Matemática. 2009. Iniciação Científica. (Graduando em Matemática Computacional) - Universidade Federal de Minas Gerais, Universidade Federal de Minas Gerais. Orientador: Elaine Gouvêa Pimentel.

21.
Thiago Firpe Santos Souza. Neo Logicismo. 2009. Iniciação Científica. (Graduando em Fisica) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. Orientador: Elaine Gouvêa Pimentel.

22.
Giselle Machado Nogueira Reis. Cálculo de Seqüentes e a especificação de sistemas lógicos e computacionais. 2008. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. Orientador: Elaine Gouvêa Pimentel.

23.
HenriqueAntunes Almeida. Lógica e modelos de Kripke. 2008. Iniciação Científica. (Graduando em Filosofia) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. Orientador: Elaine Gouvêa Pimentel.

24.
Claudiane Fonseca Rodrigues. Lógica Matemática e Ciência da Computação. 2007. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. Orientador: Elaine Gouvêa Pimentel.

25.
Mário Sérgio Ferreira Alvim Júnior. Lógica Linear e a especificação de sistemas lógicos. 2004. 15 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Elaine Gouvêa Pimentel.

Orientações de outra natureza
1.
Fabricio Veliq. Lógica Matemática. 2008. Orientação de outra natureza. (Matemática) - Universidade Federal de Minas Gerais, Universidade Federal de Minas Gerais. Orientador: Elaine Gouvêa Pimentel.

2.
Ildeu Fernandes Neto. PAD de Lógica. 2006. Orientação de outra natureza. (Matemática) - Universidade Federal de Minas Gerais, Universidade Federal de Minas Gerais. Orientador: Elaine Gouvêa Pimentel.

3.
Claudiane Fonseca Rodrigues. PAD de Lógica. 2006. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Minas Gerais, Universidade Federal de Minas Gerais. Orientador: Elaine Gouvêa Pimentel.

4.
Wesley Mata. PAD de Lógica. 2006. Orientação de outra natureza. (Matemática) - Universidade Federal de Minas Gerais, Universidade Federal de Minas Gerais. Orientador: Elaine Gouvêa Pimentel.

5.
Willian Leal. PAD de Lógica. 2006. Orientação de outra natureza. (Matemática) - Universidade Federal de Minas Gerais, Universidade Federal de Minas Gerais. Orientador: Elaine Gouvêa Pimentel.



Inovação



Programa de computador sem registro
1.
OLARTE, CARLOS ; PIMENTEL, E. . Prover for Simply Dependent Multimodal Linear Systems. 2016.



Educação e Popularização de C & T



Organização de eventos, congressos, exposições e feiras
1.
CRUZ, M. M. C. ; PIMENTEL, E. . XXV Semana da Matemática. 2013. (Outro).




Página gerada pelo Sistema Currículo Lattes em 21/10/2018 às 18:05:15