???global.info.a_carregar???
fael Rodrigues Testa is research associate in Centre for Logic, Epistemology and the History of Science (CLE) of University of Campinas (Unicamp), Brazil. He is Bachelor, Master and PhD in Philosophy (Logic area) at Unicamp. He was post-doctoral fellow at CLE-Unicamp (2015 -2018); at Faculty of Exact Sciences and Engineering - University of Madeira, Portugal (2017-2018) and, currently, at Institute of Philosophy and Social Sciences - Federal University of Rio de Janeiro. Areas of interest and expertise: Mathematical Logic; Non-classical Logics; Paraconsistent Logic; Formal Epistemology; Belief Revision; Philosophy of Logic.
Identificação

Identificação pessoal

Nome completo
Rafael Rodrigues Testa
Género
Masculino

Nomes de citação

  • Testa, Rafael
  • Testa, R.
  • Testa, R. R.

Identificadores de autor

Ciência ID
CC1F-4FC2-CBD7
ORCID iD
0000-0002-7052-1376
Google Scholar ID
fApyVAUAAAAJ&hl

Websites

  • https://rafaeltesta.com/ (Profissional)

Domínios de atuação

  • Humanidades - Filosofia, Ética e Religião - Filosofia
  • Ciências Exatas - Matemática - Matemática Aplicada
  • Ciências Exatas - Ciências da Computação e da Informação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Espanhol; Castelhano Utilizador independente (B2) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B1)
Francês Utilizador elementar (A2) Utilizador independente (B1) Utilizador elementar (A1) Utilizador independente (B1) Utilizador elementar (A1)
Formação
Grau Classificação
2014/11/18
Concluído
Philosophy (Doctor of Philosophy)
Universidade Estadual de Campinas, Brasil
"Revisão de Crenças Paraconsistente baseada em um operador formal de consistência" (TESE/DISSERTAÇÃO)
2008/12/18
Concluído
Philosophy (Master)
Universidade Estadual de Campinas, Brasil
"Dilemas Deônticos: uma abordagem baseada em relações de preferência." (TESE/DISSERTAÇÃO)
2006/01/20
Concluído
Philosophy (Bachelor)
Universidade Estadual de Campinas, Brasil
"Uma Análise de Algumas Lógicas Deônticas para a Representação de Normas Jurídicas" (TESE/DISSERTAÇÃO)
Percurso profissional

Cargos e Funções

Categoria Profissional
Instituição de acolhimento
Empregador
2020/09 - Atual Collaborating Researcher Universidade Estadual de Campinas, Brasil

Outros

Categoria Profissional
Instituição de acolhimento
Empregador
2021/10 - Atual Postdoctoral Research Fellow Federal University of Rio de Janeiro - Institute of Philosophy and Social Sciences, Brasil
2015/09 - Atual Research Associate University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
2015/01/01 - 2018/12/31 Postdoctoral Research Fellow University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
2017/09/01 - 2018/08/31 Postdoctoral Research Fellow University of Madeira - Faculty of Exact Sciences and Engineering, Portugal
Projetos

Bolsa

Designação Financiadores
2021 - 2022/09 Reasoning with inconsistencies: advances in Formal Epistemology
E-26/202.367/2021
Bolseiro de Pós-Doutoramento
Federal University of Rio de Janeiro - Institute of Philosophy and Social Sciences, Brasil
Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do Rio de Janeiro
Em curso
2020 - 2021/09 Inteligência Artificial: da Lógica às Humanidades
CNPq/MCTIC Nº 03/2020
Bolseiro de Integração na Investigação
Conselho Nacional de Desenvolvimento Científico e Tecnológico

Ministério da Ciência Tecnologia Inovações e Comunicações
Concluído
2015 - 2018/12/31 Advances and new perspectives on Paraconsistent Belief Revision
2014/22119-2
Bolseiro de Pós-Doutoramento
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluído
2017 - 2018/08/31 Paraconsistent Belief Revision: constructive models and new operations
2017/10836-0
Bolseiro de Pós-Doutoramento
Universidade da Madeira Faculdade de Ciências Exatas e da Engenharia, Portugal
Fundação de Amparo à Pesquisa do Estado de São Paulo
2010 - 2016/10/31 Logical consequence, reasoning and computation - LOGCONS
Bolseiro de Integração na Investigação
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluído
2016 - 2016/05 First Campinas Workshop in Contemporary Epistemology
2016/0141-5
Outra
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluído
2010 - 2014/01/31 Paraconsistent Belief Revision based on a formal consistency operator
Bolseiro de Doutoramento
University of Campinas - Institute of Philosophy and Human Sciences, Brasil
Conselho Nacional de Desenvolvimento Científico e Tecnológico
2005 - 2010/03/31 Logical Consequence and Combinations of Logics: Fundaments and Efficient Applications - ConsRel
Bolseiro de Integração na Investigação
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluído
2006 - 2008/07/31 Deontic dilemmas: an apporach based on preference relations
Bolseiro de Mestrado
University of Campinas - Institute of Philosophy and Human Sciences, Brasil
Conselho Nacional de Desenvolvimento Científico e Tecnológico
Concluído

Projeto

Designação Financiadores
2020 - 2021/01/01 "Foca no ENEM" radio education
Education Project Coordinator
MOV8, Brasil
Concluído
Produções

Publicações

Artigo em conferência
  1. Testa, Rafael; Carnielli, Walter. "Paraconsistent Logics for Knowledge Representation and Reasoning: advances and perspectives". Trabalho apresentado em 18th International Workshop on Nonmonotonic Reasoning, 2020.
    Publicado
  2. Testa, Rafael; Fermé, Eduardo; Garapa, Marco; Reis, Maurício. "How to construct Remainder Sets for Paraconsistent Revisions: Preliminary Report". Trabalho apresentado em 17th International Workshop on Nonmonotonic Reasoning (NMR), Tempe - Arizona, 2018.
    Publicado
Artigo em revista
  1. Moraes, João Antonio de; Testa, Rafael Rodrigues. "A sociedade contemporânea à luz da ética informacional". Acta Scientiarum. Human and Social Sciences 42 3 (2020): e56496. http://dx.doi.org/10.4025/actascihumansoc.v42i3.56496.
    Acesso aberto • Publicado • 10.4025/actascihumansoc.v42i3.56496
  2. TESTA, RAFAEL R.. "BOOK REVIEW: CARNIELLI, Walter & MALINOWSKI, Jacek (eds.). Contradictions, from Consistency to Inconsistency (Trends in Logic 47, Springer International Publishing, 2018, VI+322 pages)". Manuscrito 42 1 (2019): 219-228. http://dx.doi.org/10.1590/0100-6045.2019.v42n1.rt.
    10.1590/0100-6045.2019.v42n1.rt
  3. Testa, R.R.; Coniglio, M.E.; Ribeiro, M.M.. "AGM-like paraconsistent belief change". Logic Journal of the IGPL 25 4 (2017): 632-672. http://www.scopus.com/inward/record.url?eid=2-s2.0-85029327355&partnerID=MN8TOARS.
    10.1093/jigpal/jzx010
  4. Testa, Rafael. "The cost of consistency: information economy in Paraconsistent Belief Revision". South American Journal of Logic 1 2 (2015): 461-480. http://www.sa-logic.org/sajl-v1-i2/09-Testa-SAJL.pdf.
    Acesso aberto • Publicado
  5. Testa, Rafael; Coniglio, M.E.; Ribeiro, M.M.. "Paraconsistent Belief Revision based on a formal consistency operator". CLE e-prints 15 8 (2015): https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/article/view/992.
    Acesso aberto • Publicado
  6. Testa, Rafael; Coniglio, M.E.. "Dilemas deônticos e escolha: considerações pragmáticas". Revista Brasileira de Filosofia 232 (2009): 231-246.
    Publicado
  7. Testa, R. R.; Coniglio, M.E.. "Solving Normative Conflicts Using Preferences Relations". 8 (2008): https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/article/view/944.
    Acesso aberto
Edição de livro
  1. Bertato, F.; Testa, R. R.. Book of Abstracts: 2nd CLE4Science. CLE e-prints. 2017.
  2. Bueno-Soler, J.; Carnielli, W.; Testa, Rafael. Trends in Logic XVI: consistency, contradiction, paraconsistency and reasoning, 40 years of CLE - Book of abstracts. 2016.
    Publicado
Livro
  1. Lewis Carroll. O que a Tartaruga disse a Aquiles. Ebook Kindle. 2022.
    Publicado • Tradutor
  2. Lewis Carroll. Um Paradoxo Lógico. Ebook Kindle. 2022.
    Publicado • Tradutor
Recurso online
  1. Testa, Rafael. Blog. 2020. https://rafaeltesta.com/blog/.
Relatório
  1. Testa, Rafael. 2018. Avanços e novas perspectivas em revisão de crenças paraconsistente: Relatório Científico 2 (final).
    10.5935/ref.20160092
  2. Testa, Rafael. 2018. Revisão de Crenças Paraconsistente: modelos construtivos e novas operações - Relatório Científico Final.
  3. Testa, Rafael. 2016. Avanços e novas perspectivas em revisão de crenças paraconsistente: Relatório Científico 1.
Resumo em conferência
  1. Moraes, J.; Testa, R.. "Information Ethics and Epistemic Arrogance: Starting a Debate". Trabalho apresentado em V Workshop on Contemporary Discussions in Philosophy of Mind and Philosophy of Information, Rio de Janeiro - RJ, 2018.
    Publicado
  2. Testa, Rafael; Coniglio, M.E.; Ribeiro, M.M.. "Clarifying some rationality criteria of AGM-like Paraconsistent Belief Revision". Trabalho apresentado em 5th World Congress and School on Universal Logic, Istambul, 2015.
    Publicado
  3. Testa, Rafael. "On Paraconsistent Belief Revision". Trabalho apresentado em 2nd Madeira Workshop on Belief Revision and Argumentation, Funchal, 2015.
    Publicado
  4. Testa, Rafael; Coniglio, M.E.; Ribeiro, M.M.. "External Revision in Belief Sets via Paraconsistency". Trabalho apresentado em 12th Asian Logic Conference, Wellington, 2013.
    Publicado
  5. Testa, Rafael. "Aspectos de Revisão de Crenças em LFIs". Trabalho apresentado em XIII Encontro Nacional da ANPOF, Curitiba - Paraná, 2012.
    Publicado
  6. Testa, Rafael. "Sobre o conceito de racionalidade na teoria da escolha: preferências, consistência e paraconsistência". Trabalho apresentado em XIV Encontro Nacional da ANPOF, Águas de Lindóia - São Paulo, 2010.
    Publicado
  7. Testa, Rafael. "Sobre a Lógica de Revisão de Creças: a (não) similaridade dos diferentes métodos para construir contrações de teorias". Trabalho apresentado em V Simpósio Internacional Principia, Florianópolis - Santa Catarina, 2007.
    Publicado
  8. Testa, Rafael; Coniglio, M.E.. "Uma Análise de algumas lógicas deônticas para a representação de normas jurídicas". Trabalho apresentado em XII Encontro Nacional da ANPOF, Salvador - Bahia, 2006.
    Publicado
Tese / Dissertação
  1. Testa, Rafael. "Revisão de Crenças Paraconsistente baseada em um operador formal de consistência". Doutoramento, Universidade Estadual de Campinas, 2014. http://repositorio.unicamp.br/handle/REPOSIP/281195.
  2. Testa, Rafael. "Dilemas Deônticos: uma abordagem baseada em relações de preferência". Mestrado, Universidade Estadual de Campinas, 2008. http://repositorio.unicamp.br/handle/REPOSIP/278899.
  3. Testa, Rafael. "Uma análise de algumas lógicas deônticas para a representação de normas jurídicas". Licenciatura, Universidade Estadual de Campinas, 2006.

Outros

Outra produção
  1. Group for Analytic Metaphysics and Epistemology (GAME). 2016. Testa, Rafael. https://gamerationality.wordpress.com/.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2022/04/07 Belief Revision in a Nutshell 7th World Congress and School on Universal Logic - Belief Revision Workshop
Orthodox Academy of Crete (Crete, Grécia)
2022/02/07 Filosofia para quê? Aplicações e desafios da Filosofia na contemporaneidade Aula inaugural do Departamento de Filosofia
Faculdade João Paulo II (Marília)
2021/05/14 Sociedade da informação, ética informacional e divisão digital Café Filosófico
Claretiano
2020/09/30 Knowledge Representation and Reasoning: applications and motivations to Paraconsistent Logics GTAL-CLE Seminars
CLE-Unicamp (Campinas, Brasil)
2020/09/30 Representação do Conhecimento e Raciocínio: aplicações e motivações às lógicas paraconsistentes GTSL/CLE Seminars
CLE-Unicamp
2020/06/15 Inteligência Artificial e seus dilemas lógico-filosóficos Webinar FAJOPA
FAJOPA (Brasil)
2018/06 On Paraconsistent Belief Change First Joint Workshop on Ontologies, Uncertainty, and Inconsistency Handling
Technische Universität Dresden (Dresden, Alemanha)
2018 On Theory Change: consistency and the dynamic of belief sets GTAL Seminars
Centro de Lógica, Epistemologia e História da Ciência (Campinas-SP, Brasil)
2017 Some remarks on Paraconsistent Belief Revision Data and knowledge engineering seminars
Cardiff University - School of Computer Science and Informatics (Cardiff - Wales, Reino Unido)
2016/04 Advances and new perspectives on paraconsistent belief revision 3rd Workshop CLE and Buenos Aires Logic Group
Institute for Research in Philosophy of the Argentinean Society of Philosophical Analysis (IIF-SADAF) (Buenos Aires, Argentina)
2015/06 Clarifying some rationality criteria of AGM-like Paraconsistent Belief Revision 5th World Congress on Universal Logic
Istanbul Üniversitesi (Istambul, Turquia)
2015/02 On Paraconsistent Belief Revision 2nd Madeira Workshop on Belief Revision and Argumentation
Universidade da Madeira (Funchal, Portugal)
2014 A system of Belief Revision based on a formal consistency operator GTAL Seminars
Centro de Lógica, Epistemologia e História da Ciência (Campinas-SP, Brasil)
2013 Revisão de Crenças em Lógicas Paraconsistentes: Novas Perspectivas à justificativa coerentista? GTAL Seminars
Centro de Lógica, Epistemologia e História da Ciência (Campinas-SP, Brasil)
2012 Aspectos de Revisão de Crenças em LFIs XV Encontro Nacional da ANPOF
Universidade Federal do Paraná (Curitiba, Brasil)
2012 Lógica e Pensamento Critico Curso Superior de Inteligência Estratégica
Escola Superior de Guerra – ESG (Rio de Janeiro, Brasil)
2012 Um olhar lógico e filosófico à obra de Alan Turing Centenário Alan Turing do Instituto Federal de Educação, Ciência e Tecnologia do Sul de Minas
Instituto Federal Sul de Minas (Muzambinho, Brasil)
2011 External Revision in Belief Sets via Paraconsistency 12th Asian Logic Conference
Victoria University of Wellington (Wellington, Nova Zelândia)
2010 Sobre o conceito de racionalidade na teoria da escolha: preferências, consistência e paraconsistência XIV Encontro Nacional da ANPOF
(Águas de Lindóia, Brasil)
2007 Sobre a Lógica de Revisão de Creças: a (não) similaridade dos diferentes métodos para construir contrações de teorias V Simpósio Internacional Principia
Universidade Federal de Santa Catarina (Florianópolis, Brasil)
2006 Uma Análise de algumas lógicas deônticas para a representação de normas jurídicas XII Encontro Nacional da ANPOF
(Bahia, Brasil)

Orientação

Título / Tema
Papel desempenhado
Curso (Tipo)
Instituição / Organização
2016/09 - 2017/07 Belief Revision in Science: Informational Economy and Paraconsistency
Orientador de Daniel Credico de Coimbra
Philosophy, Logic (Iniciação científica)
University of Campinas - Institute of Philosophy and Human Sciences, Brasil

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação)
Instituição / Organização
2022/04/01 - 2022/04/11 Belief Revision Workshop at 7th World Congress and School on Universal Logic (2022/04/07 - 2022/04/07)
Oficina (workshop) (Presidente da Comissão Organizadora)
Orthodox Academy of Crete, Grécia
2018/12/10 - 2018/12/11 Workshop CLE: Indução, probabilidade e seus dilemas, at CLE-Unicamp (2018/12/10 - 2018/12/11)
Oficina (workshop) (Coorganizador)
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
2017/07/19 - 2017/07/22 2nd CLE Colloquium for Philosophy and History of Formal Sciences (CLE4Science'17), at CLE-Unicamp. (2017/07/19 - 2017/07/22)
Congresso (Coorganizador)
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
2016/09/12 - 2016/09/15 Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning, at School of Civil Engineering, Architecture and Urban Design - Unicamp. (2016/09/12 - 2016/09/15)
Congresso (Membro da Comissão Organizadora)
Sociedade Brasileira de Lógica, Brasil

Polska Akademia Nauk, Polónia
2016/05/23 - 2016/05/27 First Campinas Workshop in Contemporary Epistemology (EpiC'16), at CLE-Unicamp. (2016/05/23 - 2016/05/27)
Oficina (workshop) (Presidente da Comissão Organizadora)
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
2015/03/31 - 2015/04/03 2nd Workshop CLE and Buenos Aires Logic Group (CLE-BALogic'15), at CLE-Unicamp. (2015/03/31 - 2015/04/03)
Oficina (workshop) (Membro da Comissão Organizadora)
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil

University of Buenos Aires and CONICET - Buenos Aires Logic Group, Argentina
2013/03/24 - 2013/03/27 X Seminário Nacional de História da Matemática (National seminar for the History of Mathematics) (SNHM'13), at Unicamp. (2013/03/24 - 2013/03/27)
Congresso (Membro da Comissão Organizadora)
Sociedade Brasileira de História da Matemática, Brasil

University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
2013/03/21 - 2013/03/23 1st CLE Colloquium for Philosophy and History of Formal Sciences (CLE4Science'13), at Unicamp. (2013/03/21 - 2013/03/23)
Congresso (Membro da Comissão Organizadora)
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
2011/05/09 - 2011/05/13 XVI EBL - Encontro Brasileiro de Lógica (EBL'11), at National Laboratory for Scientifc Computing, Petrópolis, Rio de Janeiro, Brazil. (2011/05/09 - 2011/05/13)
Congresso (Membro da Comissão Organizadora)
Sociedade Brasileira de Lógica, Brasil
2011/05/07 - 2011/05/08 Logic School of EBL, at Institute for Mathematics, Fluminense Federal University, Niterói, RJ-Brazil. (2011/05/07 - 2011/05/08)
Oficina (workshop) (Membro da Comissão Organizadora)
Sociedade Brasileira de Lógica, Brasil

Participação em evento

Descrição da atividade
Tipo de evento
Nome do evento
Instituição / Organização
2022/04/01 - 2022/04/11 7th World Congress and School on Universal Logic
Congresso
7th World Congress and School on Universal Logic
Orthodox Academy of Crete, Grécia
2020/10/20 - 2020/10/22 1o Workshop Internacional sobre Interpretações das Lógicas Paraconsistentes.
Oficina (workshop)
1o Workshop Internacional sobre Interpretações das Lógicas Paraconsistentes.
Universidade Federal do Maranhão, Brasil
2020/09/12 - 2020/09/14 18th International Workshop on Non-Monotonic Reasoning
Oficina (workshop)
18th International Workshop on Non-Monotonic Reasoning
Principles of Knowledge Representation and Reasoning, Estados Unidos
2018/12/03 - 2018/12/06 The goal of this workshop is to foster collaboration between researchers in Germany and São Paulo working on ontology design and maintenance, uncertainty representation, and inconsistency handling. Venue: São Paulo.
Oficina (workshop)
Second Joint Workshop on Ontologies, Uncertainty, and Inconsistency Handling
Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação, Brasil

Technische Universität Dresden, Alemanha
2018/06/26 - 2018/06/29 The goal of this workshop is to foster collaboration between researchers in Germany and São Paulo working on ontology design and maintenance, uncertainty representation, and inconsistency handling. Venue: Dresden.
Oficina (workshop)
First Joint Workshop on Ontologies, Uncertainty, and Inconsistency Handling
Universidade de São Paulo Instituto de Matemática e Estatística, Brasil

Technische Universität Dresden, Alemanha
2017/11/16 - 2017/11/20 Workshop on the applications of Belief Revision and Argumentation Theories.
Oficina (workshop)
Madeira Workshop on Belief Revision, Argumentation, Ontologies, and Norms (BRAON'17)
2017/07/19 - 2017/07/22 "CLE4Science-Colloquia" promotes regular meetings enabling collaboration among researchers interested in Philosophy and History of Formal Sciences.
Conferência
2nd CLE Colloquium for Philosophy and History of Formal Sciences
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
2016/09/12 - 2016/09/15 The conference is centered around the areas of logic, epistemology, philosophy and history of science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence.
Congresso
Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE
Sociedade Brasileira de Lógica, Brasil

Polska Akademia Nauk, Polónia

University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
2016/05/23 - 2016/05/27 This event is intended to contribute to discussions on contemporary philosophy by offering an exchange of ideas between renowned researchers in form of a scientific meeting and workshops.
Oficina (workshop)
First Campinas Workshop in Contemporary Epistemology
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil

Group for Analytic Metaphysics and Epistemology, Brasil
2016/04/20 - 2016/04/22 Joint workshop CLE-Unicamp and Buenos Aires Logic Group.
Oficina (workshop)
3rd CLE-BA LOGIC
University of Buenos Aires and CONICET - Buenos Aires Logic Group, Argentina
2015/06/20 - 2015/06/30 This event is a combination of a school and a congress. The school offers many turorials on a wide range of subjects. The congress follows with invited and contributed talks.
Congresso
5th World Congress and School on Universal Logic
Istanbul Üniversitesi - Institute of Logic, Turquia
2015/03/31 - 2015/04/03 Joint workshop CLE-Unicamp and Buenos Aires Logic Group.
Oficina (workshop)
2nd Workshop CLE and Buenos Aires Logic Group
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
2015/02/09 - 2015/02/13 Workshop on the applications of Belief Revision and Argumentation Theories.
Oficina (workshop)
2nd Madeira Workshop on Belief Revision and Argumentation
2013/03/21 - 2013/03/23 "CLE4Science-Colloquia" promotes regular meetings enabling collaboration among researchers interested in Philosophy and History of Formal Sciences.
Conferência
1st CLE Colloquium for Philosophy and History of Formal Sciences
University of Campinas - Centre for Logic, Epistemology and History of Science, Brasil
2013/03/09 - 2013/03/13 O SNHM prioriza a divulgação de estudos e pesquisas sobre História da Matemática a professores dos vários níveis educacionais.
Congresso
X Seminário Nacional de História da Matemática (National seminar for the History of Mathematics)
Sociedade Brasileira de História da Matemática, Brasil
2012 - 2012 Major event of the Brazilian ANPOF - Associação Nacional de Pós-Graduação em Filosofia.
Congresso
XV Encontro Nacional da ANPOF
Associação Nacional de Pós-Graduação em Filosofia, Brasil
2011/05/09 - 2011/05/13 The Brazilian Logic Conference (EBL) is a traditional event of the Brazilian Logic Society (SBL). It has been occurring since 1979 and congregates logicians of different fields and the meeting is an important moment for the Brazilian and South-American community to join together and engage in a discussion about the state-of-art of their subject.
Congresso
XVI Brazilian Logic Conference
Sociedade Brasileira de Lógica, Brasil
2011/05/07 - 2011/05/08 The Logic School is a parallel event to the EBL aimed (mainly) at undergraduate and graduate students. It offers tutorials on different logical subject matters by world renowned experts.
Oficina (workshop)
Logic School 2011
Sociedade Brasileira de Lógica, Brasil
2011 - 2011 The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic.
Congresso
12th Asian Logic Conference
Victoria University of Wellington, Nova Zelândia
2010 - 2010 Major event of the Brazilian ANPOF - Associação Nacional de Pós-Graduação em Filosofia.
Conferência
XIV Encontro Nacional da ANPOF
Associação Nacional de Pós-Graduação em Filosofia, Brasil
2007 - 2007 Symposium organized by NEL – Logic and Epistemology Research Group and the editors of Principia – an International Journal of Epistemology, belonging to Federal University of Santa Catarina.
Simpósio
V Simpósio Internacional Principia
Universidade Federal de Santa Catarina, Brasil
2006 - 2006 Major event of the Brazilian ANPOF - Associação Nacional de Pós-Graduação em Filosofia.
Congresso
XII Encontro Nacional da ANPOF
Associação Nacional de Pós-Graduação em Filosofia, Brasil

Júri de grau académico

Tema
Tipo de participação
Nome do candidato (Tipo de grau)
Instituição / Organização
2017/12/02 Labelled natural deduction for modal and multimodal logics
Arguente
Dante Cardoso Pinto de Almeida (Doutoramento)
Universidade Estadual de Campinas, Brasil
2017/11/20 Advances on Belief Base Dynamics
Arguente
Marco Paulo Ferreirinha Garapa (Doutoramento)
Universidade da Madeira, Portugal

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2020 - Atual Contemplação (2179-8079)

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2016/07 - 2016/11 Special Topics on Logic: Introduction to Modal Logic Philosophy (Postgraduate Certificate) University of Campinas - Institute of Philosophy and Human Sciences, Brasil
2015/07 - 2015/11 Computability Philosophy (Postgraduate Certificate) University of Campinas - Institute of Philosophy and Human Sciences, Brasil
2010/03 - 2010/06 Critical Thinking (Postgraduate Certificate) Brazilian College of Saint Benedict, Brasil
2009 - 2009 Fundamentals of Mathematical Logic Information System (Bachelor) Universidade Federal de São Carlos, Brasil
2007 - 2007 Introduction to Mathematical Logic Information System (Bachelor) Universidade Federal de São Carlos, Brasil

Membro de associação

Nome da associação Tipo de participação
2016/05/23 - Atual Group for Analytic Metaphysics and Epistemology (GAME) Founding member
2009 - Atual Sociedade Brasileira de Lógica member
2005 - Atual Grupo de Lógica Teórica e Aplicada (GLTA), at CLE-Unicamp, Brazil member

Membro de comissão

Descrição da atividade
Tipo de participação
Instituição / Organização
2022/08/30 - 2022/09/02 PC Member of 21st EPIA Conference on Artificial Intelligence (EPIA2022), KRR area.
Membro
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021 - 2021 PC member of 20th EPIA Conference on Artificial Intelligence (EPIA2021)
Membro
2020 - 2020 PC member of IJCAI-PRICAI 2020 - 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence. July 11-17, Yokohama, Japan.
Membro
2019/09/18 - 2019/09/20 PC member of 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU). Belgrade - Serbia
Membro
2019/09/03 - 2019/09/06 PC member of 19th EPIA Conference on Artificial Intelligence, Vila Real - Portugal
Membro
2019 - 2019 PC member of 15th International Workshop on Defeasible and Ampliative Reasoning (DARe), co-located with LPNMR 2019. Philadelphia, PA - USA
Membro
2019 - 2019 PC member of 28th International Joint Conference on Artificial Intelligence (IJCAI). Macau-China 2019.
Membro

Outro júri / avaliação

Descrição da atividade Instituição / Organização
2020 - 2020 Reviewer - Journal of Logic and Computation (Online ISSN 1465-363X Print ISSN 0955-792X)
2018 - 2018 Reviewer - Manuscrito (ISSN 0100-6045)
2018 - 2018 Reviewer - Artificial Intelligence and Law (ISSN: 0924-8463)
2017 - 2017 Reviewer - Journal of Applied Non-Classical Logics (ISSN 1166-3081)
2017 - 2017 Reviewer - Logique et Analyse (ISSN: 2295-5836)
2017 - 2017 Reviewer - KÍNESIS (ISSN 1984-8900)
2014/09/22 - 2014/09/24 Congress of Scientific Initiation at Unicamp 2014 Universidade Estadual de Campinas, Brasil
2011/09/11 - 2011/09/13 Congress of Scientific Initiation at Unicamp 2011 Universidade Estadual de Campinas, Brasil
2010/09/12 - 2010/09/14 Congress of Scientific Initiation at Unicamp 2010 Universidade Estadual de Campinas, Brasil