Elaine Gouvêa Pimentel

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 é Professora Titular da Universidade Federal do Rio Grande do Norte e presidente da Sociedade Brasileira de Lógica. Sua principal área de pesquisa é Lógica Matemática, com especial interesse nos seguintes tópicos de Teoria da Prova: especificação e verificação de sistemas lógicos, semântica de jogos, sistemas ecumênicos, sistemas focados e polaridades.

Informações coletadas do Lattes em 08/04/2023

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação

1998 - 2001

Universidade Federal de Minas Gerais
Título: Linear logic as a framework for specifying sequent systems
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

Mestrado em Matemática

1992 - 1993

Universidade Federal de Minas Gerais
Título: Alguns resultados sobre estabilidade de hipersuperfícies de curvatura média constante
, Ano de Obtenção: 1994.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

Graduação em Matemática

1988 - 1991

Universidade Federal de Minas Gerais
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

2018 - 2018

Pós-Doutorado. , Centre de Recherche Inria Saclay - Île-de-France, INRIA-SACLAY, França. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.

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.

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Espanhol

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Italiano

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Francês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Alemão

Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógica matemática.

Organização de eventos

PIMENTEL, E. ; OLARTE, C. ; MILLER, D. ; ALMEIDA, J. M. ; REIS, G. ; NALON, C. . Logic@Natal: CIMPA School in Mathematical Logic and Applications. 2021. (Outro).

PIMENTEL, E. ; PAIVA, V. ; SECCO, G. . Lógica e Representatividade. 2021. (Outro).

PIMENTEL, E. ; TASSI, E. . Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP). 2021. (Congresso).

PIMENTEL, E. ; PAIVA, V. ; ROWE, R. . 2020 North American ASL meeting - proof theory track. 2020. (Congresso).

PIMENTEL, E. ; OLARTE, C. ; NALON, C. ; ALMEIDA, J. M. ; REIS, G. . The 27th International Conference on Automated Deduction (CADE). 2019. (Congresso).

PIMENTEL, E. ; SILVA, S. G. ; VELICKOVIC, B. . Mathematical Logic Session at the 1st Brazil-France Meeting. 2019. (Congresso).

NALON, C. ; NANTES, D. ; PIMENTEL, E. ; ALMEIDA, J. M. . The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods.. 2017. (Congresso).

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

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

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

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

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

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

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

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

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

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

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

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

PIMENTEL, E. ; OLARTE, C. ; MILLER, D. ; ALMEIDA, J. M. ; REIS, G. ; NALON, C. . Logic@Natal: CIMPA School in Mathematical Logic and Applications. 2021. (Outro).

Participação em eventos

SYSMICS - Substructural logics: semantics, proof theory, and applications. A unified view of modal and substructural logics. 2018. (Congresso).

WoLLIC: International Workshop on Logic, Language, Information, and Computation. A Semantical View of Proof Systems (keynote speaker). 2018. (Congresso).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

IEEE LICS. 2004. (Congresso).

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

Protocollo.Protocollo. 2004. (Encontro).

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

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

Protocollo.Protocollo. 2003. (Encontro).

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

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

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

FloC. FloC. 2002. (Congresso).

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

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

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

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

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

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

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

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

Participação em bancas

Aluno: Washington Cavalcante da Silva

OLARTE, C.REIS, G.PIMENTEL, E.. 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.

Aluno: João Freire Dantas Neto

PIMENTEL, E.; Benevides, M.; GORSKY, S.. De relacoes a vizinhancas: um entendimento sobre nao-normalidade modal. 2018. Dissertação (Mestrado em Matemática Aplicada e Estatistica) - Universidade Federal do Rio Grande do Norte.

Aluno: Laura Fernandes Dell Orto

OLARTE, C.; ALVIM, M. S.;PIMENTEL, E.. 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.

Aluno: Bruno Francisco Xavier

OLARTE, C.; ALVIM, M. S.;PIMENTEL, E.. 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.

Aluno: Paulo Roberto Beltrão Maia

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

Aluno: Lilian Johana Criz

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

Aluno: Adriano Alves Dodó

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

Aluno: Carlos Alfonso Castro Tirado

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

Aluno: Italo Giovani A

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

Aluno: Wagner Salazar Pires

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

Aluno: Sonia Marin

CIABATTONI, A.; DOWEK, G.; HERZIG, A.; KURZ, A.;MILLER, D.; PARIGOT, M.;PIMENTEL, E.; STRASSBURGER, L.. Modal proof theory through a focused telescope. 2018. Tese (Doutorado em Computer Science) - Ecole Polytechnique.

Aluno: Arthur Freitas Ramos

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

Aluno: Lara Katharina Spendier

CIABATTONI, A.;PIMENTEL, E.. Tools for the Investigation of Substructural, Intermediate and Paraconsistent Logics. 2015. Tese (Doutorado em Computer Science) - Vienna University of Technology.

Aluno: Flailles Boone Bergamaschi

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

Aluno: Anderson Paiva Cruz

QUEIROZ, R.; BEDREGAL, B.; SANTIAGO, R.;PIMENTEL, E.. On fuzzy implications classes - Towards extensions of fuzzy rule-based systems. 2012.

Aluno: Daniel Lima Ventura

AYALA, M.; HAEUSLER, E.;PIMENTEL, E.; MOURA, F.; Kamareddine, F.. 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.

Aluno: Vivek Nigam

MILLER, D.PIMENTEL, E.. Exploiting non-canonicity in the sequent calculus. 2009. Tese (Doutorado em Computer Science) - Ecole Polytechnique.

Aluno: André Luiz Galdino

PIMENTEL, E.; AYALA, M.; Muoz, C.; HAEUSLER, E.; FINGER, M.. Uma Formalização da Teoria de Reescrita em Linguagem de Ordem Superior. 2008. Tese (Doutorado em Matemática) - Universidade de Brasília.

Aluno: João Freire Dantas Neto

PIMENTEL, E.; FREITAS, R.; GORSKY, S.. 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.

Aluno: Washington Cavalcante da Silva

OLARTE, C.REIS, G.PIMENTEL, E.. 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.

Aluno: Paulo Roberto Beltrão Maia

PIMENTEL, E.; KUZMIN, A.; RIVIECCIO, U.. 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.

Aluno: Patrick Cesar Alves Terrematte

PIMENTEL, E.; ALMEIDA, J. M.. 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.

PIMENTEL, E.; SANTANA, F.; FERNANDES, J. A.. Banca de concurso para professor efetivo do DMAT/UFRN. 2020. Universidade Federal do Rio Grande do Norte.

PIMENTEL, E.; TASSI, E.. LFMTP (co-chair). 2020. Carnegie Mellon University.

HAEUSLER, E.;PIMENTEL, E.; MOURA, F.. LSFA 2010. 2010. Universidade Federal da Bahia.

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

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

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

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

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

Comissão julgadora das bancas

Roberto da Silva Bigonha

BIGONHA, R. S.; CAMARAO, C.; PALAMIDESSI, Catuscia; Peter Miller; HEUSLER, Edward Hermann; FIGUEIREDO, L. C.; Silvie Marie Oliffson Kamphorst Leal da Silva. Lógica Linear e a Especificação de Sistemas Computacionais. 2001. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Roberto da Silva Bigonha

BIGONHA, R. S.; CAMARAO, C.; HEUSLER, Edward Hermann; Silvie Marie Oliffson Kamphorst Leal da Silva; FIGUEIREDO, L. C.. Lógica Linear com Indução e Definições. 2001. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

Sylvie Marie Oliffson Kamphorst Leal da Silva

KAMPHORST, SYLVIE OLIFFSON. Logica Linear e a Especificacao de Sistemas Computacionais. 2001. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Sylvie Marie Oliffson Kamphorst Leal da Silva

FIGUEIREDO, C. C.;KAMPHORST, SYLVIE OLIFFSON; HAEUSLER, E. H.; FIGUEIREDO, L. C.; BIGONHA, R. S.. Logica Linear e a Especificacao de Sistemas Computacionais. 2001. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

Orientou

Angelica Nogueira

Tipos ecumênicos; Início: 2020; Dissertação (Mestrado em Matemática Aplicada e Estatistica) - Universidade Federal do Rio Grande do Norte; (Orientador);

Yll Buzoku

Proof Theoretic Semantics for substructural logics; Início: 2022; Tese (Doutorado em Computer Science) - University College London, University College London; (Orientador);

Bruno Francisco Xavier

; Meta-logical frameworks for Linear Logic; Início: 2020; Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte; (Coorientador);

Emerson Wendlingger Dantas Sales

Modality in Ecumenical systems; 2020; 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;

João Freire Dantas Neto

De relações a vizinhanças: um entendimento sobre não-normalidade modal; 2018; 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;

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;

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;

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;

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;

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;

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;

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;

Athanasios Tsouanas

2015; Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Elaine Gouvêa Pimentel;

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;

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;

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;

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;

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;

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;

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;

Illa Gabriela Leônidas da Silva

Catálogo de atividades baseadas em Lógica; 2021; 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;

Carmem Julia Sant'anna de Oliveira

Regras lógicas para axiomas geométricos; 2020; 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;

Lara Beatriz Vidal Souto

Potimáticas: Meninas Potiguares na Matemática; 2019; 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;

Luana Mayara Lucas Leite

Potimáticas: Meninas Potiguares na Matemática; 2019; 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;

Rosângela Rafaela Pereira de Lima

Potimáticas: Meninas Potiguares na Matemática; 2019; 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;

Warlike Richard da Silva Soares

Teorias Geométricas e Lógica Matemática; 2019; Iniciação Científica; (Graduando em Matemática) - Universidade Federal do Rio Grande do Norte; Orientador: Elaine Gouvêa Pimentel;

Brunna Karla de Morais Souza Assunção

Teorias Geométricas e lógica matemática; 2019; 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;

Bianca Rodrigues Cesarino

Lógica Ecumênica e Negação; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Elaine Gouvêa Pimentel;

Cristiano Victor Medeiros da Silva

Álgebra de Boole e Aplicações; 2019; 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;

Joao Mendes Lopes Neto

Lógica Ecumênica e Modalidade; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Elaine Gouvêa Pimentel;

João Pedro de Amorim Paula

Lógica Ecumênica e Negação; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Elaine Gouvêa Pimentel;

Francisco Jonatã Chaves de Lima

Teorias Geométricas e lógica matemática; 2019; 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;

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;

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;

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;

JOSÉ 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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

Fabrício 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;

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;

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;

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;

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;

Foi orientado por

Carlos Camarão de Figueiredo

Logica Linear para Especificação de Sistemas Computacionais; 2001; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Orientador: Carlos Camarão de Figueiredo;

Susana Cândida Fornari

Alguns resultados sobre estabilidade de hipersuperfícies com curvatura média constante; 1994; 0 f; Dissertação (Mestrado em Matemática) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Susana Cândida Fornari;

Produções bibliográficas

  • MARIN, SONIA ; Miller, Dale ; Pimentel, Elaine ; VOLPE, MARCO . From axioms to synthetic inference rules via focusing. ANNALS OF PURE AND APPLIED LOGIC , v. 173, p. 103091, 2022.

  • OLARTE, CARLOS ; Pimentel, Elaine ; XAVIER, BRUNO . A Fresh View of Linear Logic as a Logical Framework. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE , v. 351, p. 143-165, 2020.

  • DALMONTE, TIZIANO ; Lellmann, Björn ; OLIVETTI, NICOLA ; Pimentel, Elaine . Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity. JOURNAL OF LOGIC AND COMPUTATION , v. 31, p. 67-111, 2020.

  • CHAUDHURI, K. ; DESPEYROUX, J. ; OLARTE, C. ; PIMENTEL, E. . Hybrid linear logic, revisited. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE , v. 29, p. 1151-1176, 2019.

  • Lellmann, Björn ; PIMENTEL, E. . Modularisation of Sequent Calculi for Normal and Non-normal Modalities. ACM Transactions on Computational Logic , v. 20, p. 1-46, 2019.

  • Pimentel, Elaine ; PEREIRA, LUIZ CARLOS ; DE PAIVA, VALERIA . An ecumenical notion of entailment. SYNTHESE , v. 198, p. 5391-5413, 2019.

  • OLARTE, 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.

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

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

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

  • CIABATTONI, 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.

  • PIMENTEL, 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.

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

  • OLARTE, C. ; PIMENTEL, E. ; NIGAM, V. . Subexponential concurrent constraint programming. THEORETICAL COMPUTER SCIENCE , v. 606, p. 98-120, 2015.

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

  • NIGAM, 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.

  • Pimentel, 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.

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

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

  • 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.

  • PIMENTEL, 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.

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

  • PIMENTEL, E. ; AYALA, M. (Org.) ; Kamareddine, F. (Org.) . Theoretical Computer Science. 37. ed. New York: Elsevier, 2011. v. 01. 115p .

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

  • PIMENTEL, E. ; FIGUEIREDO, L. (Org.) ; QUEIROZ, R. (Org.) . WoLLIC2003 - Proceedings. , 2003. v. 01. 225p .

  • 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.

  • PIMENTEL, E. ; BLAISDELL, E. ; KANOVICH, M. ; KUZNETSOV, S. ; SCEDROV, A. . Non-associative, Non-commutative Multi-modal Linear Logic. In: Automated Reasoning - 11th International Joint Conferencen (IJCAR), 2022, Haifa. Lecture Notes in Computer Science. Berlin: Springer, 2022. v. 13385. p. 449-467.

  • PIMENTEL, E. ; OLARTE, C. ; NIGAM, V. . Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk). In: FSCD2021: 6th International Conference on Formal Structures for Computation and Deduction, 2021, Buenos Aires. Proceedingds of the 6th International Conference on Formal Structures for Computation and Deduction. Berlin: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. v. 195. p. 3:1-3:21.

  • MARIN, S. ; PEREIRA, L. C. ; PIMENTEL, E. ; SALES, E. . A Pure View of Ecumenical Modalities. In: Logic, Language, Information, and Computation (WoLLIC), 2021, Lima. Lecture Notes in Computer Science, 2021. v. 13038. p. 388-407.

  • DALMONTE, T. ; LELMANNN, B. ; OLIVETTI, N. ; PIMENTEL, E. . Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics. In: Logical Foundations of Computer Science - International Symposium (LFCS 2020), 2020, Deerfield Beach. Lecture Notes in Computer Science. New York: Springer, 2020. v. 11972. p. 27-46.

  • Pimentel, Elaine . Proof systems for Geometric theories (PROGEO). In: Workshop Brasileiro de Lógica, 2020, Brasil. Anais do Workshop Brasileiro de Lógica (WBL 2020), 2020. p. 57-64.

  • MARIN, S. ; PEREIRA, L. C. ; PIMENTEL, E. ; SALES, E. . Ecumenical Modal Logic. In: International Workshop on Dynamic Logic, 2020, Praga. Dynamic Logic. New Trends and Applications. Berlin: Springer, 2020. v. 12569. p. 187-204.

  • PIMENTEL, E. ; LELMANNN, B. ; RAMANAYAKE, R. . Sequentialising Nested Systems. In: TABLEAUX 2019 (28th Automated Reasoning with Analytic Tableaux and Related Methods), 2019, Londres. Lecture Notes in Computer Science. Berlin: Springer, 2019. v. 11714. p. 147-165.

  • LANG, T. ; OLARTE, C. ; PIMENTEL, E. ; FERMULLER, C. . A Game Model for Proofs with Costs. In: TABLEAUX 2019 (28th Automated Reasoning with Analytic Tableaux and Related Methods), 2019, Londres. Lecture Notes in Computer Science. Berlin: Springer, 2019. v. 11714. p. 241-258.

  • PIMENTEL, E. . A Semantical View of Proof Systems. In: WoLLIC: International Workshop on Logic, Language, Information, and Computation, 2018, Bogotá. Lecture Notes in Computer Science. Berlin: Springer, Berlin, Heidelberg, 2018. v. 10944. p. 61-76.

  • 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.

  • OLARTE, C. ; PAIVA, V. ; PIMENTEL, E. ; REIS, G. . The ILLTP Library for Intuitionistic Linear Logic. In: Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018, Oxford. Electronic Proceedings of Theoretical Computer Science, 2018. v. 292. p. 118-132.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • OLARTE, CARLOS ; Pimentel, Elaine ; RUEDA, CAMILO ; CATAO, 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • 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.

  • OLARTE, CARLOS ; Pimentel, Elaine ; ROCHA, CAMILO . A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. Journal of Logical and Algebraic Methods in Programming , 2023.

  • XAVIER, BRUNO ; OLARTE, CARLOS ; Pimentel, Elaine . A linear logic framework for multimodal logics. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE , 2022.

  • PIMENTEL, E. ; MARIN, S. . Focusing, axioms and synthetic inference rules (invited speaker). 2020. (Apresentação de Trabalho/Congresso).

  • PIMENTEL, E. . A fresh view of linear logic as a logical framework (invited speaker). 2020. (Apresentação de Trabalho/Congresso).

  • PIMENTEL, E. . Lógica Matemática e Axiomas Geométricos (palestrante convidada). 2020. (Apresentação de Trabalho/Conferência ou palestra).

  • PIMENTEL, E. . A Game Model for Proofs with Costs. 2020. (Apresentação de Trabalho/Seminário).

  • PIMENTEL, E. . Modalities as prices: a game model of intuitionistic linear logic with subexponentials. 2020. (Apresentação de Trabalho/Seminário).

  • PIMENTEL, E. . Trying to understand resource consciousness. 2020. (Apresentação de Trabalho/Seminário).

  • PIMENTEL, E. . Ecumenical modalities. 2020. (Apresentação de Trabalho/Seminário).

  • PIMENTEL, E. ; RAMANAYAKE, R. ; LELMANNN, B. . Sequentialising nested systems. 2019. (Apresentação de Trabalho/Congresso).

  • PIMENTEL, E. ; RAMANAYAKE, R. ; LELMANNN, B. . Sequentialising nested systems (invited speaker). 2019. (Apresentação de Trabalho/Congresso).

  • PIMENTEL, E. ; PEREIRA, L. C. ; PAIVA, V. . An ecumenical notion of entailment (invited speaker). 2019. (Apresentação de Trabalho/Congresso).

  • PIMENTEL, E. ; OLARTE, C. ; LANG, T. ; FERMULLER, C. . Modalities as prices: a game model of intuitionistic linear logic with subexponentials (invited speaker). 2019. (Apresentação de Trabalho/Simpósio).

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

  • PIMENTEL, E. . A semantical view of proof systems. 2018. (Apresentação de Trabalho/Congresso).

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

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

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

  • 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).

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

  • PIMENTEL, E. ; BENEVIDES, MARIO . Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications (IMLA), 2013., 2014. (Prefácio, Pósfacio/Prefácio)>.

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

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

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

  • 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).

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

Outras produções

OLARTE, CARLOS ; PIMENTEL, E. . Prover for Simply Dependent Multimodal Linear Systems. 2016.

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

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

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.

PIMENTEL, E. ; KARAS, E. . Despertando o interesse de meninas por Matemática: ações e projetos. 2020.

PIMENTEL, E. ; NETO, A. . Elaine Pimentel (DMAT/UFRN). 2020. (Programa de rádio ou TV/Entrevista).

Projetos de pesquisa

  • 2020 - Atual

    Lógicas Ecumênicas, Descrição: Com a variedade de assistentes de prova e provadores automáticos de teoremas baseados em diferentes sistemas formais, é interessante descobrir qual parte de uma prova produzida (semi-)automaticamente depende do raciocínio clássico ou quando permanece no mundo construtivo/intuicionista. De fato, esse é um passo fundamental para a mobilidade de provas entre diferentes sistemas computacionais. Neste projeto de pesquisa, pretendemos propor um arcabouço {\em ecumênico} para fornecer uma visão uniforme de sistemas clássicos e intuicionistas, utilizando-o para realizar um estudo formal de comportamentos construtivos e não-construtivos em geral (incluindo modalidades). Ao propor sistemas simples onde o clássico e intuicionista convivem em harmonia, estamos abrindo a possibilidade de refletir, de maneira pontual e fiel, usos "locais" para raciocínio não construtivo. Além disso, uma visão ecumênica de sistemas pode abrir caminho para uma interpretação categórica e, consequentemente, uma interpretação computacional do arcabouço proposto (via um sistema de tipos ecumênico).. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (1) . , Integrantes: Elaine Gouvêa Pimentel - Coordenador / Carlos Olarte - Integrante / Luiz Carlos Pereira - Integrante / Sonia Marin - Integrante / Emerson Sales - Integrante.

  • 2020 - Atual

    PROGEO: Proof systems for Geometric theories, Descrição: Dentro do espectro de lógicas polarizadas, bipoles são fórmulas que possuem uma forma particular: conectivos externos positivos que requerem alguma decisão em uma derivação (eg, escolhendo substituições adequadas em quantificadores existenciais) e conectivos internos negativos, que podem ser decompostos em uma derivação sem mudar a demonstrabilidade. Na disciplina de focusing, fórmulas negativas são decompostas avidamente até que apenas fórmulas positivas restem; então, uma delas é escolhida não-deterministicamente para ser focada. Se esta fórmula é um bipole, ela vai ser completamente decomposta em um passo de derivação focado. Interpretando regras de inferência da lógica-objeto como bipoles, focusing força uma correspondência 1-1 entre a aplicação de regras e a derivação de fórmulas. Por outro lado, o interesse no estudo de teorias geométricas aparece em diversas áreas de lógica, matemática e computação teórica, tais como topologia, geometria, teoria de categorias e lógicas modais. A ideia principal deste projeto é adicionar teorias determinadas por axiomas geométricos à lógica de primeira ordem. A nossa ideia é utilizar bipoles e focusing para estabelecer um método sistemático para transformar tais axiomas em regras, de modo que a extensão do sistema inicial com tais regras seja suave, ie, mantendo as meta-propriedades do sistema original, tais como analiticidade.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Elaine Gouvêa Pimentel - Coordenador / Dale Miller - Integrante / Carlos Olarte - Integrante / Luiz Carlos Pereira - Integrante / Sonia Marin - Integrante / Marco Volpe - Integrante.

  • 2020 - Atual

    MOSAIC - Modalities in Substructural Logics: Theory, Methods and Applications, Descrição: Modal logic is an area of research introduced around one century ago to address the philosophical issues of reasoning about the ?modes of truth?. Nowadays, more than just being a field of research in logic, modal logic can be rather regarded as a methodological framework aimed at providing formal tools to capture a plethora of modes of truth: in tense (or temporal) logic, modalities are interpreted as ?earlier? or ?eventually?; deontic logics formalize what is ?permitted? or ?obligatory?; epistemic logic concern what agents ?know?, ?believe? or ?consider plausible? in a given situation; land so forth. The aim of the present proposal is to put forward a systematic study of substructural modal logics, understood as those modal logics in which the modal operators are based upon the more general ground of substructural logics. The latter are weaker deductive systems than classical logic, defined by removing some of the structural rules in Gentzen sequent calculi for classical logic. Recently, several communities started being involved in the area of substructural modal logics, causing a momentous growth which precisely now calls for unifying perspectives. The main aim of this proposal is hence to develop a comprehensive theory in which substructural modal logics are studied as a family and not in isolation, and to systematically integrate the proof-theoretic, the algebraic and the relational semantic perspectives on these logics so as to create a lingua franca which will facilitate the transfer of results and insights among communities of logicians, and will also help to establish new and unexpected connections between different fields of application.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Elaine Gouvêa Pimentel - Integrante / Carlos Olarte - Integrante / João Marcos Almeida - Integrante / Umberto Rivieccio - Coordenador.

  • 2019 - 2022

    PROSA - PROof search for Substructural and modAl logics, Descrição: PROJETO UNIVERSAL - CNPq (2019--2021) Este projeto visa aprimorar o estado da arte de teoria da prova para lógicas que são variantes ou generalizações de lógicas sub-estruturais e/ou modais. Mais especificamente, pretendemos propor cálculos analíticos e métodos de busca por provas eficientes para uma classe representativa de lógicas modais e sub-estruturais. Além disso, pretendemos conciliar a visão sintática/semântica de maneira natural e direta, ao mesmo tempo estabelecendo uma contra-partida computacional para as lógicas consideradas. Por fim, pretendemos propor arcabouços lógicos adequados para a especificação de propriedades de sistemas lógicos de maneira uniforme. Isso deve permitir não apenas uma validação experimental dos resultados teóricos, mas também o desenvolvimento de protótipos de implementação para vários cálculos mencionados neste projeto.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Elaine Gouvêa Pimentel - Coordenador / Dale Miller - Integrante / Carlos Olarte - Integrante / João Marcos Almeida - Integrante / Luiz Carlos Pereira - Integrante / Delia Kesner - Integrante / Agata Ciabattoni - Integrante / Björn Lelmannn - Integrante / Camilo Rocha - Integrante / Umberto Rivieccio - Integrante / Revantha Ramanayake - Integrante / Kaustuv Chaudhuri - Integrante / Valeria de Paiva - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2019 - Atual

    Rewriting Logic as a framework for specifying sequent systems, Descrição: General and effective methods are required for providing good automation strategies to prove properties of sequent systems. Structural properties such as admissibility, invertibility, and permutability of rules are crucial in proof theory, and they can be used for proving other key properties such as cut-elimination. However, finding proofs for these properties requires inductive reasoning over the provability relation, which is often quite elaborated, exponentially exhaustive, and error prone. This project aims at developing automatic techniques for proving structural properties of sequent based systems. The proposed techniques will be presented in the rewriting logic metalogical framework, and use rewrite- and narrowing-based reasoning.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) . , Integrantes: Elaine Gouvêa Pimentel - Coordenador / Carlos Olarte - Integrante / Camilo Rocha - Integrante.

  • 2017 - 2020

    Busca por provas em lógicas modais e sub-estruturais, Descrição: PROJETO PQ-CNPq (2017-2019) 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: Concluído; 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 - 2019

    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: Concluído; 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): Centre de Recherche Inria Saclay - Île-de-France - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - 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. , Integrantes: Elaine Gouvêa Pimentel - Integrante / Edward Hernann Haeusler - Integrante / Vivek Nigam - Integrante / Regivan Santiago - Integrante / João Marcos Almeida - Coordenador / Luiz Carlos Pereira - Integrante / Benjamin Rene Callejas Bedregal - Integrante / Alexandre Rademaker - Integrante / Jean-Yves Beziau - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 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. , Integrantes: Elaine Gouvêa Pimentel - Integrante / Edward Hernann Haeusler - Integrante / Vivek Nigam - Integrante / Luiz Carlos Pereira - Coordenador / Wagner Sanz - Integrante / Gisele Secco - Integrante / Abell Lassalle Casanave - Integrante / Jean Baptiste Joinet - Integrante / Veleria de Paiva - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 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. , Integrantes: Elaine Gouvêa Pimentel - Integrante / João Marcos Almeida - Coordenador / Valeria de Paiva - Integrante / Agata Ciabattoni - Integrante / Björn Lelmannn - Integrante.

  • 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: 8

Prêmios

2021

Ambassador of Logic at the World Logic Day 2021, Vienna University of Technology.

2021

Invited speaker at FSCD2021, FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION.

2021

Invited speaker at Logic Colloquium 2021, Association for Symbolic Logic.

2020

Invited speaker at II Workshop de Mulheres na Matemática (WMM), UFPE.

2020

Invited speaker at International Joint Conference on Automated Reasoning (IJCAR), IJCAR.

2020

Invited speaker at Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), IJCAR.

2019

Invited speaker at Escola Brasileira de Lógica (EBL), SBL.

2019

Invited speaker at Workshop on Logical and Semantic Frameworks, with Applications (LSFA), CADE.

2019

Invited speaker at XVIII Simposio Latino Americano de Lógica Matemática (SLALM), ASL.

2018

Invited speaker at SYSMICS, TU-Wien.

2018

Invited speaker at Workshop on Logic, Language, Information and Computation (WoLLIC), Universidad de Los Andes.

2017

Bolsista PQ2 2017-2019, CNPq.

2017

Invited speaker at Filomena, UFRN.

2016

Invited speaker at Linear Logic: interaction, proofs and computation, Univ. Lyon.

2015

Invited speaker at 1st Workshop on Focusing (WoF), LPAR.

2014

Bolsista PQ2 2014-2016, CNPq.

2014

Invited speaker at Linearity, FLOC.

Histórico profissional

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:

Experiência profissional

2018 - Atual

Universidade Federal do Rio Grande do Norte

Vínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.

2013 - 2018

Universidade Federal do Rio Grande do Norte

Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado IV, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

  • 09/2019

    Direção e administração, Centro de Ciências Exatas.,Cargo ou função, Vice-coordenadora do Programa de Pós-Graduação em Matemática Aplicada e Estatística (PPGMAE).

  • 01/2015

    Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Coordenadora do Programa PICME

  • 01/2015

    Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, Departamento de Matemática.,Cargo ou função, Membro do NDE - Bacharelado em Matemática.

  • 08/2017 - 12/2017

    Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Professora no programa Mentores da OBMEP

  • 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).

2013 - 2016

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

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

2012 - 2012

Universidad Del Valle

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

1994 - 2013

Universidade Federal de Minas Gerais

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

2021 - Atual

Sociedade Brasileira de Lógica

Vínculo: Presidente, Enquadramento Funcional: Presidente, Carga horária: 20