Currículo do Sistema de Currículos Lattes (Walter Alexandre Carnielli)

Dados pessoais

Nome	Walter Alexandre Carnielli
Nome em citações bibliográficas	CARNIELLI, Walter; CARNIELLI, W.. A.
Sexo	Masculino

Endereço profissional

Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas.
Centrro de Lógica, Epistemologia e História da Ciência- - C. P. 6133
Barão Geraldo
13083-970 - Campinas, SP - Brasil - Caixa-Postal: 6133
Telefone: (19) 37886519
URL da Homepage: http://www.cle.unicamp.br/prof/carnielli/

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

1985	Livre-docência. Universidade Estadual de Campinas, UNICAMP, Brasil. Título: , Ano de obtenção: 1985. Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.

1989 - 1990

Pós-Doutorado .
Universitat Munster (Westfalische-Wilhelms).
Bolsista do(a): Alexander von Humboldt Stiftung, , .

1984 - 1985

Pós-Doutorado .
University of California.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.

1979 - 1982

Doutorado em Matemática .
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: SOBRE O METODO DOS TABLEAUX EM LOGICAS POLIVALENTES FINITARIAS, Ano de Obtenção: 1982.
Orientador: NEWTON CARNEIRO AFFONSO DA COSTA.
Palavras-chave: Logicas polivalentes; Metodo dos "Tableaux".
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.
Setores de atividade: Outros Setores.

1976 - 1978

Mestrado em Matemática .
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: CLASSIFICACAO DE FORMAS QUADRATICAS DEFINIDAS POSITIVAS, UNIMODULARES EM DIMENSOES MENORES OU IGUAIS A 16, Ano de Obtenção: 1978.
Orientador:

NELLO DA SILVA ALLAN.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
Palavras-chave: Formas quadráticas.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra.
Grande área: Ciências Exatas e da Terra / Área: Matemática.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Teoria dos Números.

1979 - 1981

Especialização em Filosofia da Ciência .
Universidade Estadual de Campinas, UNICAMP, Brasil.

1972 - 1976

Graduação em Matemática .
Universidade Estadual de Campinas, UNICAMP, Brasil.

Formação complementar

1978 - 1980

Extensão universitária em Especialização em FIlosofia da Ciência.
Universidade Estadual de Campinas, UNICAMP, Brasil.

Atuação profissional

Instituto Superior Tecnico, IST, Portugal.

Vínculo institucional

2005 - Atual

Vínculo: Colaborador, Enquadramento Funcional: Pesquisador, Carga horária: 0

Outras informações

Membro do "Security and Quantum Information Group" (http://sqig.math.ist.utl.pt/ )

Universidade Estadual de Campinas, UNICAMP, Brasil.

Vínculo institucional

1996 - Atual

Vínculo: Servidor Público, Enquadramento Funcional: Professor Titular, Regime: Dedicação exclusiva.

Vínculo institucional

1985 - 1995

Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Livre Docente, Regime: Dedicação exclusiva.

Vínculo institucional

1981 - 1984

Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Assistente, Regime: Dedicação exclusiva.

Atividades

04/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 (ConsRel)

3/1991 - Atual	Ensino, Filosofia, Nível: Pós-Graduação.
	Disciplinas ministradas Filosofia da Lógica Computabilidade Introdução à Lógica Lógica Algébrica Lógica Modal Lógicas Não-Clássocas Teoria dos Conjuntos Teoria dos Modelos

03/1988 - Atual	Pesquisa e desenvolvimento , Centro de Lógica Epistemologia e História da Ciência, .
	Linhas de pesquisa Lógica e Fundamentos da Matemática

01/1981 - Atual	Pesquisa e desenvolvimento , Instituto de Filosofia e Ciências Humanas, Departamento de Filosofia.
	Linhas de pesquisa Fundamentos e Aplicações de Lógicas Não-Clássicas

9/1998 - 9/2004	Direção e administração, Coordenadoria de Centros e Núcleos Interdisciplinares de Pesquisa, Centro de Lógica Epistemologia e História da Ciência.
	Cargo ou função Diretor do Centro de Lógica, Epistemologia e História da Ciência da UNICAMP.

03/1999 - 12/2001	Atividades de Participação em Projeto, Centro de Lógica Epistemologia e História da Ciência, .
	Projetos de pesquisa Logic Modelling of Applied Deduction Systems

01/1990 - 12/1991	Ensino, Filosofia, Nível: Graduação.
	Disciplinas ministradas PROFESSOR LIVRE-DOCENTE JUNTO AO INSTITUTO DE MATEMATICA E ESTATISTICA // E CIENCIA DA COMPUTACAO - IMECC

08/1981 - 12/1989	Ensino, Filosofia, Nível: Graduação.
	Disciplinas ministradas ENSINO DE GRADUACAO - DISCIPLINAS DIVERSAS DE MATEMATICA

01/1984 - 01/1985	Pesquisa e desenvolvimento , Instituto de Matemática Estatística e Ciência da Computação, Departamento de Matemática.
	Linhas de pesquisa Semânticas Formais

Instituto Superior Técnico, IST, Portugal.

Vínculo institucional

2004 - 2004

Vínculo: Professor Visitante, Enquadramento Funcional: Pesquisador e professor visitante, Carga horária: 0

Outras informações

Bolsista da Fundação para Ciência e Tecnologia

Rheinische Friedrich-Wilhelms-Universität Bonn, uni-bonn, Alemanha.

Vínculo institucional

1996 - 1996

Vínculo: Professor Visitante, Enquadramento Funcional: Pesquisador e professor visitante, Carga horária: 0

Outras informações

Bolsista da Fundação Alexandrer von Humbold, Alemanha

Westfälische Wilhelms Universität Münster, WWU Münster, Alemanha.

Vínculo institucional

1989 - 1990

Vínculo: Professor Visitante, Enquadramento Funcional: Pesquisador e professor visitante, Carga horária: 0

Outras informações

Bolsista da Fundação Alexandrer von Humbold, Alemanha

Universidade de São Paulo, USP, Brasil.

Vínculo institucional

1980 - 1981

Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Assistente, Regime: Dedicação exclusiva.

Atividades

10/1986 - 12/1988	Estágios .
	Estágio realizado PARTICIPACAO EM PROJETO EM PESQUISA EM INTELIGENCIA ARTIFICIAL..

02/1981 - 07/1981	Ensino, Filosofia, Nível: Graduação.
	Disciplinas ministradas ENSINO DE GRADUACAO - CALCULO DIFERENCIAL E INTEGRAL I,II,III

Linhas de Pesquisa

1.

Semânticas Formais

Objetivos: Estudar e propor novos paradigmas de semânticas formais com objetivo de prover interpretações para sistemas lógicos complexos, em particuçar para subsistemas da lógica clássioca como as LFIs (lógicas da inconsisitência formal), diversas lógicas polivalentes e suas extensões modais..
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
Palavras-chave: Lógicas da Inconsistência formal; Lógicas paraconsistentes; Lógicas moduladas; Logicas polivalentes; Lógicas modais.

2.	Lógica e Fundamentos da Matemática

3.	Fundamentos e Aplicações de Lógicas Não-Clássicas
	Objetivos: Investigar a teoria da prova e a semâbtica dos diversos sistemas de lógica com vistas ao esclarecimento de questões de fundo filosófico e fundacional desses sistemas e também com vistas a aplicações. Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica. Palavras-chave: Lógicas não-clássicas; Lógicas modais; Logicas polivalentes.

Projetos de Pesquisa

2005 - Atual

Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications (ConsRel)

Descrição: Descrição: Trata-se de um PROJETO TEMÁTICO FAPESP envolvendo pesquisadores de várias áreas e de várias instituições, com orçamento próprio.. 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. Integrantes: Walter A. Carnielli- Coordenador 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 .
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) / Mestrado acadêmico ( 9) / Doutorado ( 8) .
Integrantes: Walter Alexandre Carnielli - Coordenador.
.

1999 - 2001

Logic Modelling of Applied Deduction Systems

Descrição: Descrição: Coordenei o Projeto ProBrAl (Brasil-Alemanha) Capes / DAAD. Em colaboração com o Institut für Logik, Komplexität und Deduktionssysteme (ILKD), Universität Karlsruhe (Alemanha). Descrição: O objetivo do projeto é a definição sistemática de uma teoria de combinações de cálculos lógicos com motivações pragmáticas. Tal teoria tornaria possível modularizar sistemas de dedução complexos, e projetar sistemas para aplicações especiais.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Walter Alexandre Carnielli - Coordenador / Marcelo Esteban Coniglio - Integrante/ Itala Maria Loffredo D'Ottaviano - Integrante / /Daniel Durante Pereira Alves - Integrante / Peter Schmitt - Integrante / Reiner Hähnle - Integrante / Bernhard Beckert - Integrante / Maria Cláudia Cabrini Grácio - Integrante / Marcelo Rodrigues de Sousa - Integrante / Hércules de Araújo Feitosa - Integrante / Joao Marcos de Almeida - Integrante. Finaciador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio finaceiro / Deutscher Akademischer Austausch Dienst - Auxílio finaceiro..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico ( 2) / Mestrado profissionalizante ( 2) / Doutorado ( 2) .
Integrantes: Walter Alexandre Carnielli - Coordenador.
.

Membro de corpo editorial

2006 - Atual	Periódico: Episteme (Lisboa)
2007 - Atual	Periódico: Cahiers de Logique et d'Épistémologie
2007 - Atual	Periódico: Cuadernos de Logica, Epistemologia y Lenguage
2006 - Atual	Periódico: Logic and Logical Philosophy
2005 - Atual	Periódico: Journal of Applied Logic
1995 - Atual	Periódico: Journal of Applied Non-Classical Logics
2008 - Atual	Periódico: Journal of Logic and Computation

Revisor de periódico

1985 - Atual	Periódico: Mathematical Reviews
1985 - 1995	Periódico: ZDM. Zentralblatt für Didaktik der Mathematik
2005 - Atual	Periódico: Computing Reviews

Áreas de atuação

1.	Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
2.	Grande área: Ciências Humanas / Área: Filosofia.
3.	Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Conjuntos.
4.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
5.	Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Matemática Discreta e Combinatória.

Idiomas

Alemão	Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Inglês	Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol	Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Francês	Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Italiano	Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Catalão	Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.
Interlíngua	Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Luxemburguês	Compreende Razoavelmente, Fala Pouco, Lê Bem, Escreve Pouco.

Prêmios e títulos

2007	Prêmio Jabutí - Categoria: "Melhor Livro de Ciências Exatas, Tecnologia e Informática" - 3o. lugar, Câmara Brasileira do Livro - CBL.
2005	Membro permanente convidado, Polskie Towarzystwo Logiki i Filozofii Nauki (Ass. Polonesa para Lógica e Filosofia da Ciência).
2005	Achievement Award, National Insurance Academy Pune, India.
1989	Bolsista da Fundação Alexander von Humboldt ("Humboldtiano"), Fundação Alexander von Humboldt.

Produção em C,T & A

Produção bibliográfica

Citações

Outras
Total de trabalhos15	Total de citações45
Carnielli, W. A. Data: 25/12/2008

Artigos completos publicados em periódicos

1.	CARNIELLI, Walter ; RASGA, J. ; SERNADAS, C. . Preservation of Interpolation Features by Fibring. Journal of Logic and Computation, v. 18, p. 123-151, 2008.

2.	OLIVEIRA, I. C. ; CARNIELLI, Walter . The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories. Logic Journal of the IGPL, v. 16, p. 585-590, 2008.

3.	CARNIELLI, Walter ; CONIGLIO, M. E. . Aristóteles , Paraconsistentismo e a Tradição Budista. O Que nos Faz Pensar, v. 23, p. 163-175, 2008.

4.	CARNIELLI, Walter . Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole. Studies in Computational Intelligence, v. 64, p. 349-364, 2007.

5.	BARRERO, T. ; CARNIELLI, Walter . Tableaux sin Refutación. Matemáticas: Enseñanza Universitária, Cali, v. 13, n. 2, p. 81-99, 2006.

6.	CARNIELLI, Walter . Surviving Abduction. Logic Journal of the IGPL, v. 14, p. 237-256, 2006.

7.	BRUNNER, A. B. M. ; CARNIELLI, Walter . Anti-intuitionism and paraconsistency. Journal of Applied Logic, Amsterdan, v. 3, n. 1, p. 161-184, 2005.

8.	CARNIELLI, Walter ; Bueno-Soler, J. . Possible-translations algebrization for paraconsistent logics.. Bulletin of the Section of Logic, v. 34, n. 2, p. 77-92, 2005.

9.	CARNIELLI, Walter . Le logica impecabile del irrational. Revista Eletrônica Informação e Cognição, v. 4, p. 61-73, 2005.

10.	CARNIELLI, Walter ; CALEIRO, C. ; CONIGLIO, M. E. ; SERNADAS, A. ; SERNADAS, C. . Fibring Non-Truth-Functional Logics: Completeness Preservation. Journal of Logic, Language and Information, Holanda, v. 12, n. 2, p. 183-211, 2003.

11.

CARNIELLI, Walter ; Denise Guliato ; Rangaraj M. Rangayyan ; João A. Zuffo ; J. E. Leo Desautels . Fuzzy Fusion Operators to Combine Results of Complementary Medical Image Segmentation techniques. Journal of Electronic Imaging, Volume 12, pp. 379-389. Journal of Electronic Imaging, Purdue University , EUA, v. 12, n. 3, p. 379-389, 2003.

12.	CARNIELLI, Walter ; Denise Guliato ; Rangaraj M. Rangayyan ; ZUFFO, J. A. ; J. E. Leo Desautels . Segmentation of Breast Tumors in Mammograms Using Fuzzy Sets. Journal of Electronic Imaging, Volume 12, pp. 369-378. Photo Electronic Imaging, Purdue University, EUA, v. 12, n. 3, p. 369-378, 2003.

13.	CARNIELLI, Walter ; CONIGLIO, M. E. . Transfers Between Logics and their Applications. Studia Logica, Polônia, v. 72, n. 3, p. 367-400, 2002.

14.	CARNIELLI, Walter ; SERNADAS, C. ; RASGA, J. . Modulated Fibring and the Collapsing Problem. Journal of Symbolic Logic, Estados Unidos, v. 67, n. 4, p. 1541-1569, 2002.

15.	CARNIELLI, Walter ; MARCOS, J. . Ex Contradictione Non Sequitur Quodlibet. Bulletin of Advanced Reasoning and Knowledge, Romênia, v. 1, p. 89-109, 2001.

16.	CARNIELLI, Walter ; MARCOS, J. . Tableau Systems for Logics of Formal Inconsistency. Proceedings of the 2001 International Conference on Artificial Intelligence (IC-AI'2001), CSREA Press, EUA, v. II, p. 848-852, 2001.

17.	CARNIELLI, Walter . K,2-K1,n and K2,n-K2,n Bipartite Ramsey Numbers. Discrete Mathematics, v. 223, n. 1-3, p. 83-92, 2000.

18.	RAHMAN, S. ; CARNIELLI, Walter . The Dialogical Approach to Paraconsistency. Synthese, Estados Unidos, v. 125, p. 201-221, 2000.

19.	CARNIELLI, Walter ; MARCOS, J. ; DE AMO, S. . Formal Inconsistency and Evolutionary Databases. Logic and Logical Philosophy,, Polônia, v. 8, p. 115-152, 2000.

20.	CARNIELLI, Walter ; CONIGLIO, M. E. . A Categorial Approach to the Combination of Logics. Manuscrito (UNICAMP), Campinas, v. 22, n. 2, p. 64-94, 1999.

21.	CARNIELLI, Walter . On the Ramsey Problem for Multicolor Bipartite Graphs. Adv In Appl Math, Nova Iorque, v. 22, n. 1, p. 48-59, 1999.

22.	CARNIELLI, Walter . Calea Logica catre Inconsistenta. Krisis Revista de Filosofie, Romênia, n. 7, p. 12-31, 1998.

23.	CARNIELLI, Walter ; D'OTTAVIANO, I. M. L. . Translations between Logical Systems: a Manifesto.. Logique et Analyse, v. 157, p. 67-81, 1997.

24.	CARNIELLI, Walter ; D'OTTAVIANO, I. M. L. ; ALVES, E. H. . The Centre for Logic in Campinas and the Development of Logic in Brazil. Contemporary Brazilian research in logic. Part I. Logique et Analyse, v. 154, p. 15-29, 1996.

25.	CARNIELLI, Walter ; SETTE, A. M. A. . Maximal Weakly-Intuitionistic Logics. STUDIA LOGICA, v. 55, p. 181-203, 1995.

26.	CARNIELLI, Walter . Some Results on Polarized Partition Relations of Higher Dimension. Mathematical Logic Quarterly, v. 39, p. 461-474, 1993.

27.	CARNIELLI, Walter ; LIMA-MARQUES, M. . Reasoning Under Inconsistent Knowledge. THE JOURNAL OF APPLIED NON-CLASSICAL LOGICS, v. 2, n. 1, p. 49-79, 1992.

28.	CARNIELLI, Walter ; RATHJEN, M. . Hydrae and Subsistems of Aritmetic. INTERNER BERICHT - NSTITUT FUR MATHEMATK LOGIK UND GRUNDLAGENFORSCHUNG, 1991.

29.	CARNIELLI, Walter . Many-valued Logics and Plausible Reasoning. Proceedings of Conference on Many-Valued Logics, Charlotte, EUA, 1990.

30.	CARNIELLI, Walter . Hyper-Rook Domain Inequalities. STUDIES IN APPLIED MATHEMATICS, v. 82, n. 1, p. 1-12, 1990.

31.	CARNIELLI, Walter ; DA COSTA, N. C. A. . Kantian and Non-Kantian Logics. LOGIQUE ET ANALYSE, p. 0-0, 1988.

32.	CARNIELLI, Walter ; DA COSTA, N. C. A. . Paraconsistent Deontic Logic. PHILOSOPHIA, v. 16, n. 3-4, p. 293-305, 1988.

33.	CARNIELLI, Walter . Systematization of The Finite Many-Valued Logics Through The Method of Tableaux. Journal of Symbolic Logic, v. 52, n. 1, p. 473-493, 1987.

34.	CARNIELLI, Walter . The Problem of Quantificational Completeness and the Characterization of all Perfect Quantifiers In Three In Three-Valued Logics. Mathematical Logic Quarterly, v. 33, p. 19-29, 1987.

35.	CARNIELLI, Walter . Methods of Proof for Relatedness and Dependence Logics. REPORTS ON MATHEMATICS LOGIC, v. 21, p. 35-46, 1987.

36.	CARNIELLI, Walter . An Algorithm for Axiomatization and Theorem Proving In Finite Many-Valued Logics. LOGIQUE ET ANALYSE, v. 112, p. 363-368, 1985.

37.	CARNIELLI, Walter . On Coloring and Covering Problems for Rook Domais. Discrete Mathematics, v. 57, p. 9-16, 1985.

38.	CARNIELLI, Walter ; TORRES, O. M. . Completitud Estructural. BULLETIN DEL DEPARTAMIENTO DE CIENCIAS, v. XVI, n. 23, p. 17-29, 1983.

39.	CARNIELLI, Walter ; DE ALCANTARA, L. P. . Paraconsistent Algebras. STUDIA LOGICA, v. XLIII, n. 1/2, p. 79-88, 1983.

40.	CARNIELLI, Walter ; DE ALCANTARA, L. P. . Transfinite Induction on Ordinal Configurations. ZEITSCH. FUR MATHEM. LOGIK UNDGRUND. DER MATHEMATIK, v. 27, p. 531-538, 1981.

Livros publicados/organizados ou edições

1.	CARNIELLI, W.. A. ; EPSTEIN, R. L. . Pensamento Crítico: o poder da lógica e da argumentação. 1. ed. São Paulo: Rideel, 2009. v. 1. 365 p.

2.	CARNIELLI, Walter ; CONIGLIO, M. E. ; GABBAY, D. ; GOUVEIA, P. ; SERNADAS, C. . Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems.. 1. ed. Amsterdam: Springer, 2008. v. 1. 604 p.

3.	CARNIELLI, Walter ; PIZZI, C. . Modalities and Multimodalities. 1. ed. Amsterdam: Springer Verlag, 2008. v. 1. 306 p.

4.	CARNIELLI, Walter . Compuitability: Computable Functions, Logic, and the Foundations of Mathematics. 3. ed. Socorro, NM, EUA: Advanced Reasoning Forum, 2008. v. 1. 384 p.

5.	CARNIELLI, Walter (Org.) . Handbook of Paraconsistency. Londres: College Publications, 2007.

6.	CARNIELLI, Walter . Computabilidade, Funções Computáveis, Lógica e os Fundamentos da Matemática. 1. ed. São Paulo: Editora UNESP, 2006. v. 1. 416 p.

7.	CARNIELLI, Walter (Org.) ; MARCOS, J. (Org.) ; BATENS, D. (Org.) . A Paraconsistent Decagon. Amsterdan: Elsevier, 2005. v. 3(1). 1-5 p.

8.	CARNIELLI, Walter (Org.) ; CONIGLIO, M. E. (Org.) ; D'OTTAVIANO, I. M. L. (Org.) . An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference Logic - Volume II. 1. ed. , 2005. v. 2.

9.	CARNIELLI, Walter (Org.) ; CONIGLIO, M. E. (Org.) ; D'OTTAVIANO, I. M. L. (Org.) . An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference Logic - Volume I. Londres: , 2005. v. 1.

10.	CARNIELLI, Walter (Org.) ; DIONISIO, F. M. (Org.) ; MATEUS, P. (Org.) . Proceedings of CombLog'04--Workshop on Combination of Logics: Theory and Applications.. 1. ed. Lisboa, Portugal: Departamento de Matemática- Instituto Superior Técnico, 2004. v. 4.

11.	CARNIELLI, Walter (Org.) ; CONIGLIO, M. E. (Org.) ; D'OTTAVIANO, I. M. L. (Org.) . Paraconsistency: The Logical Way to the Inconsistent. 1. ed. Nova Iorque: Marcel Dekker, 2002. v. 1.

12.	CARNIELLI, Walter ; PIZZI, C. . Modalità e Multimodalità. 1. ed. Milão: Franco Angeli, 2001. v. 1.

13.	CARNIELLI, Walter . Computability: computable functions, logic and the foundations of mathematics, with. 2. ed. ,Belmont, CA, EUA: Wadsworth/Thomson Learning, 2000.

14.	CARNIELLI, Walter (Org.) . Multi-Valued Logics- (Special edition of Journal of Applied Non Classical Logics). Toulouse: , 1999.

15.	CARNIELLI, Walter (Org.) . Logic, Sets And Information: Proceedings Of The Xi Brazilian Conference On Mathematical Logic. Campinas: Coleção CLE- Centro de Lógica, Epistemologia e História da Ciência, 1995.

16.	EPSTEIN, R. L. ; CARNIELLI, Walter . Computability: Recursive Functions, Logic And The Foundations Of Mathematics. CALIFORNIA: WADSWORTH-BROOKS/COLE, 1988.

17.	CARNIELLI, Walter ; DE ALCANTARA, L. P. . Methods And Applications Of Mathematical Logic: Proceedings Of The Vii Latin-American Symp. On Math. Logic. AMERICAN MATHEMATICAL SOCIETY, 1988.

Capítulos de livros publicados

1.	CARNIELLI, Walter ; DORIA, F. A. . Are the Foundations of Computer Science Logic Dependent?. In: Cédric Dégremont; Laurent Keiff; Helge Rückert. (Org.). Dialogues, Logics and Other Strange Things- Essays in Honour of Shahid Rahman. 1 ed. Londres: College Publicatios, 2008, v. 1, p. 87-107.

2.	CARNIELLI, Walter ; Bueno-Soler, J. ; CONIGLIO, M. E. . Possible-translations algebraizability. In: J.-Y. Béziau; W.A. Carnielli; D. Gabbay. (Org.). Handbook of Paraconsistency. Londres: Inglaterra, 2007, v. , p. 321-340.

3.	CARNIELLI, Walter ; CONIGLIO, M. E. ; MARCOS, J. . Logics of formal inconsistency. In: D. Gabbay; F. Guenthner. (Org.). Handbook of Philosophical Logic. 2 ed. Alemanha: Springer, 2007, v. 14, p. 15-107.

4.	CARNIELLI, Walter ; AGUDELO, J. . C. . Unconventional models of computation through non-standard logic circuits. Lecture Notes in Computer Science. Berlin: Alemanha, 2007, v. 4618, p. 29-40.

5.	CARNIELLI, Walter ; CONIGLIO, M. E. . Bridge principles and combined reasoning. In: T. Müller; A. Newen.. (Org.). Logik, Begriffe, Prinzipien des Handelns. 1 ed. Paderborn: Mentis Verlag, 2007, v. 1, p. 32-48.

6.	CARNIELLI, Walter ; CALEIRO, C. ; CONIGLIO, M. E. ; MARCOS, J. . Two's company: The humbug of many logical values. In Logica Universalis - pp.169-189. In: Jean-Yves Béziau. (Org.). Logica Universalis. Basel: Birkhäuser, 2005, v. , p. 169-189.

7.	CARNIELLI, Walter ; CONIGLIO, M. E. . Splitting Logics. In: S. Artemov; H. Barringer, A. S. d Avila Garcez; L. C. Lamb; J. Woods,. (Org.). We Will Show Them: Essays in Honour of Dov Gabbay. Londres: King´s College Publications, 2005, v. 1, p. 389-414.

8.	CARNIELLI, Walter ; CALEIRO, C. ; RASGA, J. ; SERNADAS, C. . Fibring of logics as a universal construction. In: D. Gabbay; F. Guenthner. (Org.). Handbook of Philosophical Logic. 2 ed. Alemanha: Springer/Dordrecht, 2005, v. 13, p. 123-187.

9.	CARNIELLI, Walter . Polynomial Ring Calculus for Many-valued Logics. Multiple-Valued Logic, 2006. ISMVL 2006. 36th International Symposium on Multiple-Valued Logic. 1 ed. : IEEE Computer Society, 2005, v. 1, p. 20-25.

10.	CARNIELLI, Walter . Cum iti construiesti propria logica paraconsistenta: O introducere in logicile (in)consistentei formale. In: I. Lucica; D. Gheorghiu; R. Chirila. (Org.). Ex Falso Quodlibet: studii die logica paraconsistenta. Bucareste: Editora Tehnica S.A., 2004, v. , p. 134-158.

11.	VELOSO, P. A. S. ; CARNIELLI, Walter . Logics for qualitative reasoning. In: Shahid Rahman; John Symons. (Org.). Logic, Epistemology and the Unity of Science. Amsterdam: Kluwer Academic Publishers, 2004, v. , p. 487-526.

12.	CUNHA, D. M. M. ; CONIGLIO, M. E. ; CARNIELLI, Walter . An incoherence in the AGM theory?. In: Hércules de H. Feitosa; Frank Sautter. (Org.). Lógica: Teoria, Aplicações e Reflexões.. Campinas: CLE- UNICAMP, 2004, v. 39, p. 107-117.

13.	DE AMO, S. ; CARNIELLI, Walter ; MARCOS, J. . A logical framework for integrating Inconsistent Information in multiple databases. In: Thomas Eiter; Klaus-Dieter Schewe. (Org.). Lecture Notes in Computer Science. Berlim: Springer-Verlag, 2002, v. 2284, p. 67-84.

14.	CARNIELLI, Walter ; MARCOS, J. . A taxonomy of C-systems. In: W.A. Carnielli; M. E. Coniglio; I. M. L. D'Ottaviano. (Org.). Paraconsistency: The Logical Way to the Inconsistent. 1 ed. Nova Iorque: Marcel Dekker,, 2001, v. , p. 1-94.

15.	CARNIELLI, Walter . Possible-translations semantics for paraconsistent logics. In: D. Batens et al.. (Org.). Frontiers in Paraconsistent Logic: Proceedings of the I World Congress on Paraconsistency,. Londres: Kings College Publications, 2000, v. , p. 159-172.

16.	SETTE, A. M. A. ; CARNIELLI, Walter ; VELOSO, P. A. S. . An alternative view of default reasoning. In: E. H. Hauesler; L. C. Pereira. (Org.). Proofs, Types and Categories. RIo de Janeiro: Editora da PUC- Rio de Janeiro,, 1999, v. , p. 127-158.

17.	CARNIELLI, Walter . Society Semantics for Multiple-Valued Logics. In: W. A. Carnielli; M. L. D'Ottaviano. (Org.). Advances in Contemporary Logic and Computer Science. Ann Arbor: American Mathematical Society, 1999, v. 235, p. 33-52.

18.	CARNIELLI, Walter ; VELOSO, P. A. S. . Ultrafilter logic and generic reasoning, in Computational Logic and Proof Theory. In: CARNIELLI, W. A.. (Org.). Lecture Notes in Comput. Sci.. Berlin: Springer, 1997, v. 1289, p. 34-53.

19.	CARNIELLI, Walter ; CIFUENTES, J. C. . Is There Logic Behind Fuzzynes?. In: CARNIELLI, W. A.. (Org.). BRAZILIAN CONFERENCE ON MATHEMATICS LOGIC, 20. PROCEEDINGS. IN LOGICS, SETS AND INFORMATION. Campinas: CENTRO DE LOGICA, 1995, v. 14, p. 73-91.

20.	CARNIELLI, Walter . Upper Bounds for Minimum Covering Codes by Tabu Search. In: CARNIELLI, W. A.. (Org.). OFICINA NACIONAL EM PROBLEMAS COMBINATORIOS, 2. ANAIS. TEORIA, ALGORITMOS E APLICACOES. : OFICINA NACIONAL EM PROBLEMAS COMBINATORIOS, 1995, v. , p. 50-58.

21.	CARNIELLI, Walter . Logicas Nao Classicas, Teoria da Informacao e Inteligencia Artificial. In: ÉVORA, Fátima R. R.. (Org.). SECULO XIX : O NASCIMENTO DA CIENCIA CONTEMPORANEA. Campinas: UNICAMP, 1992, v. 11, p. 101-110.

22.

CARNIELLI, Walter ; FARIÑAS DEL CERRO, L. ; LIMA-MARQUES, M. . Contextual Negations and Reasoning with Contradictions. In: John Mylopoulos; Raymond Reiter. (Org.). Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'91). Sidney: Morgan Kaufmann, 1991, v. , p. 532-537.

23.	CARNIELLI, Walter . A Generalized Framework. In: CARNIELLI, W. A.. (Org.). THE SEMANTIC FOUNDATIONS OF LOGIC. AMSTERDAM: KLUWER ACADEMIC, 1990, v. 1, p. 108-114.

24.	CARNIELLI, Walter . Many-Valued Logics And Plausible Reasoning. In: CARNIELLI, W. A.. (Org.). INTERNATIONAL CONGRESS ON MANY-VALUED LOGICS, 20. PROCEEDINGS. : UNIVERSITY OF CHARLOTE, 1990, v. , p. 328-335.

Textos em jornais de notícias/revistas

1.	CARNIELLI, Walter . A prova de Wiles do Teorema de Fermat. Ciência Hoje, 01 jan. 1994.

2.	CARNIELLI, Walter ; RATHJEN, M. . Combinatória e indemonstrabilidade, ou o 13. trabalho de Hércules,. Matemática Universitária, 01 dez. 1991.

Trabalhos completos publicados em anais de congressos

1.	CARNIELLI, Walter ; RANGAYAN, R. M. ; ZUFFO, J. A. . Fuzzy fusion of results of medical image segmentation. In: SPIE Conference on Medical Imaging, 1999, San Diego - California. Image Processing, 1999.

2.	CARNIELLI, Walter ; GRACIO, M. C. C. . A Lógica Topológica da Crença. In: XII Encontro Brasileiro de Lógica (Lógica'99), 1999, Itatiaia, RJ. Anais do XII Encontro Brasileiro de Lógica, 1999. p. 73-80.

3.	CARNIELLI, Walter ; MARCOS, J. . Limits for Paraconsistent Calculi. In: XII Encontro Brasileiro de Lógica (Lógica' 99), 1999, Itatiais, RJ. Anais XII Encontro Brasileiro de Lógica. p. 64-72.

4.	CARNIELLI, Walter . Many-Valued Semantics For Para Consistent Logics.. In: LOGIC COLLOGUIUM-ASL., 1989. BERLIM, RFA. p. 0-0.

5.	CARNIELLI, Walter . Polarized Partition Relations of Higher Dimensions.. In: LOGIC COLLOQUIUM, ASL., 1988, Pádua, Itália. The Journal of Symbolic Logic. PADUA ITALIA, 1988. p. 0-0.

6.	CARNIELLI, Walter . Some Investigations on Covering Problems.. In: COLLECTED PAPERS DEDICATED TO PROF. E. FARAH., 1981. COLLECTED PAPERS DEDICATED TO PROF. E. FARAH.. SAO PAULO : USP. p. 0-0.

Resumos expandidos publicados em anais de congressos

1.

Bueno-Soler, J. ; CONIGLIO, M. E. ; CARNIELLI, Walter . Finite Algebraizability via Possible-Translations Semantics. In: Workshop on Combination of Logics: Theory and Applications (CombLog'04), 2004, Lisboa. Proceedings of the CombLog'04. Lisboa : Centro de Lógica e Computação- Instituto Superior Técnico, 2004. v. 1. p. 79-85.

2.

CARNIELLI, Walter ; SERNADAS, C. ; ZANARDO, A. . Preservation of Interpolation by Fibring. In: Workshop on Combination of Logics: Theory and Applications (CombLog'04), 2004, Liaboa. Proceedings of the CombLog'04. Lisboa : Centro de Lógica e Computação do Instituto Superior Técnico, 2004. v. 1. p. 151-157.

Resumos publicados em anais de congressos

1.

CARNIELLI, Walter . Many valued logic in algebraic form: roots of universal logic in the legacy of boole and Leibniz. In: 13th International Congress for Logic, Methodology and Philosophy of Science, 2007, Pequim, China. Handbook of the Second World Congress and School on Universal Logic. Pequim, China, 2007. p. 45-45.

2.

CARNIELLI, Walter . Logic in polynomial format, logic autopoiesis and the laws of form. In: 13th International Congress for Logic, Methodology and Philosophy of Science, 2007, Pequim, China. Volume of Abstracts of the 13th International Congress for Logic, Methodology and Philosophy of Science. Pequim, China, 2007. p. 257-257.

3.	CARNIELLI, Walter . Surviving Abduction. In: Model-Based Reasoning in Science and Engineering- MBR´04, 2004, Pavia. Proceedings of MBR´04, 2004.

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

5.	CARNIELLI, Walter ; CONIGLIO, M. E. . Teoria de Modelos e Traduções. In: IX Encontro Nacional de Filosofia - ANPOF, 2000, Poços de Caldas, MG. Atas do IX Encontro Nacional de Filosofia - ANPOF, 2000. p. 125-126.

6.	CARNIELLI, Walter . La Lógica y el Razonamiento Cualitativo. In: II Encuentro de Filosofia e História de la Ciencia del Cono Sur, 2000, Buenos Aires (Quilmes). Anales del II Encuentro de Filosofia e História de la Ciencia del Cono Sur. p. 42-42.

7.	CARNIELLI, Walter ; MARCOS, J. . C- systems: Paleontology and Futurology. In: World Congress on Paraconsistency -WCP' 2000, 2000, Juquehy, SP,. Book of Abstracts of the World Congress on Paraconsistency -WCP' 2000, 2000. p. 6-7.

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

9.	CARNIELLI, Walter ; CONIGLIO, M. E. . Translations and Model Theory.. In: Logic Colloquium 2000, 2000, Paris. Bull. of Symbolic Logic. Ann Arbour : Association for SYmbolic Logic, 2000. v. 7. p. 104-105.

10.	CARNIELLI, Walter . Proof Theory for Infinite-Valued Logics: a Functional Approach. In: European Summer Meeting of the Association for Symbolic Logic, 1999, Praga. The Bulletin of Symbolic Logic, 1999. v. 5. p. 99-99.

11.	CARNIELLI, Walter ; GRACIO, M. C. C. . Modulated Logics and Uncertain Reasoning. In: 5th Barcelona Logic Meeting and 6th Kurt Goedel Colloquiium, 1999, Barcelona. Proceedings of the 6th Kurt Goedel Colloquiium, 1999. p. 00-00.

12.

CARNIELLI, Walter ; DE AMO, S. . A Logic-Based System for Controlling Inconsistencies in Evolutionary Databases. In: 6th Workshop on Logic, Language, Information and Computation (6th WoLLIC), 1998, Itatiaia, RJ. Proceedings of the 6th Workshop on Logic, Language, Information and Computation (6th WoLLIC),, 1998. p. 89-101.

13.	CARNIELLI, Walter . The Logic of Formal Inconsistency and Applications for Databases. In: Stanislaw Jaskowski Memorial Symposium, 1998, Torun, Polônia. Proceedings of the Stanislaw Jaskowski Memorial Symposium, 1998.

14.	CARNIELLI, Walter . Ramsey-Type Theorems For Cubes.. In: PROCEEDINGS OF THE INTERNATIONAL CONGRESS OF MATHEMATICIANS., 1986. BERKELEY, CA, USA. p. 0-0.

Artigos aceitos para publicação

1.	CARNIELLI, W.. A. ; RASGA, J. ; SERNADAS, C. . Interpolation via translations. Mathematical Logic Quarterly, 2009.

2.	CARNIELLI, W.. A. ; GRÁCIO, M. C. C. . Modulated logics and flexible reasoning. Logic and Logical Philosophy, 2009.

3.	CARNIELLI, W.. A. . Uma lógica da modalidade econômica?. Revista Brasileira de Filosofia, 2009.

Apresentações de Trabalho

1.	CARNIELLI, Walter . Many valued logic in algebraic form: roots of universal logic in the legacy of boole and Leibniz. 2007. (Apresentação de Trabalho/Conferência ou palestra).

2.	CARNIELLI, Walter . Logics in polynomial format, logic autopoiesis and the laws of form. 2007. (Apresentação de Trabalho/Comunicação).

3.	CARNIELLI, Walter . Cuantificadores modulados y votación en poblaciones infinitas. 2007. (Apresentação de Trabalho/Conferência ou palestra).

4.	CARNIELLI, Walter . Combinations of logics: paradoxes, problems and perspectives. 2007. (Apresentação de Trabalho/Conferência ou palestra).

5.	CARNIELLI, Walter . Possible-Translations Semantics. Philosophisches Seminar, Universität Bonn, Alemanha, 12 de maio. 2005. (Apresentação de Trabalho/Conferência ou palestra).

6.	CARNIELLI, Walter . Tutotial: Many-Valued Semantics. 1st World School on Universal Logic, Montreux, Suiça, 26 a 30 de março. 2005. (Apresentação de Trabalho/Outra).

7.	CARNIELLI, Walter . Polynomial Ring Calculus for Logical Inference. 1st World Congress on Universal Logic, Montreux, Suíça,. 2005. (Apresentação de Trabalho/Comunicação).

8.	CARNIELLI, Walter . Integrating Inconsistent Information in Multiple Databases. Department of Electrical and Computer Engineering, University of Calgary, Canadá, 17 de maio. 2005. (Apresentação de Trabalho/Conferência ou palestra).

9.	CARNIELLI, Walter . Algebraizing Logics via Possible-Translations Semantics. Department of Electrical and Computer Engineering, University of Calgary, Canadá, 17 de maio. 2005. (Apresentação de Trabalho/Conferência ou palestra).

10.	CARNIELLI, Walter . Polynomial Ring Calculus for Many-valued Logics. 35th International Symposium on Multiple-Valued Logic. Calgary, Canadá, 19 a 21 de maio. 2005. (Apresentação de Trabalho/Comunicação).

11.	CARNIELLI, Walter . Integrating Inconsistent Information in Multiple Databases. Department of Electrical and Computer Engineering, University of Calgary, Canadá, 17 de maio. 2005. (Apresentação de Trabalho/Conferência ou palestra).

12.	CARNIELLI, Walter . Deconstructing logics by means of possible-translatins semantics, 2005 Winter Meeting of the Association for Symbolic Logic e American Philosophical Association. 2005. (Apresentação de Trabalho/Conferência ou palestra).

13.	CARNIELLI, Walter . The softened hermeneutics: new semantics for recalcitrant. XII Latin-American Symposium on Mathematical Logic (XII SLALM), Universidad de San José, Costa Rica, janeiro. 2004. (Apresentação de Trabalho/Conferência ou palestra).

14.	CARNIELLI, Walter . Minimalist Modalities. Logic and Computation Seminar, Instituto Superior Técnico, Lisboa, 20 de fevereiro. 2004. (Apresentação de Trabalho/Seminário).

15.	CARNIELLI, Walter . Minimalist Modalities. Logic and Computation Seminar, Instituto Superior Técnico, Lisboa, 20 de fevereiro. 2004. (Apresentação de Trabalho/Conferência ou palestra).

16.	CARNIELLI, Walter . Minimalist Modalities and Epistemic Paradoxes. Università degli Studi di Siena, Itália, 20 de abril. 2004. (Apresentação de Trabalho/Conferência ou palestra).

17.	CARNIELLI, Walter . Logicas de Inconsistentia Formal e su Semanticas. Proferida em Interlingua, Seminar de l'Institut de Logique, Université de Neuchâtel, Neuchâtel, Suiça, 17 de maio. 2004. (Apresentação de Trabalho/Conferência ou palestra).

18.	CARNIELLI, Walter . Algebraizing Logics via Possible-Translations Semantics. Seminari de Lògiques no-Clàssiques, Universitat de Barcelona, Espanha, 21 de maio. 2004. (Apresentação de Trabalho/Conferência ou palestra).

19.	CARNIELLI, Walter . Multimodalidades entre Positivas y Paraconsistentes. Universidad de Málaga, Espanha, 28 de junho. 2004. (Apresentação de Trabalho/Conferência ou palestra).

Demais tipos de produção bibliográfica

1.	CARNIELLI, Walter ; CONIGLIO, M. E. . "Combining logics" (verbete na Stanford Encyclopedia of Philosophy). Stanford, USA: Stanford University, 2007 (Verbete).

2.	CARNIELLI, Walter . Proceedings of the XIV Brazilian Logic Conference. Inglaterra, 2007. (Prefácio, Pósfacio/Prefácio).

3.	CARNIELLI, Walter . Prefácio de "The Magic Garden of George B. And Other Logic Puzzles". Monza, 2007. (Prefácio, Pósfacio/Prefácio).

4.	CARNIELLI, Walter . 2 "Lógica Paraconsistente, Sistemas de", em "Enciclopédia de Termos Lógico-Filosóficos" (editores João Branquinho, Desidério Murcho e Nelson Gonçalves Gomes). São Paulo: Martins FOntes, 2006 (Verbete).

5.	CARNIELLI, Walter ; CONIGLIO, M. E. ; D'OTTAVIANO, I. M. L. . An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference Logic. Journal of the IGPL 2005 13: 1-3., 2005. (Prefácio, Pósfacio/Prefácio).

6.	CARNIELLI, Walter ; MARCOS, J. ; BATENS, D. . A Paraconsistent Decagon. Journal of Applied Logic 3(1):1-5, 2005. (Prefácio, Pósfacio/Prefácio).

7.	CARNIELLI, Walter . An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference Logic. Inglaterra, 2005. (Prefácio, Pósfacio/Prefácio).

8.	CARNIELLI, Walter . Prefácio de "An Introduction to Partially Ordered Structures and Sheaves". Monza, 2005. (Prefácio, Pósfacio/Prefácio).

Produção técnica

Produtos tecnológicos

1.	CARNIELLI, Walter . Musica Pessoal.. 1988.

Trabalhos técnicos

1.	CARNIELLI, Walter . Membro do Comitê Científico - The 21st International Florida Artificial Intelligence Research Society Conference (FLAIRS-21). 2008.

2.	CARNIELLI, Walter . Membro do Comitê Científico - The 22 st International Florida Artificial Intelligence Research Society Conference (FLAIRS-21). 2008.

3.	CARNIELLI, Walter . Parecerista para "Journal of Algorithms in Cognition Information and Logic". 2008.

4.	CARNIELLI, Walter . Parecerista para "Logical Journal of the IGPL". 2008.

5.	CARNIELLI, Walter . Membro do Comitê Científico JELIA 2008 - 11th European Conference on Logics in Artificial Intelligence. 2007.

6.	CARNIELLI, Walter . Parecerista para "Journal of Symbolic Computation". 2007.

7.	CARNIELLI, Walter . Parecerista para "Journal of Applied Non-Classical Logics". 2007.

8.	CARNIELLI, Walter . Parecerista para "Archive for Mathematical Logic". 2007.

9.	CARNIELLI, Walter . Parecerista para "Erkenntnis". 2006.

10.	CARNIELLI, Walter . Resenhista ("reviewer") de "Computing Reviews", órgão da "Association for Computing Machinery". 2006.

11.	CARNIELLI, Walter . Parecerista para "Reports on Mathematical Logic". 2006.

12.	CARNIELLI, Walter . Parecerista para The Philosophical Quarterly (University of St Andrews, Escócia). 2005.

13.	CARNIELLI, Walter . Membro do Comitê de Programa do evento MBR'04-Model-Based Reasoning in Science and Engineering Abduction, Visualization, and Simulation, Pavia, Itália, 16 a 18 de dezembro. 2004.

14.	CARNIELLI, Walter . Membro do Comitê de Programa das Sextas Jornadas Rolando Chuaqui Kettlun en Matemática y Filosofía, Santiago do Chile, Chile, 27 e 28 de maio. 2004.

15.	CARNIELLI, Walter . Membro do Comitê de Programa do 9th European Conference on Logics in Artificial Intelligence- JELIA'04, Universidade Nova de Lisboa, Lisboa, Portugal, 27-30 de setembro. 2004.

16.	CARNIELLI, Walter . Membro do Comitê Organizador do Workshop on Combination of Logics: Theory and Applications (CombLog'04), CLC-IST, Lisboa, Portugal, 28-30 de julho. 2004.

17.	CARNIELLI, Walter . Membro do Comitê Organizador do evento III World Congress on Paraconsistency-WVP III, Toulouse, França, 28-31 de julho. 2003.

18.	CARNIELLI, Walter . Membro do Comitê Organizador do evento XIII Encontro Brasileiro de Lógica, CLE / UNICAMP, 26 a 30 de maio. 2003.

Demais tipos de produção técnica

1.	CARNIELLI, W.. A. . Livro ensina como melhorar o poder de argumentação. 2009. (Programa de rádio ou TV/Entrevista).

2.	CARNIELLI, Walter . Possible-Translations Semantics. 2008. (Curso de curta duração ministrado/Outra).

3.	CARNIELLI, Walter . Editor de Resenhas da revista " Logic and Logical Philosophy ", Polônia, a partir de janeiro de 2005. 2005. (Editoração/Periódico).

4.	CARNIELLI, Walter . Debatedor na Mesa-Redonda: O CLE: sua proposta interdisciplinar e seus destinos. CLE/SBL 25 Anos e XII, EBL, Campinas, maio. 2003. (Debatedor).

5.	CARNIELLI, Walter . Debatedor na Mesa-Redonda: Systems of paraconsistent logic: state of the art. WCP3- III World Congress on Paraconsistency Toulouse, França, julho. 2003. (Debatedor).

Produção artística/cultural

1	CARNIELLI, Walter ; MAIA, A. ; do Valle, R. ; Manzolli, J. . NonSequitur: Colagem Sonoro-visual para um Encontro entre Lógica e Música. Arte e Ciência. MultiCiência-Revista Interdisciplinar dos Centros e Núcleos da UNICAMP, número 2, maio. 2004. .

Demais trabalhos

1.	CARNIELLI, Walter . Polynomial as a proof method: a rendez vous between logic and algebra. 2008 (COnferência).

2.	CARNIELLI, Walter . Sewing Logics Together: the possible-translations semantics and new meanings for old logics. 2008 (Conferência).

3.	CARNIELLI, Walter . Possible-Translations Semantics and Logics of Formal Inconsistency. 2008 (COnferência).

4.	CARNIELLI, Walter . Combining Logics by Means of Possible-Translation Semantics and Society Semantics. 2008 (COnferência).

5.	CARNIELLI, Walter . Many-Valued and Modal Logics by Handling Polynomials: a Happy Marriage between Logic and Algebra?. 2008 (COnferência).

6.	CARNIELLI, Walter . Combining Logics. 2008 (COnferência).

7.	CARNIELLI, Walter . Proving Paraconsistent, Many-Valued and Modal Logics by Handling Polynomials: Some Perspectives on Polynomizing Logics. 2008 (COnferência).

Bancas

Participação em bancas examinadoras

Dissertações

1.	CONIGLIO, M. E.; BIANCONI, R.; CARNIELLI, Walter. Participação em banca de 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. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

2.	GIACOIA JUNIOR, O.; PELUSO, L. A.; CARNIELLI, Walter. Participação em banca de Fabricio Vasconcelos Gomes. Entre o Racional e o Justo: A Lógica e as Sentenças Judiciais. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

3.	FINGER, M.; CONIGLIO, M. E.; CARNIELLI, Walter. 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.

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

5.	CONIGLIO, M. E.; D'OTTAVIANO, I. M. L.; CARNIELLI, Walter. Participação em banca de Alberto Leopoldo Batista Netou. Representação e combinação de lógicas: questões conceituais. 2007. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

6.	CONIGLIO, M. E.; FINGER, M.; CARNIELLI, Walter. 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.

7.	VELOSO, P. A. S.; BIRABEN, R. C. E.; CARNIELLI, Walter. Participação em banca de Paulo Roberto Petrillo. Raciocínio Difuso via Lógicas Moduladas- Uma Solução ao Paradoxo dos Sorites. 2005. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

8.	VELOSO, P. A. S.; GRACIO, M. C. C.; BIRABEN, R. C. E.; FRANCOSO, E.; CARNIELLI, Walter. Participação em banca de Paulo Roberto Petrillo. Raciocinio difuso via logicas moduladas : uma solução ao paradoxo do Sorites. 2005. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

9.	CONIGLIO, M. E.; MARIANO, H.; CARNIELLI, Walter. 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.

10.	WASSERMANN, R.; CONIGLIO, M. E.; CARNIELLI, Walter. 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.

11.	FUHRMANN, A.; CARNIELLI, Walter. Participação em banca de Alexandre Fernandes Batista Costa Leite. Paraconsistencia, modalidades e cognoscibilidade. 2003. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

12.	CONIGLIO, M. E.; IBRI, I. A.; MORENO, A. R.; CARNIELLI, Walter. Participação em banca de Cassiano Terra Rodrigues. Lógica e Investigação. 2001. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

13.	CONIGLIO, M. E.; WASSERMANN, R.; CARNIELLI, Walter. Participação em banca de Víctor Leandro Fernández. Semântica de Sociedades para Lógicas n-Valoradas. 2001. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

14.	SILVA, R. R.; MORAES, R. C. C.; CARNIELLI, Walter. Participação em banca de Wagner de Mello Elias. A revelação da palavra de Deus nas sagradas escrituras e a subordinação da igreja a autoridade publica. 2001. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

15.	CONIGLIO, M. E.; BEZIAU, J.; CARNIELLI, Walter. Participação em banca de João Marcos de Almeida. Semântica de Traduções Possíveis. 1999. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

16.	CARNIELLI, Walter. Participação em banca de Ruben Aleksander Pela. Algoritmos Abstratos e Seu Significado Para A Matematica. 1996. Dissertação (Mestrado em Matemática) - Universidade Estadual de Campinas.

17.	SANTOS, J. P. O.; CARNIELLI, Walter. Participação em banca de Emerson Luiz do Monte Carmelo. O Problema das Hipertorres e Partições Polarizadas Finitas e Infinitas. 1995. Dissertação (Mestrado em Matemática) - Universidade Estadual de Campinas.

Teses de doutorado

1.	CONIGLIO, M. E.; BIANCONI, R.; MARIANO, H.; HAEUSLER, E. H.; CARNIELLI, Walter. Participação em banca de Luís Augusto Sbardellini. O Continuum, os Reais e o Conceito de Homogeneidade. 2005 - Universidade Estadual de Campinas.

2.	CONIGLIO, M. E.; D'OTTAVIANO, I. M. L.; VELOSO, P. A. S.; CATUOGNO, P.; FINGER, M.; CARNIELLI, Walter. Participação em banca de Victor Leandro Fernández. FIbrilação de Lógicas na Hierarquia de Leibniz. 2005 - Universidade Estadual de Campinas.

3.	RASGA, J.; CALEIRO, C.; CONIGLIO, M. E.; KRAUSE, D.; CARNIELLI, Walter. Participação em banca de João Marcos de Almeida. Logics of Formal Inconsistency. 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

4.	D'OTTAVIANO, I. M. L.; CONIGLIO, M. E.; DA COSTA, N. C. A.; SILVA, R. R.; CARNIELLI, Walter. Participação em banca de Frank Thomas Sautter. O Argumento Ontológico Gödeliano para a Existência de Deus. 2000. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

5.	D'OTTAVIANO, I. M. L.; CONIGLIO, M. E.; BASTOS, C. D.; PEREIRA, L. C. P. D.; QUEIROZ, R. J.; CARNIELLI, Walter. Participação em banca de Daniel Durante Pereira Alves. Normalização Forte via Ordinal Natural. 1999 - Universidade Estadual de Campinas.

Trabalhos de Conclusão de Curso de graduação

1.	CONIGLIO, M. E.; D'OTTAVIANO, I. M. L.; CARNIELLI, Walter. 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 Filosofia) - Universidade Estadual de Campinas.

2.	CONIGLIO, M. E.; D'OTTAVIANO, I. M. L.; CARNIELLI, Walter. Participação em banca de Rafael Rodrigues Testa. Lógica Deôntica para o Estudo de Sistemas Normativos. 2006. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Estadual de Campinas.

Participação em bancas de comissões julgadoras

Concurso público

1.	D'OTTAVIANO, I. M. L.; ALVES, E. H.; VELOSO, P. A. S.; CARNIELLI, Walter. Concurso Público de Provas e Títulos para Professor Titular. 2006. Universidade Estadual Paulista Júlio de Mesquita Filho.

2.	CARNIELLI, Walter. Banca de Concurso Público -Professor Assistente em Lógica- UNESP, Marília. 2003. Universidade Estadual Paulista Júlio de Mesquita Filho.

3.	BIANCONI, R.; CONIGLIO, M. E.; CARNIELLI, Walter. Banca de Processo Seletivo (para professor Doutor). 2002. Institutode Matemática e Estatística- Universidade de São Paulo.

Livre docência

1.	MIRAGLIA NETO, F.; COZMAN, F. G.; BARRERA, J.; WAINER, J.; CARNIELLI, Walter. Concurso de Livre-Docência. 2005. Institutode Matemática e Estatística- Universidade de São Paulo.

2.	D'OTTAVIANO, I. M. L.; DA COSTA, N. C. A.; PEREIRA, L. C. P. D.; MIRAGLIA NETO, F.; CARNIELLI, Walter. Concurso de Livre-Docente. 2004. Universidade Estadual de Campinas.

3.	CARNIELLI, Walter. Banca de Livre-Docência. 2002. Universidade de São Paulo.

Outras participações

1.	GONÇALVES, A.; CARNIELLI, Walter. Comissão de Avaliação de Doutorado de Emerson Monte Carmelo. 2003. Universidade Federal do Rio de Janeiro.

2.	FINGER, M.; WASSERMANN, R.; CARNIELLI, Walter. Comissão Julgadora de Dissertação de Mestrado de Wagner Dias. 2002. Universidade de São Paulo.

Eventos

Participação em eventos

1.	QICS Workshop on Foundational Structures for Quantum Information and Computation.Is quantum computation logic-dependent?. 2008. (Congresso).

2.	"First International Workshop on Foundations of Computer Science as Logic-Related".Computability: Logic versus Physics. 2008. (Oficina).

3.	Logic School/ Escola de Lógica.Possible-Translations Semantics (Tutorial). 2008. (Outra).

4.	XII Encontro Nacional de Filosofia da ANPOF.O que é isso: a Relevância Filosófica?. 2006. (Encontro).

5.	The 2nd Indian International Conference on Artificial Intelligence.Quantum algorithms, paraconsistent computation and Deutsch's problem. 2005. (Congresso).

6.	Logic and Computation Seminar.Minimalist modalities. 2004. (Seminário).

7.	CLE/SBL 25 ANos.O CLE, sua proposta interdisciplinar e seus destinos. 2003. (Oficina).

8.	V Jornadas ROlando Chuaqui Kettlun de Matemática y FIlosofia.Logicas de la inconsistencia formal. 2003. (Oficina).

9.	X Encontro Nacional de Filosofia da ANPOF.As regras derivadas e a aficiência relativa dos métodos de demonstração. 2002. (Encontro).

10.	Seminário - Universidad EAFIT.Semanticas de Sociedad y C-Sistemas. 2002. (Outra).

Organização de eventos

1.	CARNIELLI, Walter ; D'OTTAVIANO, I. M. L. ; CONIGLIO, M. E. . "CLE 30 30th Anniversary of the Centre for Logic, Epistemology and the History of Science, UNICAMP", " XV EBL -15th Brazilian Logic Conference", "XIV SLALM 14th Latin-American Symposium on Mathematical Logic". 2008. (Congresso).

2.	CARNIELLI, Walter ; CONIGLIO, M. E. ; D'OTTAVIANO, I. M. L. . Logic School/ Escola de Lógica. 2008. (Outro).

3.	CARNIELLI, Walter . "First International Workshop on Foundations of Computer Science as Logic-Related". 2008. (Congresso).

4.	CARNIELLI, Walter . "Logical Consequence and its Combinations", sessão do IICAI-05, Pune, India. 2005. (Congresso).

5.	CARNIELLI, Walter . Workshop "Semantics and Meaning" (SeMe 2005), organizado em torno da visita de Saul Kripke ao CLE. 2005. (Congresso).

Orientações

Orientações em andamento

Dissertação de mestrado

1.	Pietro Kreitlon Carolino. Polinomizando: Um Método de Representação em Lógica, com Raízes em Leibniz e Boole. Início: 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. (Orientador).

Tese de doutorado

1.	Samir Bezerra Gosrki. Dilemas, paradoxos e antinomias, e seu papel na FIlosofia. Início: 2008. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas. (Orientador).

2.	Anderson de Araújo. As provas de Kripke do argumento de Gödel. Início: 2008. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas. (Orientador).

3.	Juan Carlos Agudelo. Modelos não-convencionais de computação. Início: 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. (Orientador).

4.	Rodrigo de Alvarenga Freire. Teoria de Galois Generalizada. Início: 2004 - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. (Orientador).

Iniciação científica

1.	Igor Carboni Oliveira. Computabilidade e Indecidibilidade. Início: 2008. Iniciação científica (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. (Orientador).

Supervisões e orientações concluídas

Dissertação de mestrado

1.	Fabrício Vasconcelo Gomes. Entre o Racional e o Justo: A Lógica e as Sentenças Judiciais. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Walter Alexandre Carnielli.

2.	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, . Orientador: Walter Alexandre Carnielli.

3.	Rodrigo Podiacki Barreto de Menezes. Lógicas da Inconsistência Formal Quantificadas. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Walter Alexandre Carnielli.

4.	Juan Carlos Agudelo. Da computação paraconsistente à computação quântica. 2006. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Walter Alexandre Carnielli.

5.	Paulo Roberto Petrillo. Raciocínio Difuso via Lógicas Moduladas: Uma Solução ao Paradoxo dos Sorites. 2005. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Walter Alexandre Carnielli.

6.	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, . Orientador: Walter Alexandre Carnielli.

7.	Denise Maldonado da Cunha. Crenças não ditas, ditos de crenças. 2003. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Walter Alexandre Carnielli.

8.	Alexandre Fernandes Batista Costa Leite. Paraconsistência, Modalidades e Cognoscibilidade.. 2003. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Walter Alexandre Carnielli.

9.	João Marcos de Almeida. Semânticas de Traduções Possíveis. 1999. Dissertação - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Walter Alexandre Carnielli.

10.	Ruben Aleksander Pela. Algoritmos Abstratos e Seu Significado Para A Matematica. 1996. Dissertação (Mestrado em Matemática) - Universidade Estadual de Campinas, . Orientador: Walter Alexandre Carnielli.

11.	Emerson Luiz do Monte Carmelo. O Problema das Hipertorres e Particoes Polarizadas Finitas e Infinitas. 1995. Dissertação (Mestrado em Matemática) - Universidade Estadual de Campinas, . Orientador: Walter Alexandre Carnielli.

12.	Pedro Catuogno. Produto Semidireto e Subdiretamente Irredutiveis. 1992. Dissertação (Mestrado em Matemática) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Walter Alexandre Carnielli.

13.

José Carlos Cifuentes Vasquez. O Metodo dos Isomorfismos Parciais e A Caracterizacao Algebrica da Expressabilidade Matematica. 1988. Dissertação (Mestrado em Matemática) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. Orientador: Walter Alexandre Carnielli.

Tese de doutorado

1.	João Marcos de Almeida. Logics of Formal Inconsistency. 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, . Orientador: Walter Alexandre Carnielli.

2.	Maria Cláudia Cabrini Grácio. Lógicas Moduladas e Bases para o Raciocínio sob Incerteza. 1999. Tese - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Walter Alexandre Carnielli.

3.	Denise Guliato. Algoritnos para Segmentação Difusa de Imagens. 1998. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Co-Orientador: Walter Alexandre Carnielli.

4.	Mamede Lima-Marques. Un Environemt Multimodal pour la Resolution des Conflicts Aerienes. 1992. Tese (Doutorado em Computaçãoe Informática) - Universite de Toulouse III (Paul Sabatier), Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Walter Alexandre Carnielli.

Orientações de outra natureza

1.	Bruno Jacinto. Estágio na Unicamp como ganhador do Prêmio Santander. 2007. Orientação de outra natureza. (Filosofia) - Universidade de Lisboa. Orientador: Walter Alexandre Carnielli.

2.	Hugo Luiz Mariano. Supervisão de Pós-Doutorado. 2004. Orientação de outra natureza. (Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Walter Alexandre Carnielli.

3.	Andréas Brunner. Supervisão de Pós-Doutorado. 2003. Orientação de outra natureza. (Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Walter Alexandre Carnielli.

4.	Márcio Chaves-Tannus. Supervisão de Pós-Doutorado. 2003. Orientação de outra natureza - Centro de Lógica, Epistemologia e História da Ciência- UNICAMP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Walter Alexandre Carnielli.

5.	Mamede Lima-Marques. Supervisão de Pós-Doutorado. 1995. Orientação de outra natureza - Centro de Lógica, Epistemologia e História da Ciência- UNICAMP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Walter Alexandre Carnielli.

Outras informações relevantes

CONFERÊNCIAS (Conferencista convidado)

     Universidad Católica de Chile, Santiago, Chile,1985 

     Graduate Center, City University of New York, EUA, 1986 

     IBM Research Center, San Jose, California, EUAA, 1986 

     Instituto de Matemáticas, IVIC, Venezuela, 1987 

     Departamento de Matemáticas, Universidad de Mérida, Venezuela,1987 

     Università degli Studi di Torino, Itália, 1988 

     Università degli Studi di Siena,   Itália, 1988 

     Universitá degli Studi di Firenze,  Itália, 1988 

     Université Paul Sabatier, França , 1988, 1989, 1991 

     Université Catolique de Louvain, Bélgica, 1988 

     Max Planck Institut, Bonn, Alemanha, 1988 

     Mathematisches Forschungsinstitut, Oberwolfach, Alemanha, 1988 

     Westfälische-Wilhelms-Universität, Münster, Alemanha, 1990 

     Universiteet van Amsterdam, Holanda, 1989 

     Uniwersytet Warszawski, Warsaw, Polônia, 1990 

     Instituto Internacional de Estudos Avanzados (IDEA-UNESCO) Caracas,Venezuela, 1992 

     Université de Paris, Orsay, França, 1992 

     Invited participant in the Project DRUMS (SPRIT- European Community ) Gif-sur-Ivette,
     França, 1992 

     Universidad Nacional de Colombia, Santafé de Bogotá, Colombia, 1994 

     Universidad de Los Andes, Santafé de Bogotá, Colombia, 1994 

     Universidade de Évora, Portugal, 1998 

     University of Torun, Polônia, 1998 

     Instituto Superior Técnico, Lisboa, Portugal, 1999 

     Universitat de Barcelona, Espanha, 1999 

     Universidad de Málaga, Espanha, 1999 

     New Europe College, Bucareste, Romênia, 2000

    Instituo SUperor Técnico , Lisboa,  Portugal, 2004, 2005, 2006
, 
    Departamneto  de  Matemática, Un. de Málaga, Espnaha, 2004

   Arché Philosophical Research Centre for Logic, Language,
   Metaphysics and Epistemology, St. Andrews, Escócia, 2008

   Roskilde University, Roskilde, Dinamarca, 2008 

   Technical University of Denmark.