Currículo do Sistema de Currículos Lattes (Joao Marcos de Almeida)

Dados pessoais

Nome	Joao Marcos de Almeida
Nome em citações bibliográficas	MARCOS, J.;Marcos, João
Sexo	Masculino

Endereço profissional

Universidade Federal do Rio Grande do Norte, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.
Campus Universitario
Lagoa Nova
59072-970 - Natal, RN - Brasil
Telefone: (84) 32153814 Ramal: 220
URL da Homepage: http://sequiturquodlibet.googlepages.com

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

2009 - 2010

Pós-Doutorado .
Technische Universitat Wien.
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: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógica.

2003 - 2005

Doutorado em Matemática .
Universidade Técnica de Lisboa, UTL, Portugal.
Título: Logics of Formal Inconsistency, Ano de Obtenção: 2005.
Orientador: Carlos Caleiro.
Bolsista do(a): Fundação Para a Ciência e a Tecnologia ,FCT ,Portugal .
Palavras-chave: Lógica - Filosofia; Logica matemática não-clássica; Semânticas (Filosofia); Modalidade (Lógica); Inferência (Lógica).
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
Setores de atividade: Educação; Outros Setores.

1999 - 2005

Doutorado em Filosofia .
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Logics of Formal Inconsistency, Ano de Obtenção: 2005.
Orientador: Walter Alexandre Carnielli.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .
Palavras-chave: Lógica - Filosofia; Logica matemática não-clássica; Semânticas (Filosofia); Modalidade (Lógica); Inferência (Lógica).
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
Setores de atividade: Educação; Outros Setores.

1997 - 1999

Mestrado em Lógica e Filosofia da Ciência .
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Semânticas de Traduções Possíveis, Ano de Obtenção: 2000.
Orientador: Walter Alexandre Carnielli.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .
Palavras-chave: Linguagens formais - Semântica; Lógica matemática não-clássica; Lógica - Filosofia.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
Grande área: Ciências Humanas / Área: Filosofia.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.
Setores de atividade: Educação; Outros Setores.

1992 - 1996

Graduação em Engenharia Civil .
Universidade Federal de Minas Gerais, UFMG, Brasil.

Formação complementar

1995 - 1995

Análise na Reta. (Carga horária: 48h).
Associação Instituto Nacional de Matemática Pura e Aplicada.

Atuação profissional

Universidade Federal do Ceará, UFC, Brasil.

Vínculo institucional

2008 - 2010

Vínculo: Colaborador, Enquadramento Funcional: Prof. Adjunto

Atividades

2008 - 2010	Atividades de Participação em Projeto, Centro de Ciências, Departamento de Computação.
	Projetos de pesquisa Lógica em Computação

Universidade Federal do Rio Grande do Norte, UFRN, Brasil.

Vínculo institucional

2006 - Atual

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

Atividades

2009 - Atual	Atividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.
	Projetos de pesquisa Lógica, Linguagem, Informação, Teoria e Aplicações (LoLITA)

8/2006 - Atual	Ensino, Engenharia da Computação, Nível: Graduação.
	Disciplinas ministradas Lógica Aplicada à Computação Algoritmos e Técnicas de Programação Lógica Computacional: demonstração assistida e semi-automática de teoremas

6/2006 - Atual	Atividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.
	Projetos de pesquisa Ensino de Lógica

3/2006 - Atual	Atividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.
	Projetos de pesquisa Teoria e Inteligência Computacional (TIC)

10/2005 - Atual	Atividades de Participação em Projeto, Centro de Ciências Humanas Letras e Artes, Departamento de Filosofia.
	Projetos de pesquisa Lógica, Conhecimento e Ética

2008 - 2010	Atividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.
	Projetos de pesquisa Demonstração Assistida e Experimentação Computacional com Lógicas Não-Clássicas Fortalecimento do PPgSC/UFRN através de Projetos para Desenvolvimento de Tecnologias em Software e Hardware para Sistemas Embarcados

2/2006 - 7/2006	Ensino, Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Lógica Aplicada à Computação Laboratório de Linguagem de Programação

Instituto Superior Técnico da UTL, IST, Portugal.

Vínculo institucional

2005 - Atual

Vínculo: Membro Grupo de Investigação, Enquadramento Funcional: , Carga horária: 0

Outras informações

Full member of the Center for Logic and Computation (CLC) http://clc.math.ist.utl.pt/membership.html

Vínculo institucional

2005 - 2005

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

Outras informações

Collaborator of the Center for Logic and Computation (CLC)

Vínculo institucional

2003 - 2005

Vínculo: Estudante de Doutorado, Enquadramento Funcional: Bolsista, Carga horária: 0, Regime: Dedicação exclusiva.

Outras informações

Orientador: Carlos Caleiro (IST / UTL). Co-orientador: Walter Carnielli (Unicamp - Brasil) Com a bolsa SFRH / BD / 8825 / 2002 da FCT, Portugal, durante todo o período.

Atividades

3/2005 - Atual	Pesquisa e desenvolvimento , Centro de Lógica e Computação, .
	Linhas de pesquisa QuantLog: Logic in Quantum Computation and Information

3/2003 - 2/2005	Pesquisa e desenvolvimento , Departamento de Matemática, Centro de Lógica e Computação.
	Linhas de pesquisa Lógica dedutiva abstrata e aplicações Combinações entre lógicas

3/2003 - 2/2005	Atividades de Participação em Projeto, Departamento de Matemática, Centro de Lógica e Computação.
	Projetos de pesquisa Fibring Logics (FibLog)

9/2003 - 8/2004	Ensino, Engenharia do Ambiente, Nível: Graduação.
	Disciplinas ministradas Computação e Programação

9/2003 - 8/2004	Ensino, Engenharia Biológica, Nível: Graduação.
	Disciplinas ministradas Computação e Programação

9/2003 - 8/2004	Ensino, Engenharia Geológica e Mineira, Nível: Graduação.
	Disciplinas ministradas Computação e Programação

9/2003 - 8/2004	Ensino, Engenharia de Materiais, Nível: Graduação.
	Disciplinas ministradas Computação e Programação

9/2003 - 8/2004	Ensino, Engenharia Química, Nível: Graduação.
	Disciplinas ministradas Computação e Programação

9/2003 - 8/2004	Ensino, Química, Nível: Graduação.
	Disciplinas ministradas Computação e Programação

9/2003 - 8/2004	Ensino, Ciências Informáticas, Nível: Graduação.
	Disciplinas ministradas Lógica Computacional

9/2003 - 8/2004	Ensino, Matemática Aplicada e Computação, Nível: Graduação.
	Disciplinas ministradas Lógica Computacional

Universidade Estadual de Campinas, UNICAMP, Brasil.

Vínculo institucional

2005 - Atual

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

Outras informações

Projeto Temático Fapesp: Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications

Vínculo institucional

1999 - 2005

Vínculo: Estudante de doutorado, Enquadramento Funcional: Bolsista, Carga horária: 0, Regime: Dedicação exclusiva.

Outras informações

Orientador: Walter Alexandre Carnielli (Unicamp). Co-orientador: Carlos Caleiro (IST / UTL - Portugal) Com bolsa da CAPES entre 03/1999 e 02/2001. Com bolsa Dehousse (Bélgica) entre 03/2001 e 02/2002. Com bolsa do CNPq entre 04/2002 e 02/2003. Com bolsa da FCT (Portugal) entre 03/2003 e 02/2005.

Vínculo institucional

1997 - 1999

Vínculo: Estudante de mestrado, Enquadramento Funcional: Bolsista, Carga horária: 0, Regime: Dedicação exclusiva.

Outras informações

Orientador: Walter Alexandre Carnielli. Com bolsa do CNPq durante todo o período.

Atividades

2010 - Atual

Atividades de Participação em Projeto, .

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 10/51038-0)

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 (ConsRel 2004\14107-2)

3/1999 - 2/2005	Pesquisa e desenvolvimento , Instituto de Filosofia e Ciências Humanas, Departamento de Filosofia.
	Linhas de pesquisa Filosofia

1/1999 - 2/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

3/1997 - 2/1999	Pesquisa e desenvolvimento , Instituto de Filosofia e Ciências Humanas, Departamento de Filosofia.
	Linhas de pesquisa Lógica e Filosofia da Ciência

Rijksuniversiteit te Gent, RG, Bélgica.

Vínculo institucional

2001 - 2002

Vínculo: Outro, Enquadramento Funcional: Pesquisador, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações

Orientador: Diderik Batens. Com uma bolsa de doutoramento Dehousse, RUG, Bélgica. Minha página pessoal no Centre for Logic and Philosophy of Science, RUG, Ghent, Bélgica: http://logica.rug.ac.be/centrum/members/joao.html

Atividades

3/2001 - 2/2002	Pesquisa e desenvolvimento , Centre For Logic And Philosophy Of Science, Philosophy And Moral Science Department.
	Linhas de pesquisa Lógica e Filosofia da Ciência

3/2001 - 2/2002	Atividades de Participação em Projeto, Centre For Logic And Philosophy Of Science, Philosophy And Moral Science Department.
	Projetos de pesquisa Development of adaptive logics for the study of central topics in contemporary philosophy of science (GOA)

Universidade Federal de Minas Gerais, UFMG, Brasil.

Vínculo institucional

1994 - 1996

Vínculo: Outro, Enquadramento Funcional: Estudante de Iniciação Científica, Carga horária: 20

Outras informações

Orientador: Armando Gil Magalhães Neves. Com bolsa do CNPq durante todo o período.

Atividades

8/1994 - 12/1996	Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Matemática.
	Linhas de pesquisa Física Matemática

Centro Universitário do Leste de Minas Gerais, UNILESTEMG, Brasil.

Vínculo institucional

2003 - 2005

Vínculo: Celetista, Enquadramento Funcional: Professor assistente, Carga horária: 5

Atividades

3/2003 - 12/2005	Outras atividades técnico-científicas , Centro de Ciências Exatas, Computação e Sistemas de Informação.
	Atividade realizada Consultoria didática.

Linhas de Pesquisa

1.	Lógica e Filosofia da Ciência

2.	Física Matemática

3.	Lógica e Filosofia da Ciência

4.	Filosofia

5.	Lógica dedutiva abstrata e aplicações

6.	Combinações entre lógicas

7.	QuantLog: Logic in Quantum Computation and Information

Projetos de Pesquisa

2010 - Atual

Logical Consequence, Reasoning and Computation (LogCons 10/51038-0)

Descrição: A noção de consequência lógica, na tradição clássica, consiste na relação fundamental entre premissas e conclusão, válida em qualquer aspecto do raciocínio. Dessa forma, os fundamentos da noção de consequência lógica podem ser analisados em dois aspectos principais: do ponto de vista das demonstrações (ou provas) e sob o aspecto modelo-teórico. Há, contudo, muitos problemas relativos a ambas as abordagens, que investigamos no presente projeto. O ponto de vista das combinações de lógicas nos permite resolver diversos dos problemas presentes no estado da arte das pesquisas em Lógica. Questões análogas às da combinação de semânticas e lógicas não-clássicas dão um novo e promissor impulso para a pesquisa sobre novos modelos de computação, como a computação e informação quântica, busca de algoritmos quânticos e criptografia quântica. O impacto das aplicações práticas de combinações de lógicas nos campos de prova de teoremas, IA, revisão de crenças, probabilidade e possibilidade, herdando do projeto anterior (ConsRel 2004\14107-2), será continuado a ser estudado. Isto justifica amplamente o interesse em se partir da perspectiva de combinar noções de consequência lógica para investigar temas de cunho probabilístico, computacionais e filosóficos..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico ( 8) Doutorado ( 8) .
Integrantes: Itala Maria Loffredo D'Ottaviano - Integrante / Walter Alexandre Carnielli - Coordenador / Marcelo Esteban Coniglio - Integrante / Joao Marcos de Almeida - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro..

2009 - Atual	Lógica, Linguagem, Informação, Teoria e Aplicações (LoLITA)
	Situação: Em andamento; Natureza: Pesquisa. Integrantes: Benjamín René Callejas Bedregal - Integrante / Regivan Hugo Nunes Santiago - Coordenador / Joao Marcos de Almeida - Integrante. .

2008 - 2010	Demonstração Assistida e Experimentação Computacional com Lógicas Não-Clássicas
	Situação: Em andamento; Natureza: Pesquisa. Integrantes: Francisco Miguel Dionísio - Integrante / Maria Paula Gouveia - Integrante / Joao Marcos de Almeida - Coordenador. .

2008 - 2010

Fortalecimento do PPgSC/UFRN através de Projetos para Desenvolvimento de Tecnologias em Software e Hardware para Sistemas Embarcados

Situação: Em andamento; Natureza: Pesquisa.
Integrantes: Benjamín René Callejas Bedregal - Integrante / Regivan Hugo Nunes Santiago - Integrante / Paulo Augusto Silva Veloso - Integrante / David Boris Paul Deharbe - Integrante / Thais Vasconcelos Batista - Integrante / Flávia Coimbra Delicato - Integrante / Jair Cavalcanti Leite - Integrante / Paulo de Figueiredo Pires - Integrante / Roberta de Souza Coelho - Integrante / Uirá Kulesza - Integrante / Arndt von Staa - Integrante / Carlos José Pereira de Lucena - Integrante / Simone Diniz Junqueira Barbosa - Integrante / Viviane Torres da Silva - Integrante / Martin Alejandro Musicante - Integrante / Anamaria Martins Moreira - Integrante / Marcel Vinícius Medeiros Oliveira - Integrante / Augusto Cezar Alvez Sampaio - Integrante / André Luis de Medeiros Santos - Integrante / Paulo Henrique Monteiro Borba - Integrante / Ricardo Massa Ferreira Lima - Integrante / Ivan Saraiva Silva - Integrante / Fernando Rangel Sousa - Integrante / Sergio Bampi - Integrante / Altamiro Amadeu Susin - Integrante / Elizabeth Ferreira Gouvêa Goldbarg - Integrante / Marco César Goldbarg - Integrante / Luciana Salete Buriol - Integrante / Marcus Rolf Peter Ritt - Integrante / Edson Prestes e Silva Junior - Integrante / Mário Roberto Folhadela Benevides - Integrante / Joao Marcos de Almeida - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..

2008 - 2010

Lógica em Computação

Situação: Em andamento; Natureza: Pesquisa.
Integrantes: Paulo Augusto Silva Veloso - Integrante / Ana Teresa de Castro Martins - Integrante / Tarcísio Haroldo Cavalcante Pequeno - Coordenador / Davi Romero de Vasconcelos - Integrante / Jean-Yves Béziau - Integrante / Marcelino Cavalcante Pequeno - Integrante / Jorge Petrucio Viana - Integrante / Renata Pereira de Freitas - Integrante / Sheila Regina Murgel Veloso - Integrante / Luiz Carlos Pereira - Integrante / Arthur Ronald de Vallauris Buchsbaum - Integrante / Joao Marcos de Almeida - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..

2006 - 2009

Teoria e Inteligência Computacional (TIC)

Descrição: As exigências da nova geração de sistemas como interatividade, desempenho, adequabilidade, baixo risco, qualidade, corretude, validação, confiabilidade, dentre outros requer a integração das diversas tecnologias que suporta o desenvolvimento de sistemas híbridos. Em paralelo à aplicação de tecnologias de ponta, uma base teórica que dê suporte ao desenvolvimento desses sistemas é outra exigência fundamental. A proposta do grupo é desenvolver pesquisa, promovendo o aprofundando nessas tecnologias essenciais e a integração das mesmas, bem como o desenvolvimento da base teórica necessária para a aplicação das mesmas, afim de viabilizar o desenvolvimento desses sistemas híbridos. É nosso objetivo também a disseminação desse trabalho através da geração de tecnologia, da aplicação efetiva desta nos diversos setores produtivos da nossa sociedade, além da geração de multiplicadores através dos nossos bolsistas e alunos..
Situação: Desativado; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 22) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Aarão Lyra - Integrante / André Maurício Cunha Campos - Integrante / Anne Magaly de Paula Canuto - Coordenador / Benjamín René Callejas Bedregal - Integrante / Bruno Motta de Carvalho - Integrante / Marcílio Carlos Pereira de Souto - Integrante / Regivan Hugo Nunes Santiago - Integrante / Joao Marcos de Almeida - Integrante.
.

2006 - 2009

Ensino de Lógica

Descrição: Projeto de Iniciação à Docência (Monitoria) para a disciplina de Lógica Aplicada à Computação Diagnóstico A disciplina DIM0050, Lógica Aplicada à Computação faz parte da grade teórica mais fundamental e básica dos cursos de graduação em Ciência da Computação (turmas de 50 alunos, nas ênfases em Sistemas de Informação e em Computação Científica ) e de Engenharia da Computação (turmas de 50 alunos, nas ênfases em Sistemas de Computação e em Automação Industrial ), e é oferecida continuamente a cada semestre letivo pelos professores da área de Teoria da Computação do DIMAp. Sobre a importância teórica desta disciplina na formação dos alunos de computação, não é nenhum exagero dizer que a lógica está para a informática assim como o cálculo está para a engenharia. Todas as outras áreas teóricas e aplicadas da computação devem alguns de seus componentes à lógica. De modo geral, o projeto de monitoria em Ensino de Logica pretende fornecer assistência pedagógica aos alunos que cursam a disciplina obrigatória DIM0050, ao mesmo tempo em que complementa a formação do monitor associado ao projeto, levando em conta a máxima de que ensinar é a melhor forma de aprender . Os objetivos mais específicos deste projeto, e seus efeitos esperados, são arrolados abaixo, na seção Objetivos . Objetivos (1) Prover assistência pedagógica aos alunos da disciplina. Localizar e sanar deficiências de formação dos alunos de Ciência da Computação e Engenharia de Computação, visando principalmente contribuir na revisão dos pré-requisitos cursados pelos alunos de Ciência da Computação. (2) Testar e dar início ao uso de softwares para ensino de Lógica para os cursos de graduação na área de informática e matemática aplicada..
Situação: Em andamento; Natureza: Outra.
Alunos envolvidos: Graduação ( 2) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Regivan Hugo Nunes Santiago - Integrante / Daniel Cunha Silva - Integrante / Clarissa Araújo Azevedo - Integrante / Joao Marcos de Almeida - Coordenador.
Financiador(es): Pró Reitoria de Graduação - Bolsa..

2005 - 2009

Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications (ConsRel 2004\14107-2)

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. Início: 01 de abril de 2005.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 1) / Especialização ( 0) / Mestrado acadêmico ( 2) / Mestrado profissionalizante ( 0) / Doutorado ( 7) .
Integrantes: Itala Maria Loffredo D'Ottaviano - Integrante / Walter Alexandre Carnielli - Coordenador / Marcelo Esteban Coniglio - Integrante / Carlos Caleiro - Integrante / Hércules de Araújo Feitosa - Integrante / Cristina Sernadas - Integrante / João Rasga - Integrante / Paulo Mateus - Integrante / Amilcar Sernadas - Integrante / Luís Augusto Sbardellini - Integrante / Juliana Bueno - Integrante / Hugo Mariano - Integrante / Odilon Otávio Luciano - Integrante / Renata Wassermann - Integrante / Marcelo Finger - Integrante / Jean Yves Béziau - Integrante / Dov Gabbay - Integrante / Angela Weiss - Integrante / Flávio Correia da Silva - Integrante / Milton Augustinis 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 / Joao Marcos de Almeida - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Universidade de São Paulo - Cooperação / Universidade Estadual de Campinas - Cooperação.
Número de produções C, T & A: 10.

2005 - Atual

Lógica, Conhecimento e Ética

Descrição: As atividades do Grupo Lógica, Conhecimento e Ética, dão continuidade àquelas desenvolvidas no Grupo Cultura Científica e Produção do Conhecimento nas Ciências. Elas priorizam estudos sobre os modos de pensamento, as formas de conhecer e de representar o conhecimento, a construção de conceitos e a análise de vários conceitos no âmbito da Filosofia e da ciência. A postura epistemológica e metodológica resguarda o caráter coletivo do grupo e destaca as articulações necessárias à interdisciplinaridade e ao estabelecimento da relação entre os vários níveis de ensino. O grupo de pesquisadores com formação em áreas diversas viabiliza a pesquisa em áreas distintas do conhecimento sobre explicações de fenômenos e de problemas na ciência e na Filosofia e sobre seus fundamentos ontológicos, epistemológicos e lógicos. Os projetos se distribuem em três linhas de pesquisa que focalizam a Modelagem Conceitual com estudos de interesse para a filosofia e a ciência, e a Modelagem Lógica, que investiga sistemas lógicos clássico e não-clássicos, de discursos científicos ou filosóficos. Ao disseminar conhecimentos filosóficos/científicos relevantes numa perspectiva mais contemporânea, o grupo tem contribuído para a formação filosófico/científica da comunidade acadêmica e sociedade em geral..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Daniel Durante Pereira Alves - Integrante / Ângela Maria Paiva Cruz - Coordenador / Maria da Paz Nunes de Medeiros - Integrante / Cinara Maria Leite Nahra - Integrante / Glenn W Erickson - Integrante / Jaime Biella - Integrante / José Eduardo de Almeida Moura - Integrante / Juan Adolfo Bonaccini - Integrante / Ruben Guedes Nunes - Integrante / Sandra Sassetti Fernandes Erickson - Integrante / Sérgio Eduardo Lima da Silva - Integrante / Tassos Lycurgo Galvão Nunes - Integrante / Maria Cristina Dal Pian - Integrante / Joao Marcos de Almeida - Integrante.

Número de produções C, T & A: 7.

2003 - 2005

Fibring Logics (FibLog)

Descrição: A project of CLC on fibring and other constructions for combining logics with applications to the development of mixed logics, such as logics of hybrid systems and logics of authentication..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 1) .
Integrantes: Carlos Caleiro - Integrante / Amílcar Sernadas - Coordenador / Cristina Sernadas - Integrante / Jaime Ramos - Integrante / João Rasga - Integrante / Paulo Mateus - Integrante / Joao Marcos de Almeida - Integrante.
Financiador(es): Fundação Para a Ciência e a Tecnologia - Bolsa / European Fund For Regional Development - Auxílio financeiro.
Número de produções C, T & A: 34.

2001 - 2002

Development of adaptive logics for the study of central topics in contemporary philosophy of science (GOA)

Descrição: The aim of the project is to develop (corrective, ampliative and combined) adaptive logics that enable one to formally approach forms of reasoning that play a central role in the philosophy of science. Attention will be focussed on five topics: scientific explanation, causality, discovery, functional analysis, and confirmation. We shall formally express proposals from the philosophy of science literature but also develop new proposals. An underlying aim is to restore formal precision in the philosophy of science..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 2) .
Integrantes: Diderik Batens - Coordenador / Erik Weber - Integrante / Lieven Haesaert - Integrante / Joao Marcos de Almeida - Integrante.
Financiador(es): Rijksuniversiteit te Gent - Bolsa.
Número de produções C, T & A: 12.

1999 - 2001

Logic Modelling of Applied Deduction Systems

Descrição: Projeto ProBrAl (Brasil-Alemanha) Capes / DAAD Incluindo *estágio científico* do presente pesquisador em Karlsruhe entre setembro de 2000 e Novembro de 2000, e em Janeiro de 2001, financiado pelo projeto. 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.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 5) .
Integrantes: Itala Maria Loffredo D'Ottaviano - Integrante / Walter Alexandre Carnielli - Coordenador / Marcelo Esteban Coniglio - 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.
Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Deutscher Akademischer Austausch Dienst - Auxílio financeiro.
Número de produções C, T & A: 5.

Revisor de periódico

2009 - Atual	Periódico: Mathematical Reviews
2010 - Atual	Periódico: Zentralblatt MATH

Áreas de atuação

1.	Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.
2.	Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
3.	Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Semânticas Formais.
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: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Combinações Entre Lógicas.
6.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.

Idiomas

Português	Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Holandês	Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.
Alemão	Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Espanhol	Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês	Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Inglês	Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Italiano	Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Hebraico	Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.
Interlíngua	Lê Bem, Escreve Pouco.
Latim	Lê Razoavelmente, Escreve Pouco.

Prêmios e títulos

2005	Aprovação no concurso público para provimento do cargo de Professor Adjunto - Setor de Ciência da Computação, Universidade Federal do Ceará.
2005	Aprovação no concurso público para provimento do cargo de Professor Adjunto - Setor de Ciência da Computação, Universidade Federal do Rio Grande do Norte.
1996	Prêmio da V Semana de Iniciação Científica da UFMG, Universidade Federal de Minas Gerais.
1991	3a. colocação na Olimpíada de Matemática de Minas Gerais, Sociedade Brasileira de Matemática.

Produção em C,T & A

Produção bibliográfica

Artigos completos publicados em periódicos

1.	MARCOS, J. . (Wittgenstein & Paraconsistência). Principia (UFSC), v. 14, p. 135-173, 2010.

2.	Marcos, João . Automatic Generation of Proof Tactics for Finite-Valued Logics. Electronic Proceedings in Theoretical Computer Science, v. 21, p. 91-98, 2010.

3.	MARCOS, J. . What is a Non-truth-functional Logic?. Studia Logica, v. 92, p. 215-240, 2009.

4.	MARCOS, J. . Possible-translations semantics for some weak classically-based paraconsistent logics. Journal of Applied Non-Classical Logics, v. 18, p. 7-28, 2008.

5.	MARCOS, J. . On negation: Pure local rules. Journal of Applied Logic, v. 3, n. 1, p. 185-219, 2005.

6.	MARCOS, J. . Logics of essence and accident. Bulletin of the Section of Logic, Lodz, v. 34, n. 1, p. 43-56, 2005.

7.	MARCOS, J. . Nearly every normal modal logic is paranormal. Logique et Analyse, Brussels, v. 48, n. 189/192, p. 279-300, 2005.

8.	CARNIELLI, Walter Alexandre ; MARCOS, J. ; AMO, Sandra de . Formal inconsistency and evolutionary databases. Logic and Logical Philosophy, Torun, v. 8, p. 115-152, 2000.

9.	CARNIELLI, Walter Alexandre ; MARCOS, J. . Limits for paraconsistent calculi. Notre Dame Journal of Formal Logic, Indiana, EUA, v. 40, n. 3, p. 375-390, 1999.

Livros publicados/organizados ou edições

1.	MARCOS, J. (Org.) ; BATENS, Diderik (Org.) ; CARNIELLI, Walter Alexandre (Org.) . Proceedings of the Workshop on Paraconsistent Logic (WoPaLo). Campinas: CLE e-prints, 2002. 186 p.

Capítulos de livros publicados

1.

Patrick Terrematte ; Fabrício Costa ; Marcos, João . Logicamente: A Virtual Learning Environment for Logic based on Learning Objects. In: Fernando Soler-Toscano; Hans van Ditmarsch; Maria Manzano; Patrick Blackburn. (Org.). Tools for Teaching Logic: Third International Congress, TICTTL 2011. Berlin: Springer, 2011, v. 6680, p. 223-230.

2.	MARCOS, J. ; MENDONCA, D. . Towards fully automated axiom extraction for finite-valued logics. In: W. Carnielli; M. E. Coniglio; I. M. L. D'Ottaviano. (Org.). The Many Sides of Logic. London: College Publications, 2009, v. , p. 425-440.

3.	MARCOS, J. . Ineffable inconsistencies. In: Jean-Yves Beziau; Walter Alexandre Carnielli; Dov. M. Gabbay. (Org.). Handbook of Paraconsistency. London: College Publications, 2007, v. , p. 301-311.

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

5.	CALEIRO, Carlos ; CARNIELLI, Walter Alexandre ; CONIGLIO, Marcelo Esteban ; MARCOS, J. . Two's company: The humbug of many logical values. In: Jean-Yves Béziau. (Org.). Logica Universalis - Towards a General Theory of Logic. Basel: Birkhauser Verlag, 2005, v. , p. 169-189.

6.	MARCOS, J. . Modality and paraconsistency. In: Marta Bilkova; Libor Behounek. (Org.). The Logica Yearbook 2004. Prague: Filosofia, 2005, v. , p. 213-222.

7.	MARCOS, J. . On a problem of da Costa. In: Giandomenico Sica. (Org.). Essays on the Foundations of Mathematics and Logic. Monza: Polimetrica, 2005, v. , p. 53-69.

8.	DIONÍSIO, Francisco Miguel ; GOUVEIA, Paula ; MARCOS, J. . Defining and using deduction systems with Isabelle. In: Lorenzo Magnani; Riccardo Dossena. (Org.). Computing, Philosophy and Cognition. London: College Publications, 2005, v. , p. 271-293.

9.	CARNIELLI, Walter Alexandre ; 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, Proceedings of the II World Congress on Paraconsistency (WCP'2000). : Marcel Dekker, 2002, v. , p. 1-94.

10.

AMO, Sandra de ; CARNIELLI, Walter Alexandre ; MARCOS, J. . A logical framework for integrating inconsistent information in multiple databases. In: Thomas Eiter; Klaus-Dieter Schewe. (Org.). Foundations of Information and Knowledge Systems: Proceedings of the Second International Symposium (FoIKS 2002). Berlim: Springer-Verlag, 2002, v. , p. 67-84.

11.	CARNIELLI, Walter Alexandre ; MARCOS, J. . Ex contradictione non sequitur quodlibet. In: Richard L. Epstein. (Org.). Bulletin of Advanced Reasoning and Knowledge, Proceedings of the 2nd Annual Conference on Logic and Reasoning. Bucareste: New Europe College, 2001, v. 1, p. 89-109.

Trabalhos completos publicados em anais de congressos

1.

CALEIRO, Carlos ; MARCOS, J. . Two Many Values: An algorithmic outlook on Suszko's Thesis. In: 40th International Symposium on Multiple-Valued Logic (ISMVL 2010), 2010, Barcelona, ES. 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010, 2010. p. 93-97.

2.	CALEIRO, Carlos ; MARCOS, J. . Classic-like analytic tableaux for finite-valued logics. In: WoLLIC 2009, 2009, Tokyo. WoLLIC 2009 (LNCS), 2009. v. 5514. p. 268-280.

3.	MARCOS, J. ; AZEVEDO, Clarissa Araújo ; SILVA, Daniel Cunha da . Teaching Logic. In: III Seminar of Initiation into Teaching (III SID), 2006, Natal. III Seminar of Initiation into Teaching, 2006.

4.	MARCOS, J. . Essential and accidental propositions. In: II International Colloquium on Metaphysics, 2006, Natal. II International Colloquium on Metaphysics. Natal : EDUFRN, 2006.

5.	MARCOS, J. ; BEDREGAL, Benjamín René Callejas . Some countable families of multi-valued logics and their conjuctive and disjunctive normal forms. In: II International Colloquium on Metaphysics, 2006, Natal. II International Colloquium on Metaphysics. EDUFRN : EDUFRN, 2006.

6.	MARCOS, J. . Overture: Paraconsistent Logics. In: Workshop on Paraconsistent Logic, 2002, Trento, Itália. Proceedings of the Workshop on Paraconsistent Logic (WoPaLo), 2002. p. 1-10.

7.	CALEIRO, Carlos ; MARCOS, J. . Non-truth-functional fibred semantics. In: International Conference on Artificial Intelligence (IC-AI'2001), 2001, Las Vegas. Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001). Athens GA, EUA : CSREA Press, 2001. v. II. p. 841-847.

8.

CARNIELLI, Walter Alexandre ; MARCOS, J. . Tableau systems for logics of formal inconsistency. In: International Conference on Artificial Intelligence (IC-AI'2001), 2001, Las Vegas. Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001). Athens GA, EUA : CSREA Press, 2001. v. II. p. 848-852.

9.	MARCOS, J. ; CARNIELLI, Walter Alexandre . Limits for paraconsistent calculi. In: XII Encontro Brasileiro de Lógica (XII EBL), 1999, Itatiaia - RJ. Livro de resumos do XII Encontro Brasileiro de Lógica, 1999. p. 61-69.

Resumos expandidos publicados em anais de congressos

1.	MARCOS, J. . The value of the two values. In: 31st Linz Seminar on Fuzzy Set Theory: Lattice-Valued Logic and its Applications, 2010, Linz, AT. Proceedings of the 31st Linz Seminar on Fuzzy Set Theory, 2010.

2.

MENDONCA, D. ; MARCOS, J. . Automatic extraction of axiomatizations in terms of two-signed tableaux for finite-valued logics. In: CLE 30, XV EBL & XIV SLALM: 30th Anniversary of the Centre for Logic, Epistemology and the History of Science (CLE), UNICAMP, 15th Brazilian Logic Conference, and 14th Latin-American Symposium on Mathematical Logic, 2008, Campinas. Proceedings of the CLE 30 / XV EBL / XIV SLALM, 2008.

3.

MARCOS, J. ; MENDONCA, D. . Towards fully automated axiom extraction for finite-valued logics. In: IJCAR'08 Workshop on Practical Aspects of Automated Reasoning (PAAR-2008), 2008, Sydney. Proceedings of the I International Workshop on Practical Aspects of Automated Reasoning (PAAR-2008), 2008. v. 373.

4.

MARCOS, J. . Possible-translations semantics. In: Workshop on Combination of 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 - Instituto Superior Técnico, 2004. v. 1. p. 119-128.

Resumos publicados em anais de congressos

1.	MARCOS, J. . On uniform substitution, logical form, and the meaning of logical constants. In: Epistemic Aspects of Many-valued Logic (EAMVL 2010), 2010, Praga, CZ. Proceedings of the EAMVL 2010, 2010.

2.	MARCOS, J. . Proof complexity and analytic cuts in finite-valued logics. In: Computability in Europe 2010: Proofs, Programs, Processes (CiE 2010), 2010, Ponta Delgada, Azores, PT. Proceedings of the CiE 2010, 2010.

3.	MARCOS, J. . Opposition from the viewpoint of universal logic. In: Square of Oppositions 2, 2010, Corte, Corsica, FR. Proceedings of the SoO 2, 2010.

4.	MARCOS, J. . Simulating negation in positive logic. In: 2009 European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium 2009), 2010, Sofia, BG. Bulletin of Symbolic Logic, 2010. v. 16. p. 126.

5.	MARCOS, J. . Finding an adequate locus for compositionality. In: 38th Annual Meeting of the Society for Exact Philosophy (SEP 2010), 2010, Kansas City, Missouri, USA. Proceedings of the SEP 2010, 2010.

6.	MARCOS, J. ; MENDONCA, D. . Automatic extraction of axiomatizations in terms of two-signed tableaux for finite-valued logics. In: XIV Latin American Symposium on Mathematical Logic (SLALM), 2009, Paraty. Bulletin of Symbolic Logic, 2008. v. 15. p. 361-362.

7.	MARCOS, J. . Beyond truth-functionality. In: XIV Brazilian Logic Meeting, 2006, Itatiaia - RJ. Caderno de Resumos do XIV Encontro Brasileiro de Lógica, 2006.

8.	DIONÍSIO, Francisco Miguel ; GOUVEIA, Paula ; MARCOS, J. . Teaching and experimenting with deductive systems using a generic proof assistant. In: XIII Simposio Latinoamericano de Lógica Matemática (XIII SLALM), 2006, Oaxaca. Proceedings of the XIII SLALM, 2006. v. 1. p. 49-50.

9.	MARCOS, J. . Generalizing truth-functionality. In: 2005 ASL Winter Meeting, 2006, New York. Bulletin of Symbolic Logic, 2006. v. 12. p. 511-511.

10.	MARCOS, J. . Modal logics talking about consistency. In: XII Latin-American Symposium on Mathematical Logic (XII SLALM), 2004, San José. XII SLALM - Abstracts of Contributed Papers, 2004. p. 14-14.

11.	DIONÍSIO, Francisco Miguel ; GOUVEIA, P. ; MARCOS, J. . Defining and using deductive systems with Isabelle. In: 2004 European Computing and Philosophy Conference (E-CAP2004), 2004, Pavia. E-CAP'04 - Abstracts, edited by Elena Gandini, 2004. p. 9-9.

12.	MARCOS, J. . Every normal modal logic is paranormal. In: Logica 2004, 2004, Hejnice. Logica 2004 - Abstracts, 2004. p. 38-39.

13.	MARCOS, J. . Thou shalt not trivialise!. In: Logic, Ontology, Aesthetics: The Golden Age of Polish Philosophy, 2004, Montreal. Abstracts of the conference on Logic, Ontology, Aesthetics: The Golden Age of Polish Philosophy, 2004. p. 8-8.

14.	MARCOS, J. . Enunciados essenciais e verdades acidentais - um estudo em metafísica formal. In: XI Encontro Nacional de Filosofia (XI ANPOF), 2004, Salvador. Atas do XI Encontro Nacional de Filosofia, Salvador, 2004, 2004. v. 1. p. 221-222.

15.	MARCOS, J. . Paraconsistency is not enough. In: III World Congress on Paraconsistency, 2003, Toulouse. Proceedings of the III World Congress on Paraconsistency, 2003. p. 43-43.

16.	CALEIRO, Carlos ; CONIGLIO, Marcelo Esteban ; CARNIELLI, Walter Alexandre ; MARCOS, J. . Suszko's Thesis and dyadic semantics. In: III World Congress on Paraconsistency, 2003, Toulouse. Proceedings of the III World Congress on Paraconsistency, 2003. p. 23-23.

17.	CALEIRO, Carlos ; CONIGLIO, Marcelo Esteban ; CARNIELLI, Walter Alexandre ; MARCOS, J. . Dyadic semantics for many-valued logics. In: III World Congress on Paraconsistency, 2003, Toulouse. Proceedings of the III World Congress on Paraconsistency, 2003. p. 24-24.

18.	MARCOS, J. . On the simple pleasures of logic: The humbug of many logical values. In: XII International Congress of Logic, Methodology and Philosophy of Science, 2003, Oviedo. LMPS03 - Volume of Abstracts. Oviedo : Departamento de Filosofía, Universidad de Oviedo, 2003. v. 1. p. 481-482.

19.	MARCOS, J. . Possíveis Traduções - modalidades, polivalência, semânticas, combinação entre lógicas, e alguma intriga. In: X Encontro Nacional de Filosofia (X ANPOF), 2002, São Paulo. Anais do X Encontro Nacional de Filosofia, 2002.

20.	MARCOS, J. . On a problem of da Costa. In: II World Congress on Paraconsistency (WCP'2000), 2000, Juquehy, São Sebastião - SP. Book of abstracts of the WCP'2000, 2000.

21.	CARNIELLI, Walter Alexandre ; MARCOS, J. . The C-systems: paleontology and futurology. In: II World Congress on Paraconsistency (WCP'2000), 2000, Juquehy, São Sebastião - SP. Book of abstracts of the WCP'2000, 2000.

22.	MARCOS, J. . (Wittgenstein & Paraconsistência). In: VIII Encontro Nacional de Filosofia (VIII ANPOF), 1998, Caxambu. Anais do VIII Encontro Nacional de Filosofia, 1998.

Artigos aceitos para publicação

1.	CALEIRO, Carlos ; Marcos, João . Many-valuedness meets bivalence: Using logical values in an effective way. Journal of Multiple-Valued Logic and Soft Computing, 2011.

Apresentações de Trabalho

1.	MARCOS, J. . A Fundamentação da Prova de Teoremas por Computador. 2008. (Apresentação de Trabalho/Conferência ou palestra).

2.	MARCOS, J. . Logics of Formal Inconsistency. 2008. (Apresentação de Trabalho/Comunicação).

3.	VILELA, G. S. ; SANTOS JUNIOR, M. R. ; MARCOS, J. . Implementação de um gerador e verificador de modelos finitos para a Lógica Clássica de Primeira Ordem. 2008. (Apresentação de Trabalho/Comunicação).

4.	BARROS, Thiago Medeiros ; ARAÚJO, Alexandre. E. F. ; MARCOS, J. . A implementação colaborativa de uma suíte de ferramentas on-line de apoio ao ensino de Lógica. 2008. (Apresentação de Trabalho/Comunicação).

5.	BARROS, Thiago Medeiros ; ARAÚJO, Alexandre. E. F. ; MARCOS, J. . Logicamente: A implementação colaborativa de uma suíte de ferramentas on-line de apoio ao ensino de Lógica. 2008. (Apresentação de Trabalho/Comunicação).

6.	MARCOS, J. . Paraconsistency, many-valuedness, modality. 2005. (Apresentação de Trabalho/Conferência ou palestra).

7.	MARCOS, J. . Modal non-classical negations. 2005. (Apresentação de Trabalho/Conferência ou palestra).

8.	MARCOS, J. . When is a logic characterized by truth-tables?. 2005. (Apresentação de Trabalho/Conferência ou palestra).

9.	MARCOS, J. . Logics for discussion. 2004. (Apresentação de Trabalho/Conferência ou palestra).

10.	MARCOS, J. . Paranormal modal logics. 2004. (Apresentação de Trabalho/Conferência ou palestra).

11.	MARCOS, J. . How many logical values are there?. 2003. (Apresentação de Trabalho/Conferência ou palestra).

12.	MARCOS, J. . On what negation is not. 2003. (Apresentação de Trabalho/Conferência ou palestra).

13.	MARCOS, J. . Interlingua is not enough (Poster). 2003. (Apresentação de Trabalho/Outra).

14.	MARCOS, J. . Internalizing consistency. 2002. (Apresentação de Trabalho/Conferência ou palestra).

15.	MARCOS, J. . Internalizing consistency. 2002. (Apresentação de Trabalho/Conferência ou palestra).

16.	MARCOS, J. . Logics of Formal Inconsistency. 2002. (Apresentação de Trabalho/Conferência ou palestra).

17.	MARCOS, J. . Paraconsistent logics for dummies. 2002. (Apresentação de Trabalho/Conferência ou palestra).

18.	MARCOS, J. . Discussive discourses, discursive discussions. 2002. (Apresentação de Trabalho/Conferência ou palestra).

19.	MARCOS, J. . Logical ways to the inconsistent. 2002. (Apresentação de Trabalho/Conferência ou palestra).

20.	MARCOS, J. . Combination semantics: possible-translations -> societies -> discussions. 2002. (Apresentação de Trabalho/Conferência ou palestra).

21.	MARCOS, J. . On Brazilian Paraconsistent Logics (with some space for Polish ones as well). 2002. (Apresentação de Trabalho/Conferência ou palestra).

22.	MARCOS, J. . On inconsistency and undefinedness. 2001. (Apresentação de Trabalho/Simpósio).

23.	MARCOS, J. . How to perform (causal) surgeries. 2001. (Apresentação de Trabalho/Simpósio).

24.	MARCOS, J. . CLuNs, ACLuNs1 and ACLuNs2 as modal logics. 2001. (Apresentação de Trabalho/Simpósio).

25.	MARCOS, J. . Combination of logics. 2001. (Apresentação de Trabalho/Conferência ou palestra).

26.	MARCOS, J. . On inconsistency and undefinedness. 2001. (Apresentação de Trabalho/Conferência ou palestra).

27.	MARCOS, J. ; CARNIELLI, Walter Alexandre . A taxonomy of C-systems. 2000. (Apresentação de Trabalho/Conferência ou palestra).

28.	MARCOS, J. . Possible-translations semantics: a special way of combining logics. 2000. (Apresentação de Trabalho/Conferência ou palestra).

29.	MARCOS, J. . Kilos of three-valued logics, (hopefully) one for OCL. 2000. (Apresentação de Trabalho/Conferência ou palestra).

30.	MARCOS, J. . Possible-translations semantics: a special way of combining logics. 1999. (Apresentação de Trabalho/Comunicação).

31.	MARCOS, J. . Possible-translations semantics and the combination of logics. 1999. (Apresentação de Trabalho/Simpósio).

32.	MARCOS, J. . How many logical values are there?. 1999. (Apresentação de Trabalho/Simpósio).

33.	MARCOS, J. . Combinações entre lógicas. 1999. (Apresentação de Trabalho/Conferência ou palestra).

34.	CARNIELLI, Walter Alexandre ; CONIGLIO, Marcelo Esteban ; MARCOS, J. . Semânticas de traduções possíveis: trançando e destrançando sistemas lógicos. 1999. (Apresentação de Trabalho/Conferência ou palestra).

35.	MARCOS, J. . Semântica não-determinística para lógicas paraconsistentes. 1998. (Apresentação de Trabalho/Conferência ou palestra).

36.	MARCOS, J. . Semânticas de traduções possíveis. 1998. (Apresentação de Trabalho/Conferência ou palestra).

37.	MARCOS, J. ; NEVES, A. G. M. . Comportamento Universal na Iteração de Funções Não-Lineares. 1997. (Apresentação de Trabalho/Comunicação).

Demais tipos de produção bibliográfica

1.	MARCOS, J. . Logics of Formal Inconsistency. Campinas, SP, e Lisboa, PT: IFCH / Unicamp, e IST / UTL, 2005 (Tese de Doutorado).

2.	CARNIELLI, Walter Alexandre ; CONIGLIO, Marcelo Esteban ; MARCOS, J. . Logics of Formal Inconsistency. Campinas: CLE e-Prints (electronic version), 2005 (Preprint).

3.	MARCOS, J. ; BATENS, Diderik ; CARNIELLI, Walter Alexandre . Journal of Applied Logic, volume 3, number 1. Elsevier B.V., 2005 (Edição de periódico).

4.	MARCOS, J. ; BATENS, Diderik ; CARNIELLI, Walter Alexandre . A Paraconsistent Decagon, 2005. (Prefácio, Pósfacio/Prefácio).

5.	MARCOS, J. . On negation: Pure local rules. Campinas: CLE e-Prints (electronic version), 2004 (Preprint).

6.	MARCOS, J. . Possible-translations semantics for some weak classically based paraconsistent logics 2004 (Research report).

7.	MARCOS, J. . Ineffable inconsistencies 2004 (Preprint).

8.	CALEIRO, Carlos ; CARNIELLI, Walter Alexandre ; CONIGLIO, Marcelo Esteban ; MARCOS, J. . Suszko's Thesis and dyadic semantics 2003 (Preprint).

9.	CALEIRO, Carlos ; CARNIELLI, Walter Alexandre ; CONIGLIO, Marcelo Esteban ; MARCOS, J. . Dyadic semantics for many-valued logics 2003 (Preprint).

10.	MARCOS, J. . Mechanizing deduction for tarskian logics (even when contradictions draw near) 2003 (Slides and discussion).

11.	MARCOS, J. . (Wittgenstein & Paraconsistência). Campinas: CLE e-Prints (electronic version), 2001 (Preprint).

12.	AMO, Sandra de ; CARNIELLI, Walter Alexandre ; MARCOS, J. . A logical framework for integrating inconsistent information in multiple databases 2001 (Preprint).

13.	CARNIELLI, Walter Alexandre ; MARCOS, J. ; AMO, Sandra de . Formal inconsistency and evolutionary databases. Campinas 2001 (Preprint).

14.	CARNIELLI, Walter Alexandre ; MARCOS, J. . A taxonomy of C-systems. Campinas: CLE e-Prints (electronic version), 2001 (Preprint).

15.	MARCOS, J. . On a problem of da Costa. Campinas: CLE e-Prints (electronic version), 2001 (Preprint).

16.	MARCOS, J. . Semânticas de Traduções Possíveis. Campinas: Instituto de Filosofia e Ciências Humanas, Unicamp, 2000 (Dissertação de Mestrado).

Produção técnica

Trabalhos técnicos

1.	MARCOS, J. . 1 referee report for the III Workshop on Logical and Semantic Frameworks, with Applications (LSFA'08). 2008.

2.	MARCOS, J. . 1 referee report for the international journal Logic Journal of the IGPL. 2008.

3.	MARCOS, J. . 1 referee report for the international journal Studia Logica. 2008.

4.	MARCOS, J. . 1 referee report for the Symposium on Logical Foundations of Computer Science. 2007.

5.	MARCOS, J. . 1 referee report for the II Workshop on Logical and Semantic Frameworks, with Applications (LSFA'07). 2007.

6.	MARCOS, J. . 2 referee reports for the international journal Studia Logica. 2006.

7.	MARCOS, J. . 1 referee report for the SBMF-2006 (Brazilian Symposium on Formal Methods). 2006.

8.	MARCOS, J. . 1 referee report for the international journal Mathematical Logic Quarterly. 2006.

9.	MARCOS, J. . 1 referee report for the international journal Mathematical Logic Quarterly. 2005.

10.	MARCOS, J. . 1 referee report for the SBMF-2005 (Brazilian Symposium on Formal Methods). 2005.

11.	MARCOS, J. . 1 referee report for the Proceedings of the 3WCP (III World Congress on Paraconsistency). 2004.

12.	MARCOS, J. . 1 referee report for the IJCAR 2004 (Second International Joint Conference on Automated Reasoning). 2004.

13.	MARCOS, J. . 1 referee report for the CombLog'04 (Workshop on Combination of Logics: Theory and Applications). 2004.

14.	MARCOS, J. . 1 referee report for the international journal Journal of Applied Non-Classical Logic. 2004.

15.	MARCOS, J. . 3 referee reports for the 3WCP (III World Congress on Paraconsistency). 2003.

16.	MARCOS, J. . 1 referee report for a final research report from the university EAFIT. 2003.

17.	MARCOS, J. . 1 referee report for the CMSRA-2002 (Second International Workshop on Computational Models of Scientific Reasoning and Applications). 2002.

18.	MARCOS, J. . 1 referee report for the WoPaLo (Workshop on Paraconsistent Logic). 2002.

19.	MARCOS, J. . 1 referee report for the international journal Artificial Intelligence.. 2002.

20.	MARCOS, J. . 1 referee report for a book submitted to be published at the international editorial house Oxford University Press. . 2001.

21.	MARCOS, J. . 1 referee report for the international journal Logic and Logical Philosophy.. 2001.

22.	MARCOS, J. . 2 referee reports for the international journal Logique et Analyse. 2001.

23.	MARCOS, J. . 1 referee report for the Proceedings of the WCP'2000, published under the title: Paraconsistency - the logical way to the inconsistent. 2001.

24.	MARCOS, J. . 1 referee report for the WCP'2000 (II World Congress on Paraconsistency). 2000.

Demais tipos de produção técnica

1.	MARCOS, J. . IV Workshop on Logical and Semantic Frameworks, with Applications (LSFA 09). 2009. (Membro de comitê científico).

2.	MARCOS, J. . III Workshop on Logical and Semantic Frameworks, with Applications (LSFA 08). 2008. (Membro de comitê científico).

3.	MARCOS, J. . Tutorial on Multiple-Conclusion Logics. 2005. (Curso de curta duração ministrado/Outra).

4.	MARCOS, J. . III World Congress on Paraconsistency (WCP 3). 2003. (Membro de comitê científico).

Bancas

Participação em bancas examinadoras

Dissertações

1.	PIMENTEL, E. G.; Bigonha, R. S.; MARCOS, J.; FIGUEIREDO, L. C.. Participação em banca de Mário Sérgio Ferreira Alvim Júnior. Aspectos computacionais do cálculo de estruturas. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

2.	Martins, A. T. C.; MARCOS, J.; Pequeno, M.. Participação em banca de Francicleber Martins Ferreira. Modelos Minimais e Hierarquia de Expressividade. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Qualificações de doutorado

1.	Ribeiro, L.; COSTA, A. C. R.; MARCOS, J.; MARTINI, Alfio Ricardo de Brito; NUNES, D. J.. Participação em banca de Simone André da Costa. Formal Verification of Graph Grammars using Theorem Proving. 2008. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

Participação em bancas de comissões julgadoras

Concurso público

1.	MARCOS, J.; PERALES, W. J. S.; LACERDA, I. M. F.; SILVA, E. R.. Seleção para Professor Substituto da disciplina "Processo de Trabalho em Enfermagem II - Informática Básica e Aplicada à Enfermagem. 2007. Universidade Federal do Rio Grande do Norte.

Outras participações

1.	MARCOS, J.; OLIVEIRA, M. V. M.; DEHARBE, D. B. P.. Prova automática de satisfatibilidade módulo teoria aplicada ao Método B. 2007. Universidade Federal do Rio Grande do Norte.

Eventos

Participação em eventos

1.	III World Congress and School on Universal Logic (UniLog 2010).Truth-Functionality (Tutorial). 2010. (Congresso).

2.	Mini-course on 'Logic or Logics?'.Combination of Logics. 2010. (Oficina).

3.	16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009).Classic-like analytic tableaux for finite-valued logics. 2009. (Congresso).

4.	Seminar on Logic and Set Theory.The Art of Inference: A crash course on symmetric consequence relations. 2009. (Seminário).

5.	IV World Congress of Paraconsistency (WCP4).Logics of Formal Inconsistency. 2008. (Congresso).

6.

CLE 30, XV EBL & XIV SLALM: 30th Anniversary of the Centre for Logic, Epistemology and the History of Science (CLE), UNICAMP, 15th Brazilian Logic Conference, and 14th Latin-American Symposium on Mathematical Logic.Automatic extraction of axiomatizations in terms of two-signed tableaux for finite-valued logics. 2008. (Simpósio).

7.	IJCAR'08 Workshop on Practical Aspects of Automated Reasoning (PAAR-2008).Towards fully automated axiom extraction for finite-valued logics. 2008. (Oficina).

8.	Escola Potiguar de Computação e suas Aplicações (EPOCA 2008).Logicamente: A implementação colaborativa de uma suíte de ferramentas on-line de apoio ao ensino de Lógica. 2008. (Oficina).

9.	VIII Encontro Regional de Matemática Aplicada e Computacional (VIII ERMAC)."A implementação colaborativa de uma suíte de ferramentas on-line de apoio ao ensino de Lógica" & "Implementação de um gerador e verificador de modelos finitos para a Lógica Clássica de Primeira Ordem". 2008. (Encontro).

10.	10th Brazilian Symposium on Formal Methods (SBMF 2007) & 2nd Workshop on Logical and Semantic Frameworks, with Applications (LSFA'07).LÓGICA COMPUTACIONAL: Uso da ferramenta Isabelle para experimentação com lógicas clássicas e não-clássicas. 2007. (Simpósio).

11.	International Conference on Graph Transformations. 2006. (Congresso).

12.	III Seminar of Initiation into Teaching.Teaching Logic. 2006. (Seminário).

13.	XIV Brazilian Logic Meeting (XIV EBL).XIV Brazilian Logic Meeting (XIV EBL). 2006. (Encontro).

14.	II International Colloquium on Metaphysics.Essential and Accidental propositions. 2006. (Outra).

15.	II International Colloquium on Metaphysics.Some countable families of multi-valued logics and their conjuctive and disjunctive normal forms. 2006. (Outra).

16.	I World Congress and School on Universal Logic (UNILOG 05).Multiple-Conclusion Logics (Tutorial). 2005. (Congresso).

17.	Workshop "Semantics and Meaning".Workshop on Semantics and Meaning. 2005. (Simpósio).

18.	Association for Symbolic Logic 2005-2006 Winter Meeting.Association for Symbolic Logic 2005-2006 Winter Meeting. 2005. (Encontro).

19.	European Computing and Philosophy 2004 Conference (E-CAP2004).2004 European Computing and Philosophy Conference (E-CAP2004). 2004. (Congresso).

20.	Logic, Ontology, Aesthetics: The Golden Age of Polish Philosophy.Logic, Ontology, Aesthetics: The Golden Age of Polish Philosophy. 2004. (Congresso).

21.	XII Latin-American Symposium on Mathematical Logic (XII SLALM).XII Latin-American Symposium on Mathematical Logic. 2004. (Simpósio).

22.	Logica 2004.Logica 2004, 18th international symposium promoted by the Institute of Philosophy of the Academy of Sciences of the Czech Republic. 2004. (Simpósio).

23.	Negation in Constructive Logic.International Workshop on Negation in Constructive Logic. 2004. (Simpósio).

24.	Workshop on Combination of Logics: Theory and Applications (CombLog'04).Workshop on Combination of Logics: Theory and Applications. 2004. (Simpósio).

25.	XI Encontro Nacional de Filosofia (XI ANPOF).XI Encontro Nacional de Filosofia (XI ANPOF). 2004. (Encontro).

26.	XXI World Congress of Philosophy.XXI WCP: Philosophy Facing World Problems. 2003. (Congresso).

27.	III World Congress on Paraconsistency (WCP 3).III World Congress on Paraconsistency. 2003. (Congresso).

28.	XII International Congress of Logic, Methodology and Philosophy of Science (XII LMPS).XII International Congress of Logic, Methodology and Philosophy of Science. 2003. (Congresso).

29.	Dagstuhl Seminar on "Inconsistency Tolerance".Dagstuhl Seminar 03241 on Inconsistency Tolerance in Databases, Knowledge and Software Systems. 2003. (Seminário).

30.	Lattices, Universal Algebra and Applications.International Conference on Lattices, Universal Algebra and Applications. 2003. (Encontro).

31.	XIV European Summer School in Logic, Language and Information (ESSLLI 2002).XIV European Summer School in Logic, Language and Information (ESSLLI 2002). 2002. (Oficina).

32.	Self Reference.Conference on Self-Reference (plus Introductory Seminar on Self Reference). 2002. (Encontro).

33.	The 2001 International Conference on Artificial Intelligence (IC-AI'2001).The 2001 International Conference on Artificial Intelligence (IC-AI'2001). 2001. (Congresso).

34.	IV Flemish-Polish Workshop on the Ontological Foundations of Paraconsistency.IV Flemish-Polish Workshop on the Ontological Foundations of Paraconsistency. 2001. (Simpósio).

35.	I Flemish-Polish Workshop on Adaptive and Erotetic Logics and their Applications to the Philosophy of Science.I Flemish-Polish Workshop on Adaptive and Erotetic Logics and their Applications to the Philosophy of Science. 2001. (Simpósio).

36.	Concepts - III Summer School in Analytic Philosophy.Concepts - III Summer School in Analytic Philosophy. 2001. (Oficina).

37.	XIII European Summer School in Logic, Language and Information (ESSLLI 2001).XIII European Summer School in Logic, Language and Information (ESSLLI 2001). 2001. (Oficina).

38.	II World Congress on Paraconsistency (WCP'2000).II World Congress on Paraconsistency (WCP'2000). 2000. (Congresso).

39.	Joint Austro-Italian Workshop on Fuzzy Logics and Applications.Joint Austro-Italian Workshop on Fuzzy Logics and Applications. 2000. (Simpósio).

40.	VI Workshop on Logic, Language, Information and Computation (WOLLIC'99).VI Workshop on Logic, Language, Information and Computation (WOLLIC'99). 1999. (Simpósio).

41.	I Southern African Summer School and Workshop on Logic, Universal Algebra and Theoretical Computer Science (LUATCS'99).I Southern African Summer School and Workshop on Logic, Universal Algebra and Theoretical Computer Science (LUATCS'99). 1999. (Oficina).

42.	XII Brazilian Logic Meeting (XII EBL).XII Brazilian Logic Meeting (XII EBL). 1999. (Encontro).

43.	Logic Colloquium'98.Logic Colloquium'98. 1998. (Congresso).

44.	XI Latin-American Symposium on Mathematical Logic.XI Latin-American Symposium on Mathematical Logic. 1998. (Simpósio).

45.	III Brazilian-International Meeting on Cognitive Sciences.III Brazilian-International Meeting on Cognitive Sciences. 1998. (Encontro).

46.	VIII Encontro Nacional de Filosofia (VIII ANPOF).VIII Encontro Nacional de Filosofia (VIII ANPOF). 1998. (Encontro).

47.	Seminário Internacional em Filosofia Analítica e Pragmatismo.International Seminar on Analytic Philosophy and Pragmatism. 1997. (Seminário).

48.	49a. Reunião Anual da Sociedade Brasileira para o Progresso da Ciência.XLIX Reunião Anual da Sociedade Brasileira para o Progresso da Ciência. 1997. (Encontro).

49.	X Colóquio de História da Ciência: Universalidade, Racionalidade e Progresso na Ciência.X Colóquio de História da Ciência: Universalidade, Racionalidade e Progresso na Ciência. 1997. (Encontro).

50.	XIX Congresso Nacional de Computação e Matemática Aplicada.XIX Congresso Nacional de Computação e Matemática Aplicada. 1996. (Congresso).

51.	Atualização em Ciências Cognitivas.Atualização em Ciências Cognitivas. 1996. (Oficina).

52.	X Escola de Computação da Unicamp.X Escola de Computação da Unicamp. 1996. (Oficina).

53.	V Semana de Iniciação Científica da UFMG.V Semana de Iniciação Científica da UFMG. 1996. (Encontro).

54.	IV Semana de Iniciação Científica da UFMG.IV Semana de Iniciação Científica da UFMG. 1995. (Encontro).

55.	III Semana de Iniciação Científica da UFMG.III Semana de Iniciação Científica da UFMG. 1994. (Encontro).

Organização de eventos

1.	CRUZ, M. M. C. ; MARCOS, J. ; LYRA, Aarão ; BEDREGAL, Benjamín René Callejas ; ARAUJO, C. ; GONCALVES, L. M. G. ; OLIVEIRA, M. V. M. ; MEDEIROS, Maria da Paz Nunes de ; SANTIAGO, Regivan Hugo Nunes . VIII Encontro Regional de Matemática Aplicada e Computacional - ERMAC 2008. 2008. (Congresso).

2.	MARCOS, J. . XI Brazilian Symposium on Programming Languages. 2007. (Congresso).

3.	MARCOS, J. . Workshop on Logical and Semantic Frameworks, with Applications. 2007. (Congresso).

4.	MARCOS, J. . IX Brazilian Symposium on Formal Methods (SBMF 2006). 2006. (Congresso).

5.	MARCOS, J. . II International Colloquium on Metaphysics (II ICM). 2006. (Congresso).

6.	MARCOS, J. . International Conference on Graph Transformation (ICGT 2006). 2006. (Congresso).

7.	MARCOS, J. ; BATENS, Diderik ; CARNIELLI, Walter Alexandre . Workshop on Paraconsistent Logic (WoPaLo). 2002. (Outro).

8.	D'OTTAVIANO, I. M. L. ; CARNIELLI, Walter Alexandre ; CONIGLIO, Marcelo Esteban ; ALVES, D. D. P. ; MARCOS, J. . II World Congress on Paraconsistency (WCP'2000). 2000. (Congresso).

Orientações

Orientações em andamento

Dissertação de mestrado

1.	Adriano Alves Dodó. Lógicas Modais como Lógicas da Inconsistência Formal. Início: 2011. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte. (Orientador).

2.	Claudio Andrés Callejas Olguín. O que é uma bi-implicação difusa?. Início: 2010. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

3.

Fabrício Costa Silva. Aplicação de um modelo de desenvolvimento colaborativo ao Ambiente Virtual de Aprendizagem LOGICAMENTE. Início: 2010. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

4.	Patrick Cesar Alves Terrematte. Desenvolvimento de um ambiente virtual para avaliação e acompanhamento da aprendizagem na área de Lógica. Início: 2009. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte. (Orientador).

Supervisões e orientações concluídas

Iniciação Científica

1.

Dalmo Vinícius Gomes Mendonça. Automação do cálculo do grau de expressividade de álgebras finitárias. 2008. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Joao Marcos de Almeida.

2.

Otto Luís Pontes Soares de Araújo. Extração automática de axiomatizações corretas e completas para diversas classes importantes de sistemas dedutivos polivalentes. 2008. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Joao Marcos de Almeida.

3.	Haniel Moreira Barbosa. Raciocínio equacional dirigido e formas normais. 2008. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Joao Marcos de Almeida.

4.

Lucas Costa Pereira Cavalcante. Estudo computacional das meta-propriedades associadas a uma certa classe de lógicas modais e construtivas, codificadas na ferramenta de demonstração assistida *Isabelle*. 2007. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Joao Marcos de Almeida.

5.

Dalmo Vinicius Gomes Mendonça. Implementação semi-automática de fragmentos e de extensões da lógica clássica em *Isabelle* a partir de sua contraparte semântica multivalorada. 2007. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Joao Marcos de Almeida.

6.

Talis Lincoln Fonseca Barbalho. Refinamento e implementação de algoritmos para a extração de axiomatizações adequadas para classes de sistemas dedutivos polivalentes. 2007. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Joao Marcos de Almeida.

7.

Lucas Costa Pereira Cavalcante. Definição de taticais em *ML* com vistas à automação dos procedimentos de decisão associados às lógicas implementadas em *Isabelle*. 2006. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Joao Marcos de Almeida.

8.	Jacques Fux. Gödel's incompleteness theorems - an example of true yet unprovable sentence of mathematics (in Portuguese). 2000. 0 f. Iniciação Científica. (Graduando em Matemática) - Universidade Federal de Minas Gerais. Orientador: Joao Marcos de Almeida.

Orientações de outra natureza

1.	Alisson Câmara Dias de Sousa. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2009. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Joao Marcos de Almeida.

2.	Alexandre Everton Freire de Araújo. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2008. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal do Rio Grande do Norte, Pró Reitoria de Graduação. Orientador: Joao Marcos de Almeida.

3.	Lucas Costa Pereira Cavalcante. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2008. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal do Rio Grande do Norte, Pró Reitoria de Graduação. Orientador: Joao Marcos de Almeida.

4.	Thales Vieira Galdino. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2008. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Pró Reitoria de Graduação. Orientador: Joao Marcos de Almeida.

5.

Luciano Pereira Vieira. Apoio ao desenvolvimento de uma suíte de ferramentas on-line de apoio ao ensino de LÓGICA. 2008. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Joao Marcos de Almeida.

6.	Kalinne Rayana Cavalcanti Pereira. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2007. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal do Rio Grande do Norte, Pró Reitoria de Graduação. Orientador: Joao Marcos de Almeida.

7.	Fred de Castro Santos. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2007. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Joao Marcos de Almeida.

8.	Otto Luis Pontes Soares de Araújo. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2007. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Pró Reitoria de Graduação. Orientador: Joao Marcos de Almeida.

9.	João Maria Guedes da Cruz Júnior. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2007. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal do Rio Grande do Norte, Pró Reitoria de Graduação. Orientador: Joao Marcos de Almeida.

10.	Ronkaly Carlos Silvestre de Souza. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2007. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Joao Marcos de Almeida.

11.	Thiago Medeiros Barros. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2007. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Joao Marcos de Almeida.

12.	Leidson da Silva Germano. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2007. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal do Rio Grande do Norte, Pró Reitoria de Graduação. Orientador: Joao Marcos de Almeida.

13.	Daniel Cunha da Silva. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2006. 0 f. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Pró Reitoria de Graduação. Orientador: Joao Marcos de Almeida.

14.	Clarissa Araújo Azevedo. Iniciação à Docência (Monitoria) em Ensino de Lógica. 2006. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Joao Marcos de Almeida.