Currículo do Sistema de Currículos Lattes (Marcelo Esteban Coniglio)

Dados pessoais

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

Endereço profissional

Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Departamento de Filosofia.
Cidade Universitária Zeferino Vaz
Barão Geraldo
13081970 - Campinas, SP - Brasil - Caixa-Postal: 6110
Telefone: (19) 37881574
URL da Homepage: http://www.cle.unicamp.br/prof/coniglio/

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

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 / Área: Filosofia / Subárea: Lógica / Especialidade: Combinações Entre Lógicas.
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.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo ,FAPESP ,Brasil .
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Combinações Entre Lógicas.

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 / Área: Matemática / Subárea: Lógica / Especialidade: Feixes.
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.

Atuação profissional

Universidade Estadual de Campinas, UNICAMP, Brasil.

Vínculo institucional

2005 - Atual

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

Vínculo institucional

2000 - 2004

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

Vínculo institucional

1998 - 2000

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

Atividades

2010 - Atual	Atividades de Participação em Projeto, Centro de Lógica Epistemologia e História da Ciência, .
	Projetos de pesquisa Logical Consequence, Reasoning and Computation - LogCons

4/2005 - Atual	Atividades de Participação em Projeto, Centro de Lógica Epistemologia e História da Ciência, .
	Projetos de pesquisa Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications

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.
	Linhas de pesquisa Feixes sobre Quantais Lógica e Categorias Lógicas abstratas Combinações entre Lógicas

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.	Feixes sobre Quantais

3.	Lógica e Categorias

4.	Lógicas abstratas

5.	Combinações entre Lógicas

Projetos de Pesquisa

2010 - Atual

Logical Consequence, Reasoning and Computation - LogCons

Descrição: Projeto Temático FAPESP envolvendo 15 estudantes e 14 pesquisadores.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico ( 7) Doutorado ( 8) .
Integrantes: Walter A Carnielli - Coordenador / Itala Maria Loffreddo D'Ottaviano - Integrante / Marcelo Esteban Coniglio - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Universidade Estadual Paulista Júlio de Mesquita Filho - Cooperação / Universidade de São Paulo - Cooperação..

2005 - 2010

Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications

Descrição: A noção de inferência lógica é de fundamental importância não somente em todas as formas de argumentação (sejam formais ou informais) mas também em diferentes aspectos da computação. O estudo de inferências lógicas para aplicações requer a compreensão da combinação de mecanismos lógicos de diferentes características. Este projeto está focalizado em métodos específicos para combinar lógicas, assim como nos aspectos semãnticos, algébricos e computacionais dos sistemas resultantes. Do ponto de vista das aplicações eficientes, os métodos de aproximação para as inferências proposicionais e quantificacionais oferecem uma perspectiva promissória no estudo das complexidades intrínsecas envolvidas. Este projeto envolve 22 pesquisadores com diferentes formações acadêmicas provenientes da USP, da UNESP e da UNICAMP, com o suporte de 8 pesquisadores provenientes de 3 instituições internacionais de pesquisa.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 1) / Especialização ( 0) / Mestrado acadêmico ( 3) / Mestrado profissionalizante ( 0) / Doutorado ( 7) .
Integrantes: Amílcar Sernadas - Integrante / Cristina Sernadas - Integrante / Itala Maria Loffreddo D'Ottaviano - Integrante / Walter Alexandre Carnielli - Coordenador / Luís Augusto Sbardellini - Integrante / Carlos Caleiro - Integrante / João Marcos - Integrante / Juliana Bueno - Integrante / Hércules de Araujo Feitosa - Integrante / Hugo Mariano - Integrante / Odilón Otávio Luciano - Integrante / Renata Wassermann - Integrante / Marcelo Finger - Integrante / Jean Yves Béziau - Integrante / Paulo Mateus - Integrante / Dov Gabbay - Integrante / João Rasga - Integrante / Angela Weiss - Integrante / Flávio Correa da Silva - Integrante / Milton Agustinis de Castro - Integrante / Carlos Hifume - Integrante / Eudenia Xavier Meneses - Integrante / Joselyto Riani - Integrante / Juan Carlos Agudelo Agudelo - Integrante / Rodrigo de Alvarenga Freire - Integrante / Paulo Petrillo - Integrante / Adolfo Gustavo Serra Seca Neto - Integrante / Guilherme Rabello - Integrante / Marcelo Esteban Coniglio - 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.
Número de produções C, T & A: 6 / Número de orientações: 1.

Membro de corpo editorial

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

Á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ção em C,T & A

Produção bibliográfica

Artigos completos publicados em periódicos

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

2.	CONIGLIO, 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.

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

4.	Sernadas, 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.

5.	Sernadas, 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.

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

7.	Carnielli, 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.

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

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

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

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

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

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

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

15.	CONIGLIO, M. E. . Recovering a Logic from Its Fragments by Meta-Fibring. Logica universalis, v. 1, p. 377-416, 2007.

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

17.	SBARDELLINI, 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.

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

19.	CALEIRO, 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.

20.	FERNÁ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.

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

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

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

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

25.	CARNIELLI, 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.

26.	CONIGLIO, 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 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. 586 p.

2.	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. 620 p.

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

4.

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. 210 p.

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

2.	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. 1 ed. Londres: King s College, 2007, v. 9, p. 321-340.

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

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

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

6.	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. 1 ed. Londres: College Publications, 2005, v. 1, p. 389-414.

7.	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. 1 ed. Campinas: CLE, 2004, v. 39, p. 25-58.

8.	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. 1 ed. Campinas: CLE, 2004, v. 39, p. 107-117.

9.	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. 1 ed. 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.	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.

2.

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.

3.

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.

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

5.	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. . A tutorial on combining logics. In: XIV Latin American Symposium on Mathematical Logic (SLALM), 2009. Bull. of Symbolic Logic. Poughkeepsie : Association for Symbolic Logic. v. 15. p. 335-335.

2.

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.

3.

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.

4.

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.

5.

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

19.	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. ; 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 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 A ; CONIGLIO, M. E. . Translations and Model Theory. Bull. of Symbolic Logic, v. 7, n. 1, p. 104-105, 2001.

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

5.	CONIGLIO, 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. ; PERON, Newton Marques . Modal extensions of sub-classical logics in order to recover classical logic. Logica Universalis (Print), 2012.

Apresentações de Trabalho

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Demais tipos de produção bibliográfica

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

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

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

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

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

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

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

Trabalhos técnicos

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

16.	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. ; CARNIELLI, Walter A . Proof Theory for contemporary logics by handling polinomials over finite fields. 2011. (Curso de curta duração ministrado/Extensão).

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

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

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

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

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

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

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

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

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

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

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

Bancas

Participação em bancas examinadoras

Dissertações

1.

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

15.

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.

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

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

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

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

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

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

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

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

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

4.

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.

5.

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.

6.

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.

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

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

9.

CONIGLIO, M. E.; PEREIRA, Luiz Carlos; ALVES, Daniel Durante Pereira; BIRABEN, Rodolfo Ertola; 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.

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

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

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

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

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

15.

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.

16.

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.

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

18.

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.

19.

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.

20.

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.

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

22.

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

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

3.

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.

4.

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.

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

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

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

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

9.	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.	BRUNNER, A. M.; CONIGLIO, M. E.; MARIANO, Hugo. Concurso de Ingresso na Carreira Docente - Professor Adjunto. 2010. Universidade Federal da Bahia.

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

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

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

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

Eventos

Participação em eventos

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

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

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

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

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

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

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

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

9.	XIII Jornadas de Epistemolog\'ia de las Ciencias Econ\'omicas.(De) Construcción de sistemas lógicos a través de combinaciones. 2007. (Congresso).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Organização de eventos

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

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

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

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

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

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

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

Orientações

Orientações em andamento

Dissertação de mestrado

1.	María Inés Corbalán. Lógicas da Restauração Local. Início: 2010. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

2.	Roberto Dumaresq. LEI e LFIs: duas abordagens duais à paraconsistência. Início: 2009. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

Tese de doutorado

1.	Carolina Blasio da Silva. Identidade ao longo do tempo. Início: 2011. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

2.	Rafael Rodrigues Testa. Revisão de Sistemas Normativos e Teoria de Jogos. Início: 2009. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

3.	Newton Marques Peron. Lógica Modal Não-Clássica. Início: 2009. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. (Orientador).

4.	Martín Figallo. Combinación de Hipersecuentes y Lógicas Modales tetravalentes. Início: 2009. Tese (Doutorado em Matemática) - Universidad Nacional Del Sur. (Co-orientador).

Supervisão de pós-doutorado

1.	Márcio Moretto Ribeiro. Início: 2011. Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo.

Supervisões e orientações concluídas

Dissertação de mestrado

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

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

3.

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.

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

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

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

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

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

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

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

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

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.