Marcelo Esteban Coniglio

Bolsista de Produtividade em Pesquisa do CNPq - Nível 1D

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


Graduado em Matemática pela Universidad Nacional de Mar Del Plata, Agentina (1989); doutorado em Matemática pela Universidade de São Paulo (1997); pós-doutorado pela Universidade Técnica de Lisboa (2001-2002); e Livre-Docente em Lógica pela Universidade Estadual de Campinas (2004). Atualmente é Professor Titular do Departamento de Filosofia da Universidade Estadual de Campinas (Unicamp). Tem experiência na área de Filosofia, com ênfase em Lógica e Fundamentos da Matemática. Atua principalmente nos seguintes temas: combinações entre lógicas, traduções entre lógicas, lógicas paraconsistentes, lógicas não-clássicas e teoria das categorias. Foi Presidente da Sociedade Brasileira de Lógica (SBL) no período 2014-2017. É Coordenador do GT de Lógica da ANPOF e Diretor do Centro de Lógica, Epistemologia e História da Ciência (CLE) da Unicamp. (Texto informado pelo autor)


Identificação


Nome
Marcelo Esteban Coniglio
Nome em citações bibliográficas
CONIGLIO, M. E.;Coniglio, Marcelo Esteban;Coniglio, Marcelo E.;E. CONIGLIO, M;Coniglio, Marcelo

Endereço


Endereço Profissional
Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Departamento de Filosofia.
Rua Cora Coralina, 100
Cidade Universitária
13083896 - Campinas, SP - Brasil - Caixa-postal: 6110
Telefone: (19) 35211574
URL da Homepage: http://www.cle.unicamp.br/prof/coniglio/


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


1992 - 1997
Doutorado em Matemática.
Universidade de São Paulo, USP, Brasil.
Título: A Lógica dos Feixes sobre Quantais Right-Sided e Idempotentes, Ano de obtenção: 1997.
Orientador: Francisco Miraglia.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógica / Especialidade: Quantais.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Teoria das Categorias.
1982 - 1989
Graduação em Bacharelado em Matemática.
Universidad Nacional de Mar Del Plata, UNMDP, Argentina.


Pós-doutorado e Livre-docência


2004
Livre-docência.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Lógicas Não-Clássicas: Semânticas e Combinações, Ano de obtenção: 2004.
Palavras-chave: Combinações entre Lógicas; Fibring; Lógica e Teoria de Categorias; Lógicas Abstratas; Lógicas não-clássicas; Feixes sobre Quantais.
Grande área: Ciências Humanas
Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Semânticas Formais.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas Não Clássicas.
2001 - 2002
Pós-Doutorado.
Universidade Técnica de Lisboa, UTL, Portugal.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
Grande área: Ciências Humanas


Atuação Profissional



Universidade Estadual de Campinas, UNICAMP, Brasil.
Vínculo institucional

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

Vínculo institucional

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

Vínculo institucional

2000 - 2004
Vínculo: , Enquadramento Funcional: Professor Colaborador, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1998 - 2000
Vínculo: , Enquadramento Funcional: Professor Assistente Doutor, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

8/2003 - Atual
Direção e administração, Centro de Lógica Epistemologia e História da Ciência, .

Cargo ou função
Cargo administrativo.
3/2000 - Atual
Ensino, Filosofia, Nível: Pós-Graduação

Disciplinas ministradas
Introdução à Lógica
Tópicos Especiais de Lógica
Computabilidade
Teoria de Modelos
Metamatemática
Seminários de Orientação
8/1998 - Atual
Ensino, Bacharelado Em Filosofia, Nível: Graduação

Disciplinas ministradas
Introdução à Lógica
Leitura e Estudos Dirigidos
3/1998 - Atual
Pesquisa e desenvolvimento , Instituto de Filosofia e Ciências Humanas, Departamento de Filosofia.

8/1998 - 11/2004
Direção e administração, Instituto de Filosofia e Ciências Humanas, Departamento de Filosofia.

Cargo ou função
Integrante da Sub CPG do Departamento de Filosofia.
3/1998 - 12/1999
Ensino, Lógica e Filosofia da Ciência, Nível: Pós-Graduação

Disciplinas ministradas
Introdução à Lógica
Teoria Axiomática de Conjuntos
Teoria de Modelos
Seminários de Programa
Tópicos Especiais de Lógica

Universidad de Buenos Aires, UBA, Argentina.
Vínculo institucional

1990 - 1992
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor, Carga horária: 45, Regime: Dedicação exclusiva.
Outras informações
"Jefe de Trabajos Prácticos con Dedicación Exclusiva"

Atividades

6/1990 - 7/1992
Pesquisa e desenvolvimento , Departamento de Computação, Faculdade de Ciências Exatas e Naturais.

Linhas de pesquisa
Lógicas não-clássicas
6/1990 - 7/1992
Ensino, Bacharelado em Computação, Nível: Graduação

Disciplinas ministradas
Inteligência Artificial
Lógica para Computação
Lógicas não-Monotônicas e Revisão de Crenças

Universidad Nacional de Mar Del Plata, UNMDP, Argentina.
Vínculo institucional

1989 - 1990
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor, Carga horária: 12
Outras informações
"Ayudante de Primera con Dedicación Simple"

Vínculo institucional

1987 - 1989
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Monitor, Carga horária: 10

Atividades

10/1989 - 5/1990
Ensino, Bacharelado em Matemática, Nível: Graduação

Disciplinas ministradas
Álgebra
Lógica
4/1987 - 9/1989
Ensino, Bacharelado em Matemática, Nível: Graduação

Disciplinas ministradas
Álgebra I
Análise Matemática I
Fundamentos da Matemática
Lógica
Matemática II (E.D.O. aplicadas à Biologia)


Linhas de pesquisa


1.
Lógicas não-clássicas
2.
Lógica e Categorias
3.
Semânticas formais
4.
Combinações entre Lógicas
5.
Lógicas não-clássicas


Projetos de pesquisa


2010 - 2016
Projeto Temático Fapesp LOGCONS: Logical Consequence, Reasoning and Computation
Descrição: LOGCONS: Logical Consequence, Reasoning and Computation Coordenador: Walter Carnielli Pesquisadores Principais: Walter Carnielli, Marcelo E. Coniglio, Itala M.L. D'Ottaviano Projeto Temático FAPESP 2010/51038-0, 2010-2016.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (7) Doutorado: (8) .
Integrantes: Marcelo Esteban Coniglio - Integrante / Walter A Carnielli - Coordenador / Itala Maria Loffreddo D'Ottaviano - Integrante / Hércules de Araujo Feitosa - Integrante / Hugo Mariano - Integrante / Renata Wassermann - Integrante / Marcelo Finger - Integrante / Flávio Correa da Silva - Integrante / Julio Michael Stern - Integrante / Carlile Lavor - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Universidade de São Paulo - Cooperação / Universidade Estadual Paulista Júlio de Mesquita Filho - Cooperação / Universidade Estadual de Campinas - Cooperação.
2005 - 2010
Projeto Temático Fapesp CONSREL: Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications
Descrição: CONSREL: Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications Coordenador: Walter Carnielli Pesquisadores Principais: Walter Carnielli, Marcelo E. Coniglio, Marcelo Finger Projeto Temático FAPESP 2004/14107-2, 2005-2010.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (7) .
Integrantes: Marcelo Esteban Coniglio - Integrante / Itala Maria Loffreddo D'Ottaviano - Integrante / Walter Alexandre Carnielli - Coordenador / Hércules de Araujo Feitosa - Integrante / Hugo Mariano - Integrante / Renata Wassermann - Integrante / Marcelo Finger - Integrante / Angela Weiss - Integrante / Flávio Correa da Silva - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Universidade de São Paulo - Cooperação / Universidade Estadual de Campinas - Cooperação / Universidade Estadual Paulista Júlio de Mesquita Filho - Cooperação.
Número de produções C, T & A: 6 / Número de orientações: 1


Membro de corpo editorial


2014 - Atual
Periódico: South American Journal of Logic
2010 - Atual
Periódico: Educação e Filosofia (UFU. Impresso)
2009 - Atual
Periódico: Revista Brasileira de Filosofia
2007 - Atual
Periódico: Cuadernos de Lógica, Epistemología y Lenguaje
2001 - Atual
Periódico: CLE e-Prints (Online)


Membro de comitê de assessoramento


2014 - Atual
Agência de fomento: Association for Symbolic Logic


Áreas de atuação


1.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Combinações Entre Lógicas.
2.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Semânticas Formais.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Teoria das Categorias.
4.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Lógicas Não Clássicas.
5.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Topologia Não Comutativa.
6.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Quantais.


Idiomas


Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:13
Total de citações:55
Fator H:5
Coniglio, Marcelo E  Data: 01/05/2018

SCOPUS
Total de trabalhos:32
Total de citações:133
Coniglio, Marcelo Esteban  Data: 04/09/2018

Outras
Total de trabalhos:128
Total de citações:1526
Marcelo Esteban Coniglio  Data: 04/09/2018

Artigos completos publicados em periódicos

1.
TESTA, Rafael2017TESTA, Rafael ; CONIGLIO, M. E. ; Ribeiro, Márcio M. . AGM-like paraconsistent belief change. LOGIC JOURNAL OF THE IGPL, v. 25, p. 632-672, 2017.

2.
Carnielli, Walter A.2017Carnielli, Walter A. ; CONIGLIO, M. E. ; RODRIGUES, A. . Recovery operators, paraconsistency and duality. CLE e-Prints (Online), v. 17, p. 1, 2017.

3.
Coniglio, Marcelo E.2017Coniglio, Marcelo E.; FARIÑAS DEL CERRO, LUIS ; PERON, NEWTON M. . Errata and Addenda to `Finite non-deterministic semantics for some modal systems?. Journal of Applied Non-Classical Logics, v. 26, p. 336-345, 2017.

4.
Carnielli, Walter A.2016Carnielli, Walter A. ; CONIGLIO, M. E. . Paraconsistent set theory by predicating on consistency. Journal of Logic and Computation (Print), v. 26, p. 97-116, 2016.

5.
Coniglio, Marcelo E.2016Coniglio, Marcelo E.; ESTEVA, FRANCESC ; GODO, LLUÍS . On the set of intermediate logics between the truth- and degree-preserving -ukasiewicz logics. Logic Journal of the IGPL (Online), v. 24, p. 288-320, 2016.

6.
CONIGLIO, M. E.2016CONIGLIO, M. E.; FIGALLO-ORELLANO, Aldo ; Golzio, Ana Claudia . Towards an hyperalgebraic theory of non-algebraizable logics. CLE e-Prints (Online), v. 16, p. 1, 2016.

7.
Coniglio, Marcelo E.2015Coniglio, Marcelo E.; DEL CERRO, LUIS FARIÑAS ; PERON, NEWTON M. . Finite non-deterministic semantics for some modal systems. Journal of Applied Non-Classical Logics, p. 1-24, 2015.

8.
TESTA, Rafael2015TESTA, Rafael ; Coniglio, Marcelo E. ; Ribeiro, Márcio M. . Paraconsistent Belief Revision based on a formal consistency operator. CLE e-Prints (Online), v. 15, p. 1-11, 2015.

9.
CONIGLIO, M. E.2014CONIGLIO, M. E.; SILVESTRINI, L. H. . An alternative approach for quasi-truth. Logic Journal of the IGPL (Print), v. 22, p. 387-410, 2014.

10.
CONIGLIO, M. E.2014CONIGLIO, M. E.; FIGALLO, M. . Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras. Studia Logica, v. 102, p. 525-539, 2014.

11.
CONIGLIO, M. E.2014CONIGLIO, M. E.; Esteva, F. ; Godo, Ll. . Logics of formal inconsistency arising from systems of fuzzy logic. Logic Journal of the IGPL (Print), v. 22, p. 880-904, 2014.

12.
CONIGLIO, M. E.2014CONIGLIO, M. E.; FIGALLO, M. . On a four-valued modal logic with deductive implication. University of Lodz. Department of Logic. Bulletin of the Section of Logic, v. 43, p. 1-18, 2014.

13.
Carnielli, Walter A.2014Carnielli, Walter A. ; CONIGLIO, M. E. . Swap Structures for LFIs. CLE e-Prints (Online), v. 14, p. 1-39, 2014.

14.
CARNIELLI, Walter A2014CARNIELLI, Walter A ; CONIGLIO, M. E. ; PODIACKI, R. ; RODRIGUES, T. G. . ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY. The Review of Symbolic Logic, v. 7, p. 548-578, 2014.

15.
Coniglio, Marcelo E.2014Coniglio, Marcelo E.; PERON, NEWTON M. . Dugundji?s Theorem Revisited. Logica Universalis (Print), v. 8, p. 407-422, 2014.

16.
CONIGLIO, M. E.2013CONIGLIO, M. E.; PERON, Newton Marques . Modal extensions of sub-classical logics for recovering classical logic. Logica Universalis (Print), v. 7, p. 71-86, 2013.

17.
CONIGLIO, M. E.2013CONIGLIO, M. E.; CORBALAN, M. I. . Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics. Electronic Proceedings in Theoretical Computer Science, v. 113, p. 125-136, 2013.

18.
CONIGLIO, M. E.2013CONIGLIO, M. E.; FIGALLO, M. . On the relationship between tetravalent modal algebras, symmetric Boolean algebras and modal algebras for S5. CLE e-Prints (Online), v. 13, p. 3, 2013.

19.
CONIGLIO, M. E.2012CONIGLIO, M. E.; CORBALAN, M. I. . Teorema de Ajuste de Derivabilidade e Normalização em Dedução Natural. Revista Brasileira de Filosofia, v. 239, p. 171-186, 2012.

20.
Beziau, J.-Y.2011Beziau, J.-Y. ; CONIGLIO, M. E. . To distribute or not to distribute?. Logic Journal of the IGPL (Print), v. 19, p. 566-583, 2011.

21.
CONIGLIO, M. E.2011CONIGLIO, M. E.; Sernadas, A. ; Sernadas, C. . Preservation by fibring of the finite model property. Journal of Logic and Computation (Print), v. 21, p. 375-402, 2011.

22.
CONIGLIO, M. E.2010CONIGLIO, M. E.; FIGALLO, M. . Fibring of hypersequent calculi and preservation of rule-elimination. CLE e-Prints (Online), v. 10, p. 7, 2010.

23.
Sernadas, A.2009Sernadas, A. ; Sernadas, C. ; Rasga, J. ; CONIGLIO, M. E. . A Graph-theoretic Account of Logics. Journal of Logic and Computation (Print), v. 19, p. 1281-1320, 2009.

24.
Sernadas, A.2009Sernadas, A. ; Sernadas, C. ; Rasga, J. ; CONIGLIO, M. E. . On Graph-theoretic Fibring of Logics. Journal of Logic and Computation (Print), v. 19, p. 1321-1357, 2009.

25.
CONIGLIO, M. E.2009CONIGLIO, M. E.; TESTA, Rafael . Dilemas Deônticos e Escolha:Considerações Pragmáticas. Revista Brasileira de Filosofia, v. 232, p. 231-246, 2009.

26.
Carnielli, Walter A.2009Carnielli, Walter A. ; CONIGLIO, M. E. ; D'OTTAVIANO, Itala Maria Loffreddo . New Dimensions on Translations Between Logics. Logica Universalis (Print), v. 3, p. 1-18, 2009.

27.
CONIGLIO, M. E.2009CONIGLIO, M. E.. Logics of Deontic Inconsistency. Revista Brasileira de Filosofia, v. 233, p. 162-186, 2009.

28.
CONIGLIO, M. E.2009CONIGLIO, M. E.; PERON, Newton Marques . A Paraconsistentist Approach to Chisholm's Paradox. Principia (Florianópolis. Online), v. 13, p. 299-326, 2009.

29.
CARNIELLI, Walter A2008CARNIELLI, Walter A ; CONIGLIO, M. E. . Aristóteles, paraconsistentismo e a tradição budista. O Que nos Faz Pensar, v. 23, p. 163-175, 2008.

30.
REIS, Teófilo de Souza2008REIS, Teófilo de Souza ; CONIGLIO, M. E. . Covering Logics via Possible-Translations. CLE e-Prints (Online), v. 8, p. 6, 2008.

31.
TESTA, Rafael2008TESTA, Rafael ; CONIGLIO, M. E. . Solving Normative Conflicts Using Preference Relations. CLE e-Prints (Online), v. 8, p. 6, 2008.

32.
PERON, Newton Marques2008PERON, Newton Marques ; CONIGLIO, M. E. . Logics of Deontic Inconsistencies and Paradoxes. CLE e-Prints (Online), v. 8, p. 6, 2008.

33.
CONIGLIO, M. E.2007CONIGLIO, M. E.. Logics of deontic inconsistency. CLE e-Prints (Online), Campinas, v. 7, n.4, p. 4, 2007.

34.
CONIGLIO, M. E.2007CONIGLIO, M. E.. Recovering a Logic from Its Fragments by Meta-Fibring. Logica Universalis (Print), v. 1, p. 377-416, 2007.

35.
FERNÁNDEZ, Víctor Leandro2007FERNÁNDEZ, Víctor Leandro ; CONIGLIO, M. E. . Fibring in the Leibniz Hierarchy. Logic Journal of the IGPL, v. 15, p. 475-501, 2007.

36.
SBARDELLINI, Luís Augusto2006SBARDELLINI, Luís Augusto ; CONIGLIO, M. E. . Some results on ordered structures in toposes. Reports on Mathematical Logic, Cracóvia, v. 40, p. 181-198, 2006.

37.
CONIGLIO, M. E.2005CONIGLIO, M. E.. Towards a stronger notion of translation between logics. Manuscrito (UNICAMP), Campinas (São Paulo), v. 28, n.2, p. 231-262, 2005.

38.
CALEIRO, Carlos2003CALEIRO, Carlos ; CARNIELLI, Walter Alexandre ; CONIGLIO, M. E. ; SERNADAS, Amílcar ; SERNADAS, Cristina . Fibring Non-Truth-Functional Logics: Completeness Preservation. Journal of Logic, Language and Information, Dordrecht, v. 12, n.2, p. 183-211, 2003.

39.
FERNÁNDEZ, Víctor Leandro2003FERNÁNDEZ, Víctor Leandro ; CONIGLIO, M. E. . Combining Valuations with Society Semantics. Journal of Applied Non-Classical Logics, Paris, v. 13, n.1, p. 21-46, 2003.

40.
CONIGLIO, M. E.2003CONIGLIO, M. E.; SERNADAS, Amílcar ; SERNADAS, Cristina . Fibring Logics with Topos Semantics. Journal of Logic and Computation (Print), Oxford, v. 13, n.4, p. 595-624, 2003.

41.
CONIGLIO, M. E.2002CONIGLIO, M. E.; CARNIELLI, Walter Alexandre . Transfers between logics and its applications. Studia Logica, Dordrecht, v. 72, n.3, p. 367-400, 2002.

42.
CONIGLIO, M. E.2001CONIGLIO, M. E.; MIRAGLIA, Francisco . Modules in the Category of Sheaves over Quantales. Annals of Pure and Applied Logic (Print), v. 108, n.1-3, p. 103-136, 2001.

43.
CONIGLIO, M. E.2000CONIGLIO, M. E.; MIRAGLIA, Francisco . Non-Commutative Topology and Quantales. Studia Logica, Dordrecht, v. 65, n.2, p. 223-236, 2000.

44.
CARNIELLI, Walter A1999CARNIELLI, Walter A ; CONIGLIO, M. E. . A Categorial Approach to the Combination of Logics. Manuscrito (UNICAMP), Campinas (São Paulo), v. 22, n.2, p. 69-94, 1999.

45.
CONIGLIO, M. E.1996CONIGLIO, M. E.; MIRAGLIA, Francisco . Equality in Linear Logic. Logique et Analyse, Bruxelas, v. 153, p. 113-151, 1996.

Livros publicados/organizados ou edições
1.
Carnielli, Walter ; Coniglio, Marcelo Esteban . Paraconsistent Logic: Consistency, Contradiction and Negation. 1. ed. Berlin: Springer International Publishing, 2016. v. 1. 416p .

2.
CARVALHO, M. (Org.) ; Braida, Celso (Org.) ; Salles, João Carlos (Org.) ; CONIGLIO, M. E. (Org.) . Filosofia da Linguagem e da Lógica. 1. ed. São Paulo: ANPOF, 2015. v. 1. 459p .

3.
Beziau, J.-Y. (Org.) ; CONIGLIO, M. E. (Org.) . Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday. 1. ed. Londres: College Publications, 2011. v. 1. 486p .

4.
CARNIELLI, Walter A (Org.) ; CONIGLIO, M. E. (Org.) ; D'OTTAVIANO, Itala Maria Loffreddo (Org.) . The Many Sides of Logic. 1. ed. Londres: College Publications, 2009. v. 1. 586p .

5.
CARNIELLI, Walter A ; CONIGLIO, M. E. ; GABBAY, Dov ; GOUVEIA, P. ; SERNADAS, Cristina . Analysis and Synthesis of Logics. How to Cut and Paste Reasoning Systems. 1. ed. Dortrecht: Springer, 2008. v. 1. 620p .

6.
CARNIELLI, Walter Alexandre (Org.) ; CONIGLIO, M. E. (Org.) ; D'OTTAVIANO, Itala Maria Loffreddo (Org.) . An Event on Brazilian Logic Part II. Proceedings of the XIII Brazilian Conference on Mathematical Logic. Logic Journal of the IGPL Vol. 13, nro. 1. Oxford: Oxford University Press, 2005. v. 1.

7.
CARNIELLI, Walter Alexandre (Org.) ; CONIGLIO, M. E. (Org.) ; D'OTTAVIANO, Itala Maria Loffreddo (Org.) . An Event on Brazilian Logic Part I. Proceedings of the XIII Brazilian Conference on Mathematical Logic. Logic Journal of the IGPL Vol. 12, nro. 6. Oxford: Oxford University Press, 2004. v. 1. 210p .

8.
CARNIELLI, Walter Alexandre (Org.) ; CONIGLIO, M. E. (Org.) ; D'OTTAVIANO, Itala Maria Loffreddo (Org.) . Paraconsistency: the logical way to the inconsistent. Proceedings of the II World Congress on Paraconsistency. New York: Marcel Dekker, Inc., 2002. v. 1.

Capítulos de livros publicados
1.
Brito, Abner ; Barros, Laécio ; Laureano, Estevão ; Bertato, Fábio ; Coniglio, Marcelo . Fuzzy Formal Concept Analysis. In: Guilherme A. Barreto; Ricardo Coelho. (Org.). Communications in Computer and Information Science. 1ed.Cham: Springer International Publishing, 2018, v. , p. 192-205.

2.
Bueno-Soler, Juliana ; Carnielli, Walter ; Coniglio, Marcelo E. ; Rodrigues Filho, Abilio . Formal (In)consistency, Abduction and Modalities. In: Lorenzo Magnani; Tommaso Bertolotti. (Org.). Springer Handbook of Model-Based Science. 1ed.Dordrecht: Springer International Publishing, 2017, v. 1, p. 315-335.

3.
CONIGLIO, M. E.; PRIETO-SANABRIA, L. . Modal logic S4 as a paraconsistent logic with a topological semantics. In: Carlos Caleiro; Francisco Dionisio; Paula Gouveia; Paulo Mateus; João Rasga. (Org.). Logic and Computation: Essays in Honour of Amilcar Sernadas. 1ed.Londres: College Publications, 2017, v. 1, p. 171-196.

4.
Coniglio, Marcelo Esteban; Figallo, Martín . A Formal Framework for Hypersequent Calculi and Their Fibring. In: Arnold Koslow; Arthur Buchsbaum. (Org.). Studies in Universal Logic. 1ed.: Springer International Publishing, 2015, v. 1, p. 73-93.

5.
CONIGLIO, M. E.; SBARDELLINI, Luís Augusto . On the ordered Dedekind real numbers in toposes. In: Edward Hermann Haeusler; Wagner de Campos Sanz; Bruno Lopes. (Org.). Why is this a Proof? Festschrift for Luiz Carlos Pereira. 1ed.Londres: College Publications, 2015, v. 1, p. 87-105.

6.
CARNIELLI, Walter A ; CONIGLIO, M. E. ; RODRIGUES, A. . Contradictions in reasoning: an evil or a blessing?. In: Ana M. Alfonso-Goldfarb; Walter A. Carnielli; Hasok Chang; Marcia H. M. Ferraz; José Luiz Goldfarb; Sílvia Waisse. (Org.). Crossing Oceans: Exchange of Products, Instruments and Procedures in the History of Chemistry and Related Sciences - Selected Papers. 1ed.Campinas: CLE-UNICAMP, 2015, v. 1, p. 135-152.

7.
GOLZIO, A. C. J. ; CONIGLIO, M. E. . Non-deterministic algebras and algebraization of logics. In: Marcelo Carvalho; Celso Braida; João Carlos Salles; Marcelo Esteban Coniglio. (Org.). Filosofia da Linguagem e da Lógica. 1ed.São Paulo: ANPOF, 2015, v. 1, p. 327-346.

8.
CONIGLIO, M. E.; RODRIGUES, T. G. . Some investigations on mbC and mCi. In: Cezar A. Mortari. (Org.). Tópicos de lógicas não clássicas. 1ed.Florianópolis, SC: NEL/UFSC, 2014, v. 1, p. 11-70.

9.
Carnielli, Walter ; Coniglio, Marcelo E. . On Discourses Addressed by Infidel Logicians. In: Koji Tanaka; Francesco Berto; Edwin Mares; Francesco Paoli. (Org.). Paraconsistency: Logic and Applications. 1ed.Dordrecht: Springer Netherlands, 2013, v. 1, p. 27-41.

10.
Ribeiro, Márcio M. ; Coniglio, Marcelo E. . Contracting Logics. In: Luke Ong; Ruy de Queiroz. (Org.). Lecture Notes in Computer Science. 'ed.Berlin: Springer Berlin Heidelberg, 2012, v. 1, p. 268-281.

11.
CARNIELLI, Walter Alexandre ; CONIGLIO, M. E. ; MARCOS, João . Logics of Formal Inconsistency. In: Dov Gabbay; Franz Guenthner. (Org.). Handbook of Philosophical Logic. 2ed.Dordrecht: Springer, 2007, v. 14, p. 1-93.

12.
BUENO, Juliana ; CONIGLIO, M. E. ; CARNIELLI, Walter Alexandre . Possible-translations algebraizability. In: Jean-Yves Béziau; Walter Alexandre Carnielli; Dov Gabbay. (Org.). Handbook of Paraconsistency. 1ed.Londres: King?s College, 2007, v. 9, p. 321-340.

13.
CARNIELLI, Walter A ; CONIGLIO, M. E. . Combining Logics. In: E.N. Zalta. (Org.). The Stanford Encyclopedia of Philosophy. Stanford: Stanford University, 2007, v. 1, p. -.

14.
CARNIELLI, Walter A ; CONIGLIO, M. E. . Bridge principles and combined reasoning. In: Thomas Müller; Albert Newen. (Org.). Logik, Begriffe, Prinzipien des Handelns (Logic, Concepts, Principles of Action). Paderborn: Mentis Verlag, 2007, v. , p. 32-48.

15.
CALEIRO, Carlos ; CARNIELLI, Walter Alexandre ; CONIGLIO, M. E. ; MARCOS, João . Two's company: 'The humbug of many logical values'. In: Jean-Yves Béziau. (Org.). Logica Universalis. Basel: BIrkäuser Verlag, 2005, v. , p. 169-189.

16.
CARNIELLI, Walter Alexandre ; CONIGLIO, M. E. . Splitting Logics. In: Serguei Artemov; Howard Barringer; Artur Garcez; Luis Lamb; John Woods. (Org.). We Will Show Them! Essays in Honour of Dov Gabbay. 1ed.Londres: College Publications, 2005, v. 1, p. 389-414.

17.
CONIGLIO, M. E.; SERNADAS, Cristina . A Hilbert-style axiomatization of higher-order intuitionistic logic. In: Hércules Feitosa; Frank Sautter. (Org.). Lógica: Teoria, Aplicações e Reflexões. 1ed.Campinas: CLE, 2004, v. 39, p. 25-58.

18.
CUNHA, Denise Maria Maldonado da ; CONIGLIO, M. E. ; CARNIELLI, Walter Alexandre . An incoherence in the AGM theory?. In: Hércules Feitosa; Frank Sautter. (Org.). Lógica: Teoria, Aplicações e Reflexões. 1ed.Campinas: CLE, 2004, v. 39, p. 107-117.

19.
CONIGLIO, M. E.. A Logic for Sheaves Over (Right-Sided and Idempotent) Quantales. In: Edward Hermann Haeusler; Luiz Carlos Pereira. (Org.). Pratica: Proofs, Types and Categories. 1ed.Rio de Janeiro: Pontifícia Universidade Católica de Rio de Janeiro, 1999, v. , p. 185-212.

Trabalhos completos publicados em anais de congressos
1.
CONIGLIO, M. E.; FERNÁNDEZ, Víctor Leandro . Plain fibring and direct union of logics with matrix semantics. In: 2nd Indian International Conference on Artificial Intelligence, 2005, Pune, India. Proceedings of the 2nd Indian International Conference on Artificial Intelligence (IICAI 2005), 2005. v. 1. p. 1590-1608.

2.
BÉZIAU, Jean Yves ; CONIGLIO, M. E. . Combining Conjunction with Disjunction. In: 2nd Indian International Conference on Artificial Intelligence, 2005, Pune, India. Proceedings of the 2nd Indian International Conference on Artificial Intelligence (IICAI 2005), 2005. v. 1. p. 1648-1658.

3.
CONIGLIO, M. E.; FERNÁNDEZ, Víctor Leandro ; FIDEL, M. . Relevant Information and Relevant Logic. In: 6th Dr. Antonio A. R. Monteiro Congress of Mathematics, 2001, Bahia Blanca. Proceedings of the 6th Dr. Antonio A. R. Monteiro Congress of Mathematics, 2001. p. 119-127.

4.
CONIGLIO, M. E.. Categorical logic with partial elements. In: XI Brazilian Conference on Mathematical Logic, 1999, Salvador (Bahia). Advances in Contemporary Logic and Computer Science. Rhode Island: American Mathematical Society, 1999. v. 235. p. 63-82.

5.
CONIGLIO, M. E.; GONZÁLEZ, O. O. . Matching de objetos difusos. In: XXII JORNADAS ARGENTINAS DE INFORMÁTICA E PESQUISA OPERACIONAL, 1993, Buenos Aires. Anais das XXII JORNADAS ARGENTINAS DE INFORMÁTICA E PESQUISA OPERACIONAL. Buenos Aires: SADIO (Sociedad Argentina de Informática e Investigación Operativa), 1993. v. 1. p. 3-21.

6.
CONIGLIO, M. E.. Obtención de respuestas en bases de conocimiento. In: XXI JORNADAS ARGENTINAS DE INFORMÁTICA E PESQUISA OPERACIONAL, 1992, Buenos Aires. Anais das XXI JORNADAS ARGENTINAS DE INFORMÁTICA E PESQUISA OPERACIONAL. Buenos Aires: SADIO (Sociedad Argentina de Informática e Investigación Operativa), 1992. v. 1. p. 1.41-1.63.

Resumos expandidos publicados em anais de congressos
1.
CONIGLIO, M. E.; ESTEVA, FRANCESC ; FLAMINIO, Tommaso ; GODO, LLUÍS . On an implication-free reduct of MV_n chains. In: Logic, Algebra and Truth Degrees (LATD 2018), 2018, Berna. Logic, Algebra and Truth Degrees (LATD 2018) - Proceedings. Berna: University of Bern, 2018. p. 43-46.

2.
CONIGLIO, M. E.; ESTEVA, FRANCESC ; GISPERT, Joan ; GODO, LLUÍS . Maximality in finite-valued Lukasiewicz logics defined by order filters. In: Logic, Algebra and Truth Degrees (LATD 2018), 2018, Berna. Logic, Algebra and Truth Degrees (LATD 2018) - Proceedings. Berna: University of Bern, 2018. p. 39-42.

3.
CARNIELLI, Walter A ; CONIGLIO, M. E. . On discourses addressed by infidel logicians. In: Fourth World Congress of Paraconsistency (WCP4), 2008, Melbourne. WCP4: The Fourth World Congress of Paraconsistency. Melbourne: Ormond College, 2008. v. 1. p. 16-18.

4.
CONIGLIO, M. E.; FERNÁNDEZ, Víctor Leandro . Fibring algebraizable consequence systems. In: Workshop on Combination on Logics: Theory and Applications (CombLog'04), 2004, Lisboa. Proceedings of CombLog'04 - Workshop on Combination of Logics: Theory and Applications. Lisboa: Departamento de Matemática - IST, 2004. p. 93-98.

5.
BUENO, Juliana ; CONIGLIO, M. E. ; CARNIELLI, Walter Alexandre . Finite algebraizability via possible-translations semantics. In: Workshop on Combination on Logics: Theory and Applications (CombLog'04), 2004, Lisboa. Proceedings do CombLog'04 - Workshop on Combination on Logics: Theory and Applications. Lisboa: Departamento de Matemática - IST. p. 79-86.

6.
CONIGLIO, M. E.; CARNIELLI, Walter A . A Model Theoretic Approach to Translations Between Logics. In: 7th Workshop on Logic, Language, Information and Computation, 2000, Natal, RN. Proceedings of 7th WoLLIC, 2000. p. 55-65.

7.
CONIGLIO, M. E.; MIRAGLIA, Francisco . Non-commutative topology and quantales. In: XII Encontro Brasileiro de Lógica, 1999, Itatiaia (Rio de Janeiro). XII Encontro Brasileiro de Lógica, 1999. v. 1. p. 27-34.

Resumos publicados em anais de congressos
1.
CONIGLIO, M. E.; FIGALLO, M. . On the relationship between tetravalent modal algebras, symmetric Boolean algebras and modal algebras for S5. In: 4th World Congress and School on Universal Logic, 2013, Rio de Janeiro. Handbook of the 4th World Congress and School on Universal Logic. Goiânia: Editora Kelps, 2013. p. 104-104.

2.
CONIGLIO, M. E.; RODRIGUES, T. G. . New results on mbC and mCi. In: 4th World Congress and School on Universal Logic, 2013, Rio de Janeiro. Handbook of the 4th World Congress and School on Universal Logic. Goiânia: Editora Kelps, 2013. p. 187-187.

3.
CONIGLIO, M. E.; PERON, Newton Marques . Actualizing Dugundji's Theorem. In: 4th World Congress and School on Universal Logic, 2013, Rio de Janeiro. Handbook of the 4th World Congress and School on Universal Logic. Goiânia: Editora Kelps, 2013. p. 227-228.

4.
MORETTO-RIBEIRO, M. ; CONIGLIO, M. E. . Safe Fibring or How to Revise Logic Systems. In: 4th World Congress and School on Universal Logic, 2013, Rio de Janeiro. Handbook of the 4th World Congress and School on Universal Logic. Goiânia: Editora Kelps, 2013. p. 240-241.

5.
CONIGLIO, M. E.. First-Order Paraconsistent Logics. In: 15th Latin American Symposium on Mathematical Logic, 2013, Bogotá. Abstracts - 15th Latin American Symposium on Mathematical Logic. Bogotá, 2013. p. 22-22.

6.
CONIGLIO, M. E.. A tutorial on combining logics. In: XIV Latin American Symposium on Mathematical Logic (SLALM), 2009. The Bulletin of Symbolic Logic. Poughkeepsie: Association for Symbolic Logic. v. 15. p. 335-335.

7.
REIS, Teófilo de Souza ; CONIGLIO, M. E. . Covering Logics via Possible-Translations. In: CLE 30 Years/XV Brazilian Logic Conference/XIV Latin-American Symposium on Mathematical Logic, 2008, Paraty, RJ. Annals of the CLE 30 Years/XV Brazilian Logic Conference/XIV Latin-American Symposium on Mathematical Logic. Campinas, SP: CLE-UNICAMP, 2008. p. 163-163.

8.
TESTA, Rafael ; CONIGLIO, M. E. . Solving Normative Conflicts Using Preference Relations. In: CLE 30 Years/XV Brazilian Logic Conference/XIV Latin-American Symposium on Mathematical Logic, 2008, Paraty, RJ. Annals of the CLE 30 Years/XV Brazilian Logic Conference/XIV Latin-American Symposium on Mathematical Logic. Campinas, SP: CLE-UNICAMP, 2008. p. 174-174.

9.
CONIGLIO, M. E.. Combinações entre Lógicas. In: CLE 30 Years/XV Brazilian Logic Conference/XIV Latin-American Symposium on Mathematical Logic, 2008, Paraty, RJ. Annals of the CLE 30 Years/XV Brazilian Logic Conference/XIV Latin-American Symposium on Mathematical Logic. Campinas, SP: CLE-UNICAMP, 2008. p. 40-40.

10.
CONIGLIO, M. E.. Metalógica de Argumentações baseada na noção de peso argumentativo. In: XIII Encontro Nacional de Filosofia da ANPOF, 2008, Canela, RS. Livro de Atas - XIII Encontro Nacional de Filosofia da ANPOF. Porto Alegre: Editora UNISINOS, 2008. v. 1. p. 446-447.

11.
CONIGLIO, M. E.; PERON, Newton Marques . A paraconsistentist approach to deontic paradoxes. In: Fourth World Congress of Paraconsistency (WCP4), 2008, Melbourne. WCP4: The Fourth World Congress of Paraconsistency. Melbourne: Ormond College, 2008. p. 18-19.

12.
PERON, Newton Marques ; CONIGLIO, M. E. . Lógicas da Inconsistência Deôntica e Paradoxos. In: CLE 30 Years/XV Brazilian Logic Conference/XIV Latin-American Symposium on Mathematical Logic, 2008, Paraty, RJ. Annals of the CLE 30 Years/XV Brazilian Logic Conference/XIV Latin-American Symposium on Mathematical Logic. Campinas, SP: CLE-UNICAMP, 2008. p. 143-143.

13.
CONIGLIO, M. E.. Meta-Translations and Fibring. In: 2005-06 Winter Meeting of the Association for Symbolic Logic, 2006, New York. Bulletin of Symbolic Logic. New York: ASL, 2005. v. 12. p. 507-507.

14.
CONIGLIO, M. E.. Combining and Uncombining Logics. In: XIII SLALM - XIII Latin American Symposium in Mathematical Logic, 2006, Oaxaca. XIII Latin American Symposium in Mathematical Logic - Book of Abstracts. Oaxaca, 2006. v. 1. p. 18-19.

15.
CONIGLIO, M. E.. Combinar e Decompor Lógicas: Como e por que?. In: XII Encontro Nacional de Filosofia da ANPOF, 2006, Salvador, BA. Atas do XII Encontro Nacional de Filosofia - ANPOF. Campinas, SP: Associação Nacional de Pós-Graduação em Filosofia, 2006. v. 1. p. 355-356.

16.
CONIGLIO, M. E.. Combinações de sistemas de conseqüência. In: XI Encontro Nacional de Filosofia da ANPOF, 2004, Salvador. Livro de Atas do XI Encontro Nacional de Filosofia da ANPOF. Salvador: ANPOF, 2004. v. 1. p. 290-291.

17.
CONIGLIO, M. E.; SBARDELLINI, Luís Augusto . Intuitionistic Model Theory in Topos. In: XII SLALM - XII Latin American Symposium in Mathematical Logic, 2004, San José. Book of Abstracts - XII Latin American Symposium in Mathematical Logic, 2004. p. 1-1.

18.
CONIGLIO, M. E.; CARNIELLI, Walter A . A Model Theoretic Approach to Translations Between Logics. In: 7th Workshop on Logic, Language, Information and Computation (WoLLIC'2000), 2001, Natal. Journal of the Interest Group in Pure and Applied Logics (IGPL), 2001. v. 9. p. 137-137.

19.
CONIGLIO, M. E.; MIRAGLIA, Francisco . Representation of C*-algebras by Sheaves over Quantales. In: Logic Colloquium 2001, 2001, Viena. Collegium Logicum. Viena: Kurt Gödel Society, 2001. v. 4. p. 75-75.

20.
CARNIELLI, Walter Alexandre ; CONIGLIO, M. E. . Belief Revision for Non-Classical Logics. In: Logic Colloquium 2001, 2001, Viena. Collegium Logicum. Viena: Kurt Gödel Society, 2001. v. 4. p. 68-68.

21.
CONIGLIO, M. E.; MARTINS, Ana Teresa ; SERNADAS, Amílcar ; SERNADAS, Cristina . Fibring (Para)consistent logics. In: II World Congress on Paraconsistency, 2000, Juquehy (São Paulo). II World Congress on Paraconsistency- Book of Abstracts. Campinas: CLE-UNICAMP, 2000. p. 58-59.

22.
FERNÁNDEZ, Víctor Leandro ; CONIGLIO, M. E. . Uma restrição relevantista da Lógica Clássica. In: IX Encontro Nacional de Filosofia-ANPOF, 2000, Poços de Caldas, MG. Livro de Resumos do IX Encontro Nacional de Filosofia-ANPOF. Campinas, SP: CLE-UNICAMP, 2000. p. 126-127.

23.
CONIGLIO, M. E.; CARNIELLI, Walter A . Teoria de Modelos e Traduções. In: IX Encontro Nacional de Filosofia-ANPOF, 2000, Poços de Caldas, MG. Livro de Resumos do IX Encontro Nacional de Filosofia-ANPOF. Campinas, SP: CLE-UNICAMP, 2000. p. 125-126.

24.
CARNIELLI, Walter A ; CONIGLIO, M. E. . Translations and Model Theory. In: Logic Colloquium 2000, 2000, Paris. LC 2000 - Book of Abstracts. Paris: Université Paris VII, 2000. p. 88-89.

Resumos publicados em anais de congressos (artigos)
1.
CONIGLIO, M. E.2002CONIGLIO, M. E.; MIRAGLIA, Francisco . Representation of C*-algebras by Sheaves over Quantales. Bull. of Symbolic Logic, v. 8, n.1, p. 130-130, 2002.

2.
CARNIELLI, Walter Alexandre2002CARNIELLI, Walter Alexandre ; CONIGLIO, M. E. . Belief Revision for Non-Classical Logics. Bull. of Symbolic Logic, v. 8, n.1, p. 129-130, 2002.

3.
CARNIELLI, Walter A2001CARNIELLI, Walter A ; CONIGLIO, M. E. . Translations and Model Theory. Bull. of Symbolic Logic, v. 7, n.1, p. 104-105, 2001.

4.
CONIGLIO, M. E.1999CONIGLIO, M. E.. An extension of categorical semantics. Bull. of Symbolic Logic, Champaign, v. 5, n.1, p. 138-139, 1999.

5.
CONIGLIO, M. E.1999CONIGLIO, M. E.. Objects with extent in categorical logic. Bull. of Symbolic Logic, Champaign, v. 5, n.4, p. 522-522, 1999.

Artigos aceitos para publicação
1.
CONIGLIO, M. E.; FIGALLO-ORELLANO, Aldo ; Golzio, Ana Claudia . Non-deterministic algebraization of logics by swap structures. LOGIC JOURNAL OF THE IGPL, 2018.

2.
CARNIELLI, Walter A ; CONIGLIO, M. E. ; RODRIGUES, A. . Recovery operators, paraconsistency and duality. LOGIC JOURNAL OF THE IGPL, 2018.

3.
CONIGLIO, M. E.; Golzio, Ana Claudia . Swap structures semantics for Ivlev-like modal logics. SOFT COMPUTING, 2018.

Apresentações de Trabalho
1.
CONIGLIO, M. E.; OLIVEIRA, Kleidson E. . On Three-Valued Paraconsistent Logic Programming. 2017. (Apresentação de Trabalho/Simpósio).

2.
Golzio, Ana Claudia ; CONIGLIO, M. E. . About a new algebraization method for some modal systems. 2017. (Apresentação de Trabalho/Congresso).

3.
CONIGLIO, M. E.; FIGALLO-ORELLANO, Aldo ; Golzio, Ana Claudia . Towards Non-deterministic algebraic semantics. 2016. (Apresentação de Trabalho/Congresso).

4.
CONIGLIO, M. E.; FIGALLO-ORELLANO, Aldo ; Golzio, Ana Claudia . Swap structures: algebraizing logics by means of multialgebras. 2016. (Apresentação de Trabalho/Seminário).

5.
CONIGLIO, M. E.; Carnielli, Walter A. . Uma nova taxonomia das Lógicas da Inconsistência Formal. 2016. (Apresentação de Trabalho/Congresso).

6.
TESTA, Rafael ; CONIGLIO, M. E. ; Ribeiro, Márcio M. . Clarifying some rationality criteria of AGM-like paraconsistent belief revision. 2015. (Apresentação de Trabalho/Congresso).

7.
CONIGLIO, M. E.; Esteva, F. ; Godo, Ll. . Paraconsistent and explosive intermediate logics between the truth and degree preserving infinite-valued Łukasiewicz logic. 2015. (Apresentação de Trabalho/Simpósio).

8.
CONIGLIO, M. E.; CARNIELLI, Walter A . From Fidel structures to swap structures for LFIs. 2015. (Apresentação de Trabalho/Congresso).

9.
CONIGLIO, M. E.; PRIETO-SANABRIA, L. . Modal logic S4 as a paraconsistent logic with a topological semantics. 2015. (Apresentação de Trabalho/Conferência ou palestra).

10.
CONIGLIO, M. E.. F-structures and matrix semantics for Logics of Formal Inconsistency. 2014. (Apresentação de Trabalho/Simpósio).

11.
CONIGLIO, M. E.. On the Way to a Wider Model Theory: Completeness Theorems for First-Order Logics of Formal Inconsistency. 2014. (Apresentação de Trabalho/Conferência ou palestra).

12.
CONIGLIO, M. E.. Tarkian-style semantics for paraconsistent and/or paracomplete 3-valued and 4-valued first-order logics. 2014. (Apresentação de Trabalho/Congresso).

13.
CONIGLIO, M. E.. F-structures and swap structures for Logics of Formal Inconsistency. 2014. (Apresentação de Trabalho/Seminário).

14.
CONIGLIO, M. E.. Paraconsistency and undeterminedness in information Systems. 2014. (Apresentação de Trabalho/Congresso).

15.
CONIGLIO, M. E.. On the relationship between tetravalent modal algebras, symmetric Boolean algebras and modal algebras for S5. 2013. (Apresentação de Trabalho/Seminário).

16.
CONIGLIO, M. E.. Paraconsistent Logics or How to Tolerate Contradictions. 2013. (Apresentação de Trabalho/Seminário).

17.
CONIGLIO, M. E.. Admitiendo las contradicciones: Lógicas de la Inconsistencia Formal. 2010. (Apresentação de Trabalho/Seminário).

18.
CONIGLIO, M. E.. I1 and P1 are (and are not) algebraizable with the same quasi-variety. 2007. (Apresentação de Trabalho/Seminário).

19.
CONIGLIO, M. E.. Decomposing logics by possible-translations coverings. 2007. (Apresentação de Trabalho/Seminário).

20.
CONIGLIO, M. E.. Plain fibring of Matrix Semantics. 2006. (Apresentação de Trabalho/Seminário).

21.
CONIGLIO, M. E.. Fibring in the Leibniz Hierarchy. 2006. (Apresentação de Trabalho/Seminário).

22.
CONIGLIO, M. E.. Categorial Semantics. 2000. (Apresentação de Trabalho/Seminário).

23.
CONIGLIO, M. E.. Splicing & Splitting Logics: a Categorial Approach. 2000. (Apresentação de Trabalho/Seminário).

24.
CONIGLIO, M. E.. The Category of Abstract Logics. 2000. (Apresentação de Trabalho/Seminário).

25.
CONIGLIO, M. E.. Um enfoque modelo-teórico das traduções entre lógicas. 2000. (Apresentação de Trabalho/Seminário).

26.
CONIGLIO, M. E.. A Lógica como Linguagem de Representação. 1998. (Apresentação de Trabalho/Seminário).

27.
CONIGLIO, M. E.. Lógica de Feixes Sobre Quantais. 1998. (Apresentação de Trabalho/Seminário).

28.
CONIGLIO, M. E.. Lógica y Categorías. 1998. (Apresentação de Trabalho/Seminário).

29.
CONIGLIO, M. E.. Uma Extensão da Semântica Categórica. 1998. (Apresentação de Trabalho/Seminário).

30.
CONIGLIO, M. E.. Demostración Automática de Teoremas por Tableaux y Aplicaciones a Sistemas Expertos. 1990. (Apresentação de Trabalho/Congresso).

Outras produções bibliográficas
1.
CONIGLIO, M. E.; ESTEVA, FRANCESC ; GISPERT, Joan ; GODO, LLUÍS . Maximality in finite-valued Lukasiewicz logics defined by order filters. Cornell: Cornell University Library, 2018 (Preprint eletrônico).

2.
CONIGLIO, M. E.; GOMEZ, Tadeo G. ; FIGALLO, M. . Some model-theoretic results on the 3-valued paraconsistent first-order logic QCiore. Cornell: Cornell University Library, 2018 (Preprint eletrônico).

3.
CONIGLIO, M. E.; FARIÑAS DEL CERRO, LUIS ; PERON, NEWTON M. . Modal Logic With Non-deterministic Semantics: Part I - Propositional Case. Cornell: Cornell University Library, 2018 (Preprint eletrônico).

4.
CONIGLIO, M. E.; FIGALLO-ORELLANO, Aldo ; Golzio, Ana Claudia . Non-deterministic algebraization of logics by swap structures. Cornell: Cornell University Library, 2017 (Preprint eletrônico).

5.
CONIGLIO, M. E.; Esteva, F. ; Godo, Ll. . Logics of formal inconsistency arising from systems of fuzzy logic. Cornell: Cornell University Library, 2013 (Preprint eletrônico).

6.
CONIGLIO, M. E.; PERON, Newton Marques . Alguns Paradoxos Modais 2006 (Texto Didáctico).

7.
CONIGLIO, M. E.. Introdução à Teoria de Categorias com aplicações à Lógica 2003 (Texto Didáctico).

8.
CONIGLIO, M. E.. Um Curso de teoria de Modelos 2002 (Texto Didáctico).

9.
CONIGLIO, M. E.; MIRAGLIA, Francisco . Modules in the Category of Sheaves Over Quantales. Paris: Équipe de Logique Mathématique, Paris VII, Prépublications no.71, 2000 (Anais).

10.
CONIGLIO, M. E.. Teoria Axiomática de Conjuntos: Uma Introdução 1998 (Texto Didáctico).

11.
CONIGLIO, M. E.. A Lógica dos Feixes sobre Quantais Right-sided e Idempotentes. São Paulo: Instituto de Matemática e Estatística - Universidade de São Paulo, 1997 (Tese de Doutorado).

12.
CONIGLIO, M. E.; MIRAGLIA, Francisco . Equality in Linear Logic. Paris: Équipe de Logique Mathématique, Paris VII, Prépublications no.56, 1996 (Anais).


Produção técnica
Assessoria e consultoria
1.
CONIGLIO, M. E.. Membro do Comitê de Programa do IJCAI-17 (International Joint Conference on Artificial Intelligence). 2017.

2.
CONIGLIO, M. E.. Membro do Comitê de Programa do 12th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2017). 2017.

3.
CONIGLIO, M. E.. Membro do Comitê de Programa do FroCoS 2017 (11th International Symposium on Frontiers of Combining Systems). 2017.

4.
CONIGLIO, M. E.. Coordenador do Comitê Científico da XVIII Brazilian Logic Conference (EBL 2017). 2017.

5.
CONIGLIO, M. E.. Membro do Comitê Científico do Workshop on Weighted Logics for Artificial Intelligence (WL4AI'15). 2015.

6.
CONIGLIO, M. E.. Membro do Comitê Científico do 17th Workshop on Logic, Language, Information and Computation (WoLLIC'2010). 2010.

7.
CONIGLIO, M. E.. Membro do Comitê Científico do Fourth Workshop on Logical and Semantic Frameworks, with Applications (LSFA'09). 2009.

8.
CONIGLIO, M. E.. Membro do Comitê Científico do Evento CLE 30 anos/ XV Encontro Brasileiro de Lógica/XIV Simposio Latinoamericano de Lógica Matemática. 2008.

9.
CONIGLIO, M. E.. Parecerista do Mathematical Reviews (American Mathematical Society). 2008.

10.
CONIGLIO, M. E.. Membro do Comitê Científico do Third Workshop on Logical and Semantic Frameworks, with Applications (LSFA'08). 2008.

11.
CONIGLIO, M. E.. Membro do Comitê Científico do XIV Encontro Brasileiro de Lógica. 2006.

12.
CONIGLIO, M. E.. Membro do Comitê Científico da sessão 'Logical Consequence and its Combinations'-The 2nd Indian International Conference on Artificial Intelligence (IICAI-05). 2005.

13.
CONIGLIO, M. E.. Membro do Comitê Científico do 10th Workshop on Logic, Language, Information and Computation (WoLLIC'2003). 2003.

14.
CONIGLIO, M. E.. Membro do Comitê Científico do III World Congress on Paraconsistency (WCP 3). 2003.

15.
CONIGLIO, M. E.. Membro do Comitê Científico do Third International Workshop COMPUTATIONAL MODELS OF SCIENTIFIC REASONING AND APPLICATIONS (III CMSRA). 2003.

Trabalhos técnicos
1.
CONIGLIO, M. E.. Membro do Comitê de Avaliação do XXIII Concurso de Teses e Dissertações da Sociedade Brasileira de Computação. 2010.

2.
CONIGLIO, M. E.. Referee do periódico International Journal of Mathematics and Mathematical Sciences. 2005.

3.
CONIGLIO, M. E.. Referee do II World Congress on Paraconsistency. 2000.

4.
CONIGLIO, M. E.. Referee do periódico Reports on Mathematical Logic. 1999.

5.
CONIGLIO, M. E.. Referee do periódico Journal of Logic and Computation. 1999.

6.
CONIGLIO, M. E.. Referee dos Proceedings do XI Encontro Brasileiro de Lógica. 1998.


Demais tipos de produção técnica
1.
CONIGLIO, M. E.. Lógicas de la Inconsistencia Formal: Sistemas básicos y semánticas no-determinísticas. 2017. (Curso de curta duração ministrado/Extensão).

2.
CONIGLIO, M. E.. Non-deterministic semantics for non-classical logics. 2017. (Curso de curta duração ministrado/Extensão).

3.
Carnielli, Walter A. ; CONIGLIO, M. E. ; RODRIGUES, A. . An Epistemic Approach to Paraconsistency. 2017. (Curso de curta duração ministrado/Extensão).

4.
CONIGLIO, M. E.. Lógicas Paraconsistentes: Consistencia, Contradicción y Negación. 2016. (Curso de curta duração ministrado/Extensão).

5.
CONIGLIO, M. E.; PERON, Newton Marques . Dugundji's Theorem. 2015. (Curso de curta duração ministrado/Outra).

6.
CONIGLIO, M. E.; CARNIELLI, Walter A . Proof Theory for contemporary logics by handling polinomials over finite fields. 2011. (Curso de curta duração ministrado/Extensão).

7.
CONIGLIO, M. E.. Tópicos de Lógica Avanzada II: Teoria de Modelos y Lógica Modal. 2010. (Curso de curta duração ministrado/Extensão).

8.
CONIGLIO, M. E.. How to Cut and Paste Logical Systems. 2010. (Curso de curta duração ministrado/Extensão).

9.
CONIGLIO, M. E.. Tópicos de Lógica Avanzada: Teoria de Modelos y Lógica Modal. 2009. (Curso de curta duração ministrado/Extensão).

10.
CONIGLIO, M. E.. Category Theory and Logic. 2008. (Curso de curta duração ministrado/Outra).

11.
CONIGLIO, M. E.. Combinações entre Lógicas. 2008. (Curso de curta duração ministrado/Outra).

12.
CONIGLIO, M. E.. Alguns Paradoxos Modais (Mini-Curso Modalidades). 2006. (Curso de curta duração ministrado/Outra).

13.
CONIGLIO, M. E.. Lógica Modal. 2006. (Curso de curta duração ministrado/Extensão).

14.
CONIGLIO, M. E.. Combinação de Lógicas. 2005. (Curso de curta duração ministrado/Outra).

15.
CONIGLIO, M. E.. Logica y Teoria de Categorias. 2003. (Curso de curta duração ministrado/Extensão).

16.
CONIGLIO, M. E.. Topologia Não-comutativa e Teoria de Quantais na Representação de Álgebras C*. 1998. (Curso de curta duração ministrado/Outra).

17.
CONIGLIO, M. E.. Revisión de Creencias. 1991. (Curso de curta duração ministrado/Outra).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
BIANCONI, Ricardo; CONIGLIO, M. E.; LOPES, V. C.. Participação em banca de Jonas Renan Moreira Gomes. Cohomologia de Feixes em Estruturas O-Minimais. 2018. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

2.
Ruffino, Marco; Greimann, Dirk; CONIGLIO, M. E.. Participação em banca de João Vitor Schmidt. Sobre a definição fregeana da Relação Ancestral: considerações lógicas e filosóficas. 2017. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

3.
Carnielli, Walter A.; COSTA-LEITE, A.; CONIGLIO, M. E.. Participação em banca de Edson Vinícius Bezerra. Uma Análise das Bivalorações do Ponto de Vista da Semântica de Sociedades. 2017. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

4.
BIANCONI, Ricardo; CONIGLIO, M. E.; MIRAGLIA, Francisco. Participação em banca de Rafael Russo Setin. Sobre a Infinidade dos Primos, o Princípio da Casa dos Pombos e a Função Exponencial na Aritmética Limitada. 2016. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

5.
BIANCONI, Ricardo; CONIGLIO, M. E.; MIRAGLIA, Francisco. Participação em banca de Henrique Meretti Camargo. Homologia O-minimal: aspectos topológicos de estruturas O-minimais. 2013. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

6.
CONIGLIO, M. E.; CARNIELLI, Walter Alexandre; FEITOSA, Hércules de Araujo. Participação em banca de María Inés Corbalán. Conectivos de restauração local. 2012. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

7.
BIANCONI, Ricardo; CONIGLIO, M. E.; MARIANO, Hugo. Participação em banca de Rodrigo Figueiredo. Um resultado geral de modelo completude de expansões do corpo ordenado dos reais. 2012. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

8.
FEITOSA, Hércules de Araujo; CONIGLIO, M. E.; NASCIMENTO, M. C.. Participação em banca de Ana Claudia de Jesus Golzio. Elementos algébricos para a noção de 'poucos' e sua formalização em sistemas lógicos dedutivos. 2011. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho.

9.
GRACIO, M. C. C.; CONIGLIO, M. E.; SILVESTRINI, L. H.. Participação em banca de Kleidson Êglicio Carvalho da Silva Oliveira. Uma lógica do poucos. 2011. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho.

10.
CONIGLIO, M. E.; FEITOSA, Hércules de Araujo; BUENO, Juliana. Participação em banca de Tarcísio Genaro Rodrigues. Sobre os Fundamentos da Programação Lógica Paraconsistente. 2010. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

11.
CONIGLIO, M. E.; CARNIELLI, Walter A; SAUTTER, Frank Thomas. Participação em banca de Newton Marques Peron. Lógicas da Inconsistência Deôntica. 2009. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

12.
CARNIELLI, Walter A; CONIGLIO, M. E.; COSTA-LEITE, A.. Participação em banca de Pietro Kreitlon Carolino. Polinomização de Lógicas: Problemas e Perspectivas. 2009. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

13.
CARNIELLI, Walter Alexandre; CONIGLIO, M. E.; BIANCONI, Ricardo. Participação em banca de Rodrigo Podiacki Barreto de Menezes. Lógicas da Inconsistência Formal de Primeira Ordem. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

14.
CONIGLIO, M. E.; CARNIELLI, Walter Alexandre; FEITOSA, Hércules de Araujo. Participação em banca de Teófilo de Souza Reis. Conectivos Flexíveis: uma abordagem categorial às Semânticas de Traduções Possíveis. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

15.
CONIGLIO, M. E.; D'OTTAVIANO, Itala Maria Loffreddo; MARANHAO, J.. Participação em banca de Rafael Rodrigues Testa. Dilemas Deônticos: Uma Abordagem Baseada em Relações de Preferência. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

16.
CARNIELLI, Walter Alexandre; CONIGLIO, M. E.; FINGER, Marcelo. Participação em banca de Samir Bezerra Gorsky. A semântica algébrica para as lógicas modais e seu interesse filosófico. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

17.
CONIGLIO, M. E.; FEITOSA, Hércules de Araujo; D'OTTAVIANO, Itala Maria Loffreddo. Participação em banca de Alberto Leopoldo Batista Neto. Representação e combinação de lógicas: questões conceituais. 2007. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

18.
CONIGLIO, M. E.; CARNIELLI, Walter Alexandre; FINGER, Marcelo. Participação em banca de Juan Carlos Agudelo Agudelo. Da computação paraconsistente à computação quântica. 2006. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

19.
MIRAGLIA, Francisco; CONIGLIO, M. E.; BIANCONI, Ricardo. Participação em banca de Vinicius Cifú Lopes. Teoria dos Modelos e a Conjectura de Mordell-Lang. 2005. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

20.
CONIGLIO, M. E.; FEITOSA, Hércules de Araujo; MARIANO, Hugo. Participação em banca de Juliana Bueno. Semântica Algébrica de Traduções Possíveis. 2004. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

21.
CARNIELLI, Walter Alexandre; CONIGLIO, M. E.; MARIANO, Hugo. Participação em banca de Tomás Barrero Guzmán. Lógica Positiva: Plenitude, Potencialidade e Problemas (do pensar sem negação). 2004. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

22.
WASSERMANN, Renata; FINGER, Marcelo; CASTILHO, Marcos Alexandre; CONIGLIO, M. E.. Participação em banca de Joselyto Nawber da Costa Riani. Em Busca de Procedimentos de Inferência Eficientes via Relevância por Sintaxe. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

23.
CARNIELLI, Walter Alexandre; CONIGLIO, M. E.; WASSERMANN, Renata. Participação em banca de Denise Maria Maldonado de Cunha. Crenças não ditas, dito de crenças. 2003. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

24.
BIANCONI, Ricardo; CONIGLIO, M. E.; FINGER, Marcelo. Participação em banca de Flávio Shigeo Yamamoto. Sistemas modais de conhecimento. 2003. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

25.
D'OTTAVIANO, Itala Maria Loffreddo; MARTINS, Ana Teresa; FEITOSA, Hércules de Araujo; CONIGLIO, M. E.. Participação em banca de Mauro César Scheer. Para uma Teoria de Traduções entre Lógicas Cumulativas. 2002. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

26.
MORENO, Arley Ramos; IBRI, Ivo Assad; CARNIELLI, Walter Alexandre; CONIGLIO, M. E.. Participação em banca de Cassiano Terra Rodrigues. Lógica e Investigação. 2001. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

27.
CONIGLIO, M. E.; D'OTTAVIANO, Itala Maria Loffreddo; LUCIANO, Odilón Otávio. Participação em banca de Luís Augusto Sbardellini. Semântica Categorial Generalizada. 2001. Dissertação (Mestrado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

28.
CONIGLIO, M. E.; WASSERMANN, Renata; CARNIELLI, Walter Alexandre. Participação em banca de Víctor Leandro Fernández. Semântica de Sociedades para Lógicas n-valoradas. 2001. Dissertação (Mestrado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

29.
CARNIELLI, Walter Alexandre; CONIGLIO, M. E.; BÉZIAU, Jean Yves. Participação em banca de João Marcos de Almeida. Semântica de Traduções Possíveis. 1999. Dissertação (Mestrado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

Teses de doutorado
1.
CONIGLIO, M. E.; FERREIRA, Marcelo Barra; PAGANI, Luiz Arthur; FINGER, Marcelo; Ruffino, Marco. Participação em banca de María Inés Corbalán. From Generative Linguistics to Categorial Grammars: Overt Subjects in Control Infinitives. 2018. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

2.
CONIGLIO, M. E.; SAUTTER, Frank Thomas; FREIRE, Rodrigo de Alvarenga; SOUZA, E.; VENTURI, Giorgio. Participação em banca de Bruno Ramos Mendonça. Traditional theory of semantic information without scandal of deduction: A moderately externalist reassessment of the topic based on urn semantics. 2018. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

3.
MARANHAO, J.; CONIGLIO, M. E.; SOUZA, E.; BOITEUX, Elza. A. P. C.; ALMEIDA, Guilherme A.. Participação em banca de Fabricio Vasconcelos Gomes. Regras como argumentos: uma análise lógica. 2017. Tese (Doutorado em Direito) - Universidade de São Paulo.

4.
CONIGLIO, M. E.; FERME, Eduardo.; MAGOSSI, José C.; SILVESTRINI, L. H.; WASSERMANN, Renata. Participação em banca de Kleidson Êglicio Carvalho da Silva Oliveira. Programação Lógica Paraconsistente em Lógicas Três e Quatro Valoradas. 2017. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

5.
CONIGLIO, M. E.; FEITOSA, Hércules de Araujo; MARIANO, Hugo; RUSSO, Ciro; PERON, Newton Marques. Participação em banca de Ana Claudia de Jesus Golzio. Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics. 2017. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

6.
FIGALLO, A.; CONIGLIO, M. E.; CELANI, S.. Participação em banca de Inés Beatriz Pascual. Álgebras de Lukasiewicz-Moisil theta-valuadas. 2016. Tese (Doutorado em Matemática) - Universidad Nacional del Sur.

7.
D'OTTAVIANO, Itala Maria Loffreddo; CONIGLIO, M. E.; FEITOSA, Hércules de Araujo; SOUZA, E.; SUGUITANI, L. O.. Participação em banca de Angela Pereira Rodrigues Moreira. Sobre traduções entre lógicas: relações entre traduções conservativas e traduções contextuais abstratas. 2016. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

8.
MARIANO, Hugo; CONIGLIO, M. E.; BIANCONI, Ricardo; BRUNNER, A. M.; FREIRE, Rodrigo de Alvarenga. Participação em banca de Darllán Conceição Pinto. A categorical foundation for a representation theory of logic. 2016. Tese (Doutorado em Matemática) - Universidade de São Paulo.

9.
CASTIGLIONE, J. L.; CELANI, S.; CONIGLIO, M. E.. Participação em banca de María A. Jimenez. Una contribución al desarrollo de los qM3-retículos. 2016. Tese (Doutorado em Matemática) - Universidad Nacional del Sur.

10.
DORIA, F. A.; CHAITIN, Gregory. J.; KRAUSE, Décio; Coniglio, Marcelo Esteban; GOMES, Mércio P.. Participação em banca de Felipe Sobreira Abrahão. Metabiologia, Subcomputação e Hipercomputação: Em direção a uma teoria geral de evolução de sistemas. 2015. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

11.
CELANI, S.; CONIGLIO, M. E.; JANSANA, R.. Participação em banca de Gustavo Andrés Pelaitay. Un estudio algebraico de operadores temporales definibles en versiones algebraicas de diversas lógicas. 2015. Tese (Doutorado em Matemática) - Universidad Nacional del Sur.

12.
CONIGLIO, M. E.; FARIÑAS DEL CERRO, L.; MORTARI, C.; FINGER, Marcelo; Carnielli, Walter A.. Participação em banca de Newton Marques Peron. (In)Completude Modal por (N)Matrizes Finitas. 2014. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

13.
TAUSK, D.; MIRAGLIA, Francisco; VELOSO, Paulo; CONIGLIO, M. E.; SILVA, Samuel Gomes da. Participação em banca de Rodrigo de Alvarenga Freire. Teoria das Funções de Primeira Ordem. 2014. Tese (Doutorado em Matemática) - Universidade de São Paulo.

14.
CONIGLIO, M. E.; Carnielli, Walter A.; CHIBENI, Silvio S.; SANZ, Wagner; WASSERMANN, Renata. Participação em banca de Rafael Testa. Revisão de crenças paraconsistente baseada em um operador formal de consistência. 2014. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

15.
Esteves, L.G.; Stern, J.M.; CONIGLIO, M. E.; Leite, J.G; Diniz, M.A.. Participação em banca de Gustavo Miranda da Silva. Propriedades Lógicas de Classes de Testes de Hipóteses. 2014. Tese (Doutorado em Doutorado em Estatistica) - Universidade de São Paulo.

16.
BONELLI, Eduardo; ARECES, Carlos; Coniglio, Marcelo E.. Participação em banca de Gabriela Steren. Dos temas en reescritura: combinadores para cálculos con patrones e isomorfismo de Curry-Howard para la Lógica de Pruebas. 2014. Tese (Doutorado em Doutorado em Computação) - Universidad de Buenos Aires.

17.
ANGIONI, L.; CONIGLIO, M. E.; SANTOS, Pedro de Moraes; ZANUZZI, Inara; ZILLIG, Raphael. Participação em banca de Mateus Ricardo Fernandes Ferreira. A Lógica de Aristóteles: problemas interpretativos e abordagens contemporâneas dos "Primeiros Analíticos". 2012. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

18.
JUNQUEIRA, Lúcia Renato; CONIGLIO, M. E.; BIANCONI, Ricardo; PASSOS, Marcelo; AURICHI, Leandro. Participação em banca de Alberto Marcelino Efigênio Levi. Reflexão de funções cardinais. 2012. Tese (Doutorado em Matemática) - Universidade de São Paulo.

19.
SCANLON, T.; MIRAGLIA, Francisco; CONIGLIO, M. E.; RINCON, Mauricio Ayala. Participação em banca de Eudes Naziazeno Galvão. Sobre uma classe de anéis QFA ("A class of QFA rings", em inglês). 2011. Tese (Doutorado em Matemática) - Universidade Federal de Pernambuco.

20.
CONIGLIO, M. E.; COSTA-LEITE, A.; FEITOSA, Hércules de Araujo; SOUZA, E.; BUENO, Juliana. Participação em banca de Luiz Henrique da Cruz Silvestrini. Uma Nova Abordagem para a Noção de Quase-Verdade. 2011. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

21.
CONIGLIO, M. E.; FIDEL, M.. Participação em banca de Paolo Landini. Extensiones monádicas de las álgebras de Ockham. 2011. Tese (Doutorado em Matemática) - Universidad Nacional del Sur.

22.
CARNIELLI, Walter Alexandre; CONIGLIO, M. E.; FINGER, Marcelo; Pessoa Jr., O. F.; de Oliveira, Marcos C.. Participação em banca de Juan Carlos Agudelo Agudelo. Computação Paraconsistente: Uma Abordagem Lógica à Computação Quântica. 2009. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

23.
CONIGLIO, M. E.; Moniz pereira, L.; Damásio, C.; RASGA, João; Alferes, J.; Porto, A.; Vasconcelos, V.. Participação em banca de João Fernando Lima Alcântara. Paraconsistency, Disjunction and Uncertainty in Logic Programming: A Unifying Approach Based on Well-Founded Semantics. 2008. Tese (Doutorado em Engenharia Informática) - Universidade Nova de Lisboa.

24.
CONIGLIO, M. E.; BIANCONI, Ricardo; QUEIROZ, Ruy José de; MIRAGLIA, Francisco; SALGADO, L.R.B.. Participação em banca de Emmanuel Felix Lopes da Silva. Caracterização Aritmética em Primeira Ordem de Funções Computáveis em Espaço Polinomial. 2008. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

25.
CONIGLIO, M. E.; MARTINS, M.; CALEIRO, Carlos; Alferes, J.; SERNADAS, Cristina; RAMOS, J.; SERNADAS, Amílcar. Participação em banca de Ricardo Gonçalves. Behavioral algebraization of logics. 2008. Tese (Doutorado em Matemática) - Instituto Superior Técnico da UTL.

26.
JUNQUEIRA, Lúcia Renato; BIANCONI, Ricardo; CONIGLIO, M. E.; D'OTTAVIANO, Itala Maria Loffreddo; SILVA, Samuel Gomes da. Participação em banca de Marcelo Dias Passos. Extensões de submodelos elementares por forcing. 2007. Tese (Doutorado em Matemática) - Universidade de São Paulo.

27.
CONIGLIO, M. E.; PEREIRA, Luiz Carlos; ALVES, Daniel Durante Pereira; ERTOLA, Rodolfo; SILVA, Geiza Hamazaki da. Participação em banca de Wagner Sanz. Uma investigação acerca das regras para a negação e o absurdo em Dedução Natural. 2006. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

28.
CONIGLIO, M. E.; CARNIELLI, Walter Alexandre; BIANCONI, Ricardo; HAEUSLER, Edward Hermann; MARIANO, Hugo. Participação em banca de Luís Augusto Sbardellini. O Continuum, os Reais e o Conceito de Homogeneidade. 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

29.
CONIGLIO, M. E.; FINGER, Marcelo; D'OTTAVIANO, Itala Maria Loffreddo; CATUOGNO, Pedro José; VELOSO, Paulo. Participação em banca de Víctor Leandro Fernández. Fibrilação de Lógicas na Hierarquia de Leibniz. 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

30.
CARNIELLI, Walter Alexandre; FINGER, Marcelo; SAUTTER, Frank Thomas; RASGA, João; KRAUSE, Décio; CALEIRO, Carlos; CONIGLIO, M. E.. Participação em banca de João Marcos de Almeida. Logics of Formal Inconsistency. 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

31.
BIANCONI, Ricardo; D'OTTAVIANO, Itala Maria Loffreddo; CONIGLIO, M. E.; MARTIN, Paulo Agozzini; QUEIROZ, Ruy José de. Participação em banca de Leonardo Prieto Sanabria. Teoria de modelos de corpos p-ádicos com funções analíticas. 2004. Tese (Doutorado em Matemática) - Universidade de São Paulo.

32.
TOMITA, Artur; D'OTTAVIANO, Itala Maria Loffreddo; DACCACH, Janey Antonio; CONIGLIO, M. E.; ALAS, Ofélia Teresa. Participação em banca de Irene Castro Pereira. Topologia emuneravelmente compactas em grupos abelianos. 2004. Tese (Doutorado em Matemática) - Universidade de São Paulo.

33.
JUNQUEIRA, Lúcia Renato; TOMITA, Artur; DACCACH, Janey Antonio; D'OTTAVIANO, Itala Maria Loffreddo; FEITOSA, Hércules de Araujo; CONIGLIO, M. E.. Participação em banca de Samuel Gomes da Silva. Alguns resultados envolvendo cardinais e uma determinada propriedade topológica. 2004. Tese (Doutorado em Matemática) - Universidade de São Paulo.

34.
HAEUSLER, Edward Hermann; CONIGLIO, M. E.; PEREIRA, Luiz Carlos; RINCON, Mauricio Ayala; VELOSO, Paulo. Participação em banca de Geiza Hamazaki da Silva. Síntese Construtiva de Programas em Teorias Intuicionistas. 2004. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

35.
SALDANHA, Nicolau; CONIGLIO, M. E.; SEELY, Robert. Participação em banca de Eduardo Ochs. A system of natural deduction for categories. 2003. Tese (Doutorado em Matemática) - Pontifícia Universidade Católica do Rio de Janeiro.

36.
D'OTTAVIANO, Itala Maria Loffreddo; HAEUSLER, Edward Hermann; SAUTTER, Frank Thomas; CONIGLIO, M. E.; CHATEAUBRIAND, Oswaldo. Participação em banca de Rodolfo Cristian Ertola Birabén. Questões Conceituais de Computabilidade. 2001. Tese (Doutorado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

37.
PEREIRA, Luiz Carlos; HAEUSLER, Edward Hermann; CORREA, Marcelo; CONIGLIO, M. E.; CHATEAUBRIAND, Oswaldo. Participação em banca de Maria da Paz Nunes de Medeiros. Traduções via Teoria da Prova: Aplicações à Lógica Linear. 2001. Tese (Doutorado em Filosofia) - Pontifícia Universidade Católica do Rio de Janeiro.

38.
D'OTTAVIANO, Itala Maria Loffreddo; CARNIELLI, Walter Alexandre; ROMANO, Roberto; COSTA, Newton da; CONIGLIO, M. E.. Participação em banca de Frank Thomas Sautter. O Argumento Ontológico Gödeliano para a Existência de Deus. 2000. Tese (Doutorado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

39.
MIRAGLIA, Francisco; CONIGLIO, M. E.. Participação em banca de Andreas Bernhard Michael Brunner. O Método das Constantes na Teoria dos Modelos em Feixes sobre uma Álgebra de Heyting. 2000. Tese (Doutorado em Matemática) - Universidade de São Paulo.

40.
D'OTTAVIANO, Itala Maria Loffreddo; CARNIELLI, Walter Alexandre; MASSI, Cosme Damião Bastos; PEREIRA, Luiz Carlos; QUEIROZ, Ruy José de; CONIGLIO, M. E.. Participação em banca de Daniel Durante Pereira Alves. Normalização Forte via Ordinal Natural. 1999. Tese (Doutorado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

Qualificações de Doutorado
1.
D'OTTAVIANO, Itala Maria Loffreddo; Coniglio, Marcelo Esteban; FEITOSA, Hércules de Araujo. Participação em banca de Ângela Pereira Rodrigues Moreira. Sobre traduções entre lógicas: relações entre traduções conservativas e traduções contextuais. 2015. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

2.
CONIGLIO, M. E.; FEITOSA, Hércules de Araujo; ERTOLA, Rodolfo. Participação em banca de Ana Claudia de Jesus Golzio. Matrizes não determinísticas: Teoria e aplicações à semântica algébrica. 2015. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

3.
CONIGLIO, M. E.; SILVESTRINI, L. H.; FINGER, Marcelo. Participação em banca de Kleidson Êglicio Carvalho da Silva Oliveira. Bases para Programação Lógica Paraconsistente em Lógicas Multivaloradas. 2015. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

4.
MARIANO, Hugo; CONIGLIO, M. E.; ARNDT, Peter. Participação em banca de Darllan Conceição Pinto. Teoria de Representação de Lógicas: Uma abordagem categorial. 2014. Exame de qualificação (Doutorando em Doutorado em Matemática) - Universidade de São Paulo.

5.
CONIGLIO, M. E.; Carnielli, Walter A.; MORETTO-RIBEIRO, M.. Participação em banca de Rafael Rodrigues Testa. Aspectos de Revisão de Crenças sobre Lógicas da Inconsistência Formal. 2012. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

6.
CONIGLIO, M. E.; COSTA-LEITE, A.; CARNIELLI, Walter A. Participação em banca de Luiz Henrique da Cruz Silvestrini. Quantificadores Generalizados, Semântica de Sociedades e a Quase-verdade. 2010. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

7.
ANGIONI, L.; MOREIRA, V. C.; CONIGLIO, M. E.. Participação em banca de Mateus Ricardo Fernandes Ferreira. Essencialismo, necessidade e explicação em Aristóteles. 2010. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

8.
CONIGLIO, M. E.; SILVA, J.; TAUSK, D.; MARIANO, Hugo. Participação em banca de Rodrigo de Alvarenga Freire. Os fundamentos do pensamento matemático no século XX e a relevância fundacional da teoria de modelos. 2008. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

9.
D'OTTAVIANO, Itala Maria Loffreddo; CONIGLIO, M. E.; PIZZI, C.. Participação em banca de Juliana Bueno. Multimodalidades anódicas e catódicas: a negação controlada em lógicas multimodais e seu poder expressivo. 2008. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

10.
CONIGLIO, M. E.; D'OTTAVIANO, Itala Maria Loffreddo; CATUOGNO, Pedro José. Participação em banca de Víctor Leandro Fernández. Fibrilação de Lógicas na Hierarquia de Leibniz. 2005. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

11.
CONIGLIO, M. E.; MARIANO, Hugo; BIANCONI, Ricardo. Participação em banca de Luís Augusto Sbardellini. Magnitudes variando continuamente: o Continuum, os reais e a homogeneidade. 2004. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

12.
CONIGLIO, M. E.; PEREIRA, Luiz Carlos; ALVES, Daniel Durante Pereira. Participação em banca de Wagner Sanz. Dedução Natural para a Lógica Intuicionista. 2003. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

13.
D'OTTAVIANO, Itala Maria Loffreddo; CONIGLIO, M. E.; FEITOSA, Hércules de Araujo. Participação em banca de Tadeu Fernandes de Carvalho. Sobre o Cálculo Diferencial Paraconsistente de da Costa. 2003. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

14.
BIANCONI, Ricardo; CONIGLIO, M. E.; MIRAGLIA, Francisco. Participação em banca de Leonardo Prieto Sanabria. Teoria de modelos de corpos p-ádicos com funções analíticas. 2002. Exame de qualificação (Doutorando em Matemática) - Universidade de São Paulo.

Trabalhos de conclusão de curso de graduação
1.
CONIGLIO, M. E.; CARNIELLI, Walter A; COSTA-LEITE, A.. Participação em banca de Diego Amaro Varela.Lógica Paraconsistente, Lógicas da Inconsistência Formal e Dialeteismo. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Filosofia) - Universidade Estadual de Campinas.

2.
CONIGLIO, M. E.; CARNIELLI, Walter Alexandre; D'OTTAVIANO, Itala Maria Loffreddo. Participação em banca de Newton Marques Peron.Paradoxos Modais e Lógicas da Inconsistência Formal. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Filosofia) - Universidade Estadual de Campinas.

3.
CONIGLIO, M. E.; CARNIELLI, Walter Alexandre; D'OTTAVIANO, Itala Maria Loffreddo. Participação em banca de Rafael Testa.Uma Análise de Algumas Lógicas Deônticas para a Representação de Normas Jurídicas. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Filosofia) - Universidade Estadual de Campinas.

Outros tipos
1.
CONIGLIO, M. E.; CARNIELLI, Walter Alexandre; D'OTTAVIANO, Itala Maria Loffreddo. Participação em banca de Paulo Petrillo. Lógicas Moduladas como Fundamento para o Raciocínio Difuso. 2005. Outra participação, Universidade Estadual de Campinas.

2.
CONIGLIO, M. E.; MARIANO, Hugo; CARNIELLI, Walter Alexandre. Participação em banca de Peter Arndt. Finitude em Topos. 2005. Outra participação, Universidade Estadual de Campinas.

3.
CONIGLIO, M. E.; FEITOSA, Hércules de Araujo; MARIANO, Hugo. Participação em banca de Juliana Bueno. Semântica Algébrica de Traduções Possíveis. 2004. Outra participação, Universidade Estadual de Campinas.

4.
CARNIELLI, Walter Alexandre; CONIGLIO, M. E.; MARIANO, Hugo. Participação em banca de Tomás Barrero Guzmán. Lógica Positiva: Plenitude, Potencialidade e Problemas (do pensar sem negação). 2004. Outra participação, Universidade Estadual de Campinas.

5.
CARNIELLI, Walter Alexandre; CONIGLIO, M. E.; WASSERMANN, Renata. Participação em banca de Denise Maria Maldonado de Cunha. Crenças não ditas, dito de crenças. 2002. Outra participação, Universidade Estadual de Campinas.

6.
MORENO, Arley Ramos; CONIGLIO, M. E.; CARNIELLI, Walter Alexandre. Participação em banca de Cassiano Terra Rodrigues. Lógica e Investigação. 2000. Outra participação, Universidade Estadual de Campinas.

7.
CONIGLIO, M. E.; D'OTTAVIANO, Itala Maria Loffreddo; LUCIANO, Odilón Otávio. Participação em banca de Luís Augusto Sbardellini. Semântica Categorial Generalizada. 2000. Outra participação, Universidade Estadual de Campinas.

8.
CONIGLIO, M. E.; WASSERMANN, Renata; CARNIELLI, Walter Alexandre. Participação em banca de Víctor Leandro Fernández. Semântica de Sociedades para Lógicas n-valoradas. 2000. Outra participação, Universidade Estadual de Campinas.



Participação em bancas de comissões julgadoras
Concurso público
1.
CIGNOLI, Roberto; CONIGLIO, M. E.; GRANITTO, Pablo. Concurso de Ingresso na carreira Docente - Professor Adjunto. 2016. Universidad de Buenos Aires.

2.
CONIGLIO, M. E.; KAUARK, Patrícia; XAVIER, Túlio. Concurso de Promoção na carreira Docente - Professor Associado. 2016. Universidade Federal de Minas Gerais.

3.
SILVA, Samuel Gomes da; BIANCONI, Ricardo; CONIGLIO, M. E.. Concurso de Ingresso na carreira Docente - Professor Adjunto. 2014. Universidade Federal da Bahia.

4.
PASSOS, Marcelo; CONIGLIO, M. E.; SOUZA, Fernando. Concurso de Ingresso na carreira Docente - Professor Adjunto. 2013. Universidade Federal da Bahia.

5.
BRUNNER, A. M.; CONIGLIO, M. E.; MARIANO, Hugo. Concurso de Ingresso na Carreira Docente - Professor Adjunto. 2010. Universidade Federal da Bahia.

6.
Chaves-Tannús, M.; CONIGLIO, M. E.; CARNIELLI, Walter Alexandre. Concurso de Ingresso na Carreira Docente - professor Doutor. 2009. Universidade Federal de Uberlândia.

7.
VERDERESI, J. A.; JUNQUEIRA, Lúcia Renato; CONIGLIO, M. E.; CAPUTI, A.; SILVA, Samuel Gomes da. Concurso de Ingresso na Carreira Docente - professor Doutor. 2008. Universidade de São Paulo.

8.
TERADA, Routo; CONIGLIO, M. E.; COSTA, Ana Helena Reali; FINGER, Marcelo; MONARD, Maria Carolina. Concurso de Ingresso na Carreira Docente - professor Doutor. 2005. Universidade de São Paulo.

9.
BIANCONI, Ricardo; CONIGLIO, M. E.; CARNIELLI, Walter A. Banca de Processo Seletivo (para professor Doutor). 2002. Universidade de São Paulo.

Livre docência
1.
Coniglio, Marcelo E.; ANGIONI, L.; Leclerc, André; MORTARI, C.; Imaguire, Guido. Concurso para obtenção do Título de Livre Docente em Filosofia, na área de Filosofia da Linguagem. 2015. Universidade Estadual de Campinas.

2.
CONIGLIO, M. E.; CHIBENI, Silvio S.; MARQUES, Marcelo P.; BOLZANI, Roberto; CUTER, João V.. Concurso para obtenção do Título de Livre Docente em Filosofia, na área de História da Filosofia. 2014. Universidade Estadual de Campinas.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
17th Latin American Symposium on Mathematical Logic (XVII SLALM).On Three-Valued Paraconsistent Logic Programming. 2017. (Simpósio).

2.
First Joint Meeting Brazil-Italy in Mathematics.Towards Non-deterministic algebraic semantics. 2016. (Encontro).

3.
Logic and Applications: in honor to Francisco Miraglia by the occasion of his 70th birthday.Swap structures: algebraizing logics by means of multialgebras. 2016. (Oficina).

4.
XVII Encontro Nacional da ANPOF.Uma nova taxonomia das Lógicas da Inconsistência Formal. 2016. (Encontro).

5.
9th Principia International Symposium.Paraconsistent and explosive intermediate logics between the truth and degree preserving infinite-valued Łukasiewicz logic. 2015. (Simpósio).

6.
First Joint Meeting Brazil-Spain in Mathematics.Modal logic S4 as a paraconsistent logic with a topological semantics. 2015. (Encontro).

7.
II Workshop CLE / Buenos Aires Logic Group.Consistency, Contradiction and Negation: a thorough project. 2015. (Oficina).

8.
NAT@Logic 2015. From Fidel structures to swap structures for LFIs. 2015. (Congresso).

9.
UNILOG'2015: 5th World Congress and School on Universal Logic. Clarifying some rationality criteria of AGM-like paraconsistent belief revision. 2015. (Congresso).

10.
16th Latin American Symposium on Mathematical Logic.F-structures and matrix semantics for Logics of Formal Inconsistency. 2014. (Simpósio).

11.
17th Brazilian Logic Conference (EBL 2014).Non-Deterministic Matrices for Modal Logic. 2014. (Encontro).

12.
17th Brazilian Logic Conference (EBL 2014).Fidel structures and swap structures for mbC. 2014. (Encontro).

13.
CESIMA Anno XX - Crossing Oceans: Exchange of Products, Instruments, and Procedures in the History of Chemistry and Related Sciences. Paraconsistency and undeterminedness in information Systems. 2014. (Congresso).

14.
I Workshop CLE / Buenos Aires Logic Group.On the way to a wider model theory: Completeness theorems for first-order Logics of Formal Inconsistency. 2014. (Oficina).

15.
Seminari de Lògiques No Clàssiques.F-structures and swap structures for Logics of Formal Inconsistency. 2014. (Seminário).

16.
XVI Encontro Nacional ANPOF.Tarkian-style semantics for paraconsistent and/or paracomplete 3-valued and 4-valued first-order logics. 2014. (Encontro).

17.
4th World Congress and School on Universal Logic. Safe Fibring or How to Revise Logic Systems. 2013. (Congresso).

18.
Seminari de Lògiques No Clàssiques.On the relationship between tetravalent modal algebras, symmetric Boolean algebras and modal algebras for S5. 2013. (Seminário).

19.
Seminars of IIIA - CSIC.Paraconsistent Logics or How to Tolerate Contradictions. 2013. (Seminário).

20.
VIII Simpósio Internacional Principia.New Results on the logics mbC and mCi. 2013. (Simpósio).

21.
15th Latin American Symposium on Mathematical Logic (XV SLALM).Paraconsistent First-Order Logic. 2012. (Simpósio).

22.
XV Encontro Nacional de Filosofia da ANPOF.Sobre a Lógica Tetravalente Modal de Monteiro. 2012. (Encontro).

23.
VII Simpósio Internacional Principia.Uma lógica para a quase-verdade: Axiomática, semântica de estruturas parciais e completude. 2011. (Simpósio).

24.
XVI EBL - Encontro Brasileiro de Lógica. Paraconsistent set theory by predicating on consistency. 2011. (Congresso).

25.
Science, Truth and Consistency - CLE/AIPS Event. Some central problems in the combination of logics. 2009. (Congresso).

26.
Fourth World Congress of Paraconsistency (WCP4). A paraconsistentist approach to deontic paradoxes. 2008. (Congresso).

27.
Fourth World Congress of Paraconsistency (WCP4). On discourses addressed by infidel logicians. 2008. (Congresso).

28.
XIII Encontro Nacional de Pós-Graduação em Filosofia.GT Lógica. 2008. (Encontro).

29.
XIII Encontro Nacional de Pós-Graduação em Filosofia.Metalógica de argumentações baseada na noção de peso argumentativo. 2008. (Encontro).

30.
13th International Congress of Logic, methodology and Philosophy of Science (LMPS'07). Logic of Deontic Inconsistency. 2007. (Congresso).

31.
XI Colóquio Conesul de Filosofia das Ciências Formais.Lógicas da inconsistência formal e negações paraconsistentes. 2007. (Encontro).

32.
XIII Jornadas de Epistemología de las Ciencias Económicas. (De) Construcción de sistemas lógicos a través de combinaciones. 2007. (Congresso).

33.
XII Encontro Nacional de Filosofia da ANPOF. Combinar e Decompor Lógicas: Como e por que?. 2006. (Congresso).

34.
XIII Latin American Symposium on Mathematical Logic. Combining and Uncombining Logics. 2006. (Congresso).

35.
XIV Encontro Brasileiro de Lógica. Polynomial Formulations of Non-Deterministic Semantics for Logics of Formal Inconsistency. 2006. (Congresso).

36.
XIV Encontro Brasileiro de Lógica. An Introductory Study about the Many-valued Hierarchy InPk. 2006. (Congresso).

37.
2005-06 Association for Symbolic Logic Winter Meeting. Meta-translations and fibring. 2005. (Congresso).

38.
2nd Indian International Conference on Artificial Intelligence (IICAI 2005). Plain fibring and direct union of logics with matrix semantics. 2005. (Congresso).

39.
Workshop Semantics and Meaning.Splitting logics: factoring logics into simpler components. 2005. (Encontro).

40.
Workshop on Combination on Logics: Theory and Applications (CombLog'04). Fibring algebraizable consequence systems. 2004. (Congresso).

41.
III World Congress on Paraconsistency (WCP3). Dyadic semantics for many-valued logics. 2003. (Congresso).

42.
Meeting on the Theory and Applications of Quantales.Representing C*-algebras in topoi of sheaves over quantales. 2002. (Encontro).

43.
Logic Colloquium 2001: ASL European Summer Meeting. Representation of C*-algebras by Sheaves over Quantales. 2001. (Congresso).

44.
Logic Colloquium 2001: ASL European Summer Meeting. Belief Revision for Non-Classical Logics. 2001. (Congresso).

45.
7th Workshop on Logic, Language, Information and Computation (WoLLIC'2000). A Model-Theoretic Approach to Translations between Logics. 2000. (Congresso).

46.
II World Congress on Paraconsistency (WCP'2000). Fibring (Para)consistent logics. 2000. (Congresso).

47.
IX Encontro Nacional de Filosofia - ANPOF. Uma restrição relevantista da lógica clássica. 2000. (Congresso).

48.
IX Encontro Nacional de Filosofia da ANPOF. Teoria de Modelos e Traduções. 2000. (Congresso).

49.
Logic Colloquium 2000: ASL European Summer Meeting. Fibring (Para)Consistent Logics. 2000. (Congresso).

50.
XII Encontro Brasileiro de Lógica '99. Non-Commutative Topology and Quantales. 1999. (Congresso).

51.
Pratica 98 (Proofs, Types and Categories).Linear Logic and Identity. 1998. (Encontro).

52.
VIII Encontro Nacional de Filosofia da ANPOF.Quantais, Lógica e Matemática. 1998. (Seminário).

53.
4th Workshop on Logic, Language, Information and Computation (WoLLIC'97). A Logic for Sheaves Over Quantales. 1997. (Congresso).

54.
Pratica 96 (Proofs, Types and Categories).A Logic for Sheaves Over (Right-Sided and Idempotent) Quantales. 1996. (Encontro).

55.
Pratica 95 (Proofs, Types and Categories.Equality in Linear Logic. 1995. (Encontro).

56.
Col\'oquios Filosóficos SADAF/91.Obtención de Respuestas en Sistemas Expertos a partir de Completaciones. 1991. (Encontro).


Organização de eventos, congressos, exposições e feiras
1.
CONIGLIO, M. E.; D'OTTAVIANO, Itala Maria Loffreddo ; SANZ, Wagner . XVIII Brazilian Logic Conference (EBL 2017). 2017. (Congresso).

2.
CONIGLIO, M. E.; LOPES, V. C. ; MARIANO, Hugo . Logic and Applications: in honor to Francisco Miraglia by the occasion of his 70th birthday. 2016. (Congresso).

3.
CONIGLIO, M. E.; SILVA, Samuel Gomes da . Special Session "Mathematical logic and set theory" - First Joint Meeting Brazil-Spain in Mathematics. 2015. (Congresso).

4.
Carnielli, Walter A. ; CONIGLIO, M. E. ; Barrio, Eduardo . Second Workshop CLE - Buenos Aires Logic Group. 2015. (Congresso).

5.
CARNIELLI, Walter A ; CONIGLIO, M. E. . LFIS^15-Workhop on the 15 years of the LFIs (integrante do NAT@Logic 2015 Congress). 2015. (Congresso).

6.
CARNIELLI, Walter A ; CONIGLIO, M. E. ; BUENO, Juliana . Workshop Thinking and Rationality (integrante do 4th World Congress and School on Universal Logic). 2013. (Congresso).

7.
CONIGLIO, M. E.. Science, Truth and Consistency - CLE/AIPS Event. 2009. (Congresso).

8.
CARNIELLI, Walter A ; CONIGLIO, M. E. ; D'OTTAVIANO, Itala Maria Loffreddo . CLE 30 anos/XV Encontro Brasileiro de Lógica/XIV Simposio Latinoamericano de Lógica Matemática. 2008. (Congresso).

9.
CARNIELLI, Walter Alexandre ; CONIGLIO, M. E. ; D'OTTAVIANO, Itala Maria Loffreddo . Workshop Semantics and Meaning. 2005. (Congresso).

10.
CARNIELLI, Walter Alexandre ; CONIGLIO, M. E. ; MATEUS, Paulo ; MOSSAKOWSKI, Till ; SERNADAS, Amílcar . Workshop on Combination on Logics: Theory and Applications (CombLog'04). 2004. (Congresso).

11.
CARNIELLI, Walter Alexandre ; CONIGLIO, M. E. ; D'OTTAVIANO, Itala Maria Loffreddo . XIII Encontro Brasileiro de Lógica. 2003. (Congresso).

12.
CARNIELLI, Walter Alexandre ; CONIGLIO, M. E. ; D'OTTAVIANO, Itala Maria Loffreddo . II World Congress on Paraconsistency. 2000. (Congresso).

13.
CONIGLIO, M. E.. 7th Workshop on Logic, Language, Information and Computation. 2000. (Congresso).



Orientações



Orientações e supervisões em andamento
Tese de doutorado
1.
Guilherme Vicentin de Toledo. Semânticas não-determinı́sticas para lógicas não-clássicas: Uma abordagem desde a perspectiva de Teoria de Modelos e da Álgebra Universal. Início: 2018. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

2.
Tadeo Germán Gomez Pereira. Teoria de Modelos en Lógicas 3-valoradas y 4-valoradas. Início: 2014. Tese (Doutorado em Matemática) - Universidad Nacional del Sur, Consejo Nacional de Investigaciones Científicas y Técnicas. (Orientador).

Supervisão de pós-doutorado
1.
Ana Claudia de Jesús Golzio. Um estudo formal da semântica de multiálgebras para lógicas não-clássicas. Início: 2018. Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico.

2.
Aldo Figallo-Orellano. Semânticas não-determinísticas para as Lógicas da Inconsistência Formal. Início: 2016. Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo.

3.
Rafael Rodrigues Testa. Avanços e novas perspectivas em Revisão de Crenças Paraconsistente. Início: 2015. Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo.


Orientações e supervisões concluídas
Dissertação de mestrado
1.
María Inés Corbalán. Conectivos de restauração local. 2012. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Esteban Coniglio.

2.
Tarcísio Genaro Rodrigues. Sobre os Fundamentos da Programação Lógica Paraconsistente. 2010. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Marcelo Esteban Coniglio.

3.
Newton Marques Peron. Lógicas da Inconsistência Deôntica. 2009. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Esteban Coniglio.

4.
Teófilo de Souza Reis. Conectivos flexíveis: uma abordagem categorial às semânticas de traduções possíveis e à noção de forma lógica. 2008. 0 f. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Marcelo Esteban Coniglio.

5.
Rafael Rodrigues Testa. Dilemas deônticos: uma abordagem baseada em relações de preferência. 2008. 0 f. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Esteban Coniglio.

6.
Alberto Leopoldo Batista Neto. Representação e combinação de lógicas: questões conceituais. 2007. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Marcelo Esteban Coniglio.

7.
Juliana Bueno. Semântica Algébrica de Traduções Possíveis. 2004. 0 f. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marcelo Esteban Coniglio.

8.
Luís Augusto Sbardellini. Semântica Categorial Generalizada. 2001. 0 f. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Marcelo Esteban Coniglio.

9.
Víctor Leandro fernández. Semântica de Sociedades para Lógicas n-valentes. 2001. 0 f. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Esteban Coniglio.

Tese de doutorado
1.
María Inés Corbalán. From Generative Linguistics to Categorial Grammars: Overt Subjects in Control Infinitives. 2018. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Marcelo Esteban Coniglio.

2.
Ana Claudia de Jesus Golzio. Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics. 2017. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Marcelo Esteban Coniglio.

3.
Kleidson Êglicio Carvalho da Silva Oliveira. Programação Lógica Paraconsistente em Lógicas Três e Quatro Valoradas. 2017. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Marcelo Esteban Coniglio.

4.
Rafael Rodrigues Testa. Revisão de crenças paraconsistente baseada em um operador formal de consistência. 2014. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Esteban Coniglio.

5.
Newton Marques Peron. (In)Completude Modal por (N)Matrizes Finitas. 2014. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Marcelo Esteban Coniglio.

6.
Martín Figallo. Hipersecuentes y la Lógica Tetravalente Modal TML. 2013. Tese (Doutorado em Matemática) - Universidad Nacional del Sur, . Orientador: Marcelo Esteban Coniglio.

7.
Luiz Henrique da Cruz Silvestrini. Uma Nova Abordagem para a Noção de Quase-Verdade. 2011. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marcelo Esteban Coniglio.

8.
Wagner de Campos Sanz. Uma investigação acerca das regras para a negação e o absurdo em Dedução Natural. 2006. 498 f. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Marcelo Esteban Coniglio.

9.
Luís Augusto Sbardellini. O Continuum, os Reais e o Conceito de Homogeneidade. 2005. 107 f. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Esteban Coniglio.

10.
Víctor Leandro fernández. Fibrilação de Lógicas na Hierarquia de Leibniz. 2005. 108 f. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marcelo Esteban Coniglio.

Supervisão de pós-doutorado
1.
Márcio Moretto Ribeiro. 2013. Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Marcelo Esteban Coniglio.

Trabalho de conclusão de curso de graduação
1.
Diego Amaro Varela. Lógica Paraconsistente: Lógicas da Inconsistência Formal e Dialeteísmo. 2009. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Filosofia) - Universidade Estadual de Campinas. Orientador: Marcelo Esteban Coniglio.

2.
Newton Marques Peron. Paradoxos Modais e Lógicas da Inconsistência Formal. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Filosofia) - Universidade Estadual de Campinas. Orientador: Marcelo Esteban Coniglio.

3.
Rafael Testa. Lógica Deôntica para o estudo de Sistemas Normativos. 2006. 41 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Filosofia) - Universidade Estadual de Campinas. Orientador: Marcelo Esteban Coniglio.

Iniciação científica
1.
Diego Amaro Varela. São possíveis as contradições? Abordagens Antagônicas à Paraconsistência. 2009. Iniciação Científica. (Graduando em Bacharelado Em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Esteban Coniglio.

2.
Newton Marques Peron. Lógicas da Inconsistência Formal e Lógicas Modais: uma Abordagem para o Estudo de Paradoxos Modais. 2006. 37 f. Iniciação Científica. (Graduando em Bacharelado Em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Marcelo Esteban Coniglio.

3.
Teófilo de Souza Reis. Feixes sobre álgebras de Heyting e aplicações à teoria de conjuntos fuzzy. 2005. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Matemática) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Esteban Coniglio.




Página gerada pelo Sistema Currículo Lattes em 14/11/2018 às 9:09:28