???global.info.a_carregar???
Rafael R. Testa is researcher in Philosophy and Mathematical Logic, working as a Collaborating Researcher at 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 at Institute of Philosophy and Social Sciences - Federal University of Rio de Janeiro (2021-2022). Areas of interest and expertise: Mathematical Logic; Non-classical Logics; Paraconsistent Logic; Formal Epistemology; Belief Revision; Philosophy of Logic.
Identification

Personal identification

Full name
Rafael Rodrigues Testa
Gender
Male

Citation names

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

Author identifiers

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

Websites

Knowledge fields

  • Humanities - Philosophy, Ethics and Religion - Philosophy
  • Exact Sciences - Mathematics - Applied Mathematics
  • Exact Sciences - Computer and Information Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Spanish; Castilian Upper intermediate (B2) Advanced (C1) Intermediate (B1) Advanced (C1) Intermediate (B1)
French Elementary (A2) Intermediate (B1) Beginner (A1) Intermediate (B1) Beginner (A1)
Education
Degree Classification
2014/11/18
Concluded
Philosophy (Doctor of Philosophy)
Universidade Estadual de Campinas, Brazil
"Revisão de Crenças Paraconsistente baseada em um operador formal de consistência" (THESIS/DISSERTATION)
2008/12/18
Concluded
Philosophy (Master)
Universidade Estadual de Campinas, Brazil
"Dilemas Deônticos: uma abordagem baseada em relações de preferência." (THESIS/DISSERTATION)
2006/01/20
Concluded
Philosophy (Bachelor)
Universidade Estadual de Campinas, Brazil
"Uma Análise de Algumas Lógicas Deônticas para a Representação de Normas Jurídicas" (THESIS/DISSERTATION)
Affiliation

Positions / Appointments

Category
Host institution
Employer
2020/09 - Current Collaborating Researcher Universidade Estadual de Campinas, Brazil

Others

Category
Host institution
Employer
2015/09 - Current Research Associate University of Campinas - Centre for Logic, Epistemology and History of Science, Brazil
2021/10 - 2022/12 Postdoctoral Research Fellow Federal University of Rio de Janeiro - Institute of Philosophy and Social Sciences, Brazil
2015/01/01 - 2018/12/31 Postdoctoral Research Fellow University of Campinas - Centre for Logic, Epistemology and History of Science, Brazil
2017/09/01 - 2018/08/31 Postdoctoral Research Fellow University of Madeira - Faculty of Exact Sciences and Engineering, Portugal
Projects

Grant

Designation Funders
2022/12/20 - 2024/12/31 LogLibras - Advancing a didactic material of Logic for deaf students in a bilingual and intercultural perspective
Principal investigator
University of Campinas - Centre for Logic, Epistemology and History of Science, Brazil
Conselho Nacional de Desenvolvimento Científico e Tecnológico
Ongoing
2021/10 - 2022/09 Reasoning with inconsistencies: advances in Formal Epistemology
E-26/202.367/2021
Post-doc Fellow
Federal University of Rio de Janeiro - Institute of Philosophy and Social Sciences, Brazil
Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do Rio de Janeiro
Ongoing
2020/10 - 2021/09 Inteligência Artificial: da Lógica às Humanidades
CNPq/MCTIC Nº 03/2020
Integration into Research Grant Fellow
Conselho Nacional de Desenvolvimento Científico e Tecnológico

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

Contract

Designation Funders
2020/06/01 - 2021/01/01 "Foca no ENEM" radio education
Education Project Coordinator
MOV8, Brazil
Concluded

Other

Designation Funders
2022/06/01 - Current IFSP-FILOLIBRAS
2020 VTP_304
Researcher
IFSP-Votuporanga, Brazil
Ongoing
Outputs

Publications

Book
  1. Testa, R. R.. Paraconsistent Belief Revision Based on a Formal Consistency Operator. 2023.
    Published
  2. Lewis Carroll. O que a Tartaruga disse a Aquiles. Ebook Kindle. 2022.
    Published • Translator
  3. Lewis Carroll. Um Paradoxo Lógico. Ebook Kindle. 2022.
    Published • Translator
Conference abstract
  1. Testa, R.; Moraes, João Antonio de; Lucimar Bizio. "Cultura surda: experiência visual no ensino de Filosofia e Lógica". Paper presented in IX Congresso Internacional sobre Culturas, Minas Gerais, 2023.
    Published
  2. Moraes, J.; Testa, R.. "Information Ethics and Epistemic Arrogance: Starting a Debate". Paper presented in V Workshop on Contemporary Discussions in Philosophy of Mind and Philosophy of Information, Rio de Janeiro - RJ, 2018.
    Published
  3. Testa, Rafael; Coniglio, M.E.; Ribeiro, M.M.. "Clarifying some rationality criteria of AGM-like Paraconsistent Belief Revision". Paper presented in 5th World Congress and School on Universal Logic, Istambul, 2015.
    Published
  4. Testa, Rafael. "On Paraconsistent Belief Revision". Paper presented in 2nd Madeira Workshop on Belief Revision and Argumentation, Funchal, 2015.
    Published
  5. Testa, Rafael; Coniglio, M.E.; Ribeiro, M.M.. "External Revision in Belief Sets via Paraconsistency". Paper presented in 12th Asian Logic Conference, Wellington, 2013.
    Published
  6. Testa, Rafael. "Aspectos de Revisão de Crenças em LFIs". Paper presented in XIII Encontro Nacional da ANPOF, Curitiba - Paraná, 2012.
    Published
  7. Testa, Rafael. "Sobre o conceito de racionalidade na teoria da escolha: preferências, consistência e paraconsistência". Paper presented in XIV Encontro Nacional da ANPOF, Águas de Lindóia - São Paulo, 2010.
    Published
  8. 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". Paper presented in V Simpósio Internacional Principia, Florianópolis - Santa Catarina, 2007.
    Published
  9. Testa, Rafael; Coniglio, M.E.. "Uma Análise de algumas lógicas deônticas para a representação de normas jurídicas". Paper presented in XII Encontro Nacional da ANPOF, Salvador - Bahia, 2006.
    Published
Conference paper
  1. Testa, Rafael; Carnielli, Walter. "Paraconsistent Logics for Knowledge Representation and Reasoning: advances and perspectives". Paper presented in 18th International Workshop on Nonmonotonic Reasoning, 2020.
    Published
  2. Testa, Rafael; Fermé, Eduardo; Garapa, Marco; Reis, Maurício. "How to construct Remainder Sets for Paraconsistent Revisions: Preliminary Report". Paper presented in 17th International Workshop on Nonmonotonic Reasoning (NMR), Tempe - Arizona, 2018.
    Published
Edited book
  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.
    Published
Encyclopedia entry
  1. Testa, Rafael. "Paraconsistency". In The SAGE Encyclopedia of Theory in Science, Technology, Engineering, and Mathematics. SAGE Publications, Inc., 2023. http://dx.doi.org/10.4135/9781071872383.n144.
    10.4135/9781071872383.n144
Journal article
  1. Testa, Rafael; João Antonio de Moraes; Lucimar Bizio. "Metodologias para o Ensino de Lógica em Libras: Notas sobre o desenvolvimento de uma aula de Lógica para o projeto IFSP FILOLIBRAS". CLE e-prints 20 3 (2022): https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/article/view/1615.
    Open access • Published
  2. 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.
    Open access • Published • 10.4025/actascihumansoc.v42i3.56496
  3. 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
  4. 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
  5. 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.
    Open access • Published
  6. 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.
    Open access • Published
  7. Testa, Rafael; Coniglio, M.E.. "Dilemas deônticos e escolha: considerações pragmáticas". Revista Brasileira de Filosofia 232 (2009): 231-246.
    Published
  8. 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.
    Open access
Online resource
  1. Testa, Rafael. Blog. 2020. https://rafaeltesta.com/blog/.
Report
  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.
Thesis / Dissertation
  1. Testa, Rafael. "Revisão de Crenças Paraconsistente baseada em um operador formal de consistência". PhD, 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". Master, 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". Degree, Universidade Estadual de Campinas, 2006.

Other

Other output
  1. Group for Analytic Metaphysics and Epistemology (GAME). 2016. Testa, Rafael. https://gamerationality.wordpress.com/.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2023/11/24 Projeto LogLibras – Pedagogia Visual no Ensino de Lógica para Surdos I Seminário de Pesquisadores em Acessibilidade na Unicamp (Ciclo Anticapacitista da Unicamp)
Unicamp (Campinas, Brazil)
2022/04/07 Belief Revision in a Nutshell 7th World Congress and School on Universal Logic - Belief Revision Workshop
Orthodox Academy of Crete (Crete, Greece)
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, Brazil)
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 (Brazil)
2018/06 On Paraconsistent Belief Change First Joint Workshop on Ontologies, Uncertainty, and Inconsistency Handling
Technische Universität Dresden (Dresden, Germany)
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, Brazil)
2017 Some remarks on Paraconsistent Belief Revision Data and knowledge engineering seminars
Cardiff University - School of Computer Science and Informatics (Cardiff - Wales, United Kingdom)
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, Turkey)
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, Brazil)
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, Brazil)
2012 Aspectos de Revisão de Crenças em LFIs XV Encontro Nacional da ANPOF
Universidade Federal do Paraná (Curitiba, Brazil)
2012 Lógica e Pensamento Critico Curso Superior de Inteligência Estratégica
Escola Superior de Guerra – ESG (Rio de Janeiro, Brazil)
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, Brazil)
2011 External Revision in Belief Sets via Paraconsistency 12th Asian Logic Conference
Victoria University of Wellington (Wellington, New Zealand)
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, Brazil)
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, Brazil)
2006 Uma Análise de algumas lógicas deônticas para a representação de normas jurídicas XII Encontro Nacional da ANPOF
(Bahia, Brazil)

Supervision

Thesis Title
Role
Degree Subject (Type)
Institution / Organization
2016/09 - 2017/07 Belief Revision in Science: Informational Economy and Paraconsistency
Supervisor of Daniel Credico de Coimbra
Philosophy, Logic (Scientific initiation)
University of Campinas - Institute of Philosophy and Human Sciences, Brazil

Event organisation

Event name
Type of event (Role)
Institution / Organization
2022/04/01 - 2022/04/11 Belief Revision Workshop at 7th World Congress and School on Universal Logic (2022/04/07 - 2022/04/07)
Workshop (President of the Organising Committee)
Orthodox Academy of Crete, Greece
2018/12/10 - 2018/12/11 Workshop CLE: Indução, probabilidade e seus dilemas, at CLE-Unicamp (2018/12/10 - 2018/12/11)
Workshop (Co-organisor)
University of Campinas - Centre for Logic, Epistemology and History of Science, Brazil
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)
Congress (Co-organisor)
University of Campinas - Centre for Logic, Epistemology and History of Science, Brazil
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)
Congress (Member of the Organising Committee)
Sociedade Brasileira de Lógica, Brazil

Polska Akademia Nauk, Poland
2016/05/23 - 2016/05/27 First Campinas Workshop in Contemporary Epistemology (EpiC'16), at CLE-Unicamp. (2016/05/23 - 2016/05/27)
Workshop (President of the Organising Committee)
University of Campinas - Centre for Logic, Epistemology and History of Science, Brazil
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)
Workshop (Member of the Organising Committee)
University of Campinas - Centre for Logic, Epistemology and History of Science, Brazil

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)
Congress (Member of the Organising Committee)
Sociedade Brasileira de História da Matemática, Brazil

University of Campinas - Centre for Logic, Epistemology and History of Science, Brazil
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)
Congress (Member of the Organising Committee)
University of Campinas - Centre for Logic, Epistemology and History of Science, Brazil
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)
Congress (Member of the Organising Committee)
Sociedade Brasileira de Lógica, Brazil
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)
Workshop (Member of the Organising Committee)
Sociedade Brasileira de Lógica, Brazil

Event participation

Activity description
Type of event
Event name
Institution / Organization
2022/04/01 - 2022/04/11 7th World Congress and School on Universal Logic
Congress
7th World Congress and School on Universal Logic
Orthodox Academy of Crete, Greece
2020/10/20 - 2020/10/22 1o Workshop Internacional sobre Interpretações das Lógicas Paraconsistentes.
Workshop
1o Workshop Internacional sobre Interpretações das Lógicas Paraconsistentes.
Universidade Federal do Maranhão, Brazil
2020/09/12 - 2020/09/14 18th International Workshop on Non-Monotonic Reasoning
Workshop
18th International Workshop on Non-Monotonic Reasoning
Principles of Knowledge Representation and Reasoning, United States
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.
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, Brazil

Technische Universität Dresden, Germany
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.
Workshop
First Joint Workshop on Ontologies, Uncertainty, and Inconsistency Handling
Universidade de São Paulo Instituto de Matemática e Estatística, Brazil

Technische Universität Dresden, Germany
2017/11/16 - 2017/11/20 Workshop on the applications of Belief Revision and Argumentation Theories.
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.
Conference
2nd CLE Colloquium for Philosophy and History of Formal Sciences
University of Campinas - Centre for Logic, Epistemology and History of Science, Brazil
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.
Congress
Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE
Sociedade Brasileira de Lógica, Brazil

Polska Akademia Nauk, Poland

University of Campinas - Centre for Logic, Epistemology and History of Science, Brazil
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.
Workshop
First Campinas Workshop in Contemporary Epistemology
University of Campinas - Centre for Logic, Epistemology and History of Science, Brazil

Group for Analytic Metaphysics and Epistemology, Brazil
2016/04/20 - 2016/04/22 Joint workshop CLE-Unicamp and Buenos Aires Logic Group.
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.
Congress
5th World Congress and School on Universal Logic
Istanbul Üniversitesi - Institute of Logic, Turkey
2015/03/31 - 2015/04/03 Joint workshop CLE-Unicamp and Buenos Aires Logic Group.
Workshop
2nd Workshop CLE and Buenos Aires Logic Group
University of Campinas - Centre for Logic, Epistemology and History of Science, Brazil
2015/02/09 - 2015/02/13 Workshop on the applications of Belief Revision and Argumentation Theories.
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.
Conference
1st CLE Colloquium for Philosophy and History of Formal Sciences
University of Campinas - Centre for Logic, Epistemology and History of Science, Brazil
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.
Congress
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, Brazil
2012 - 2012 Major event of the Brazilian ANPOF - Associação Nacional de Pós-Graduação em Filosofia.
Congress
XV Encontro Nacional da ANPOF
Associação Nacional de Pós-Graduação em Filosofia, Brazil
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.
Congress
XVI Brazilian Logic Conference
Sociedade Brasileira de Lógica, Brazil
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.
Workshop
Logic School 2011
Sociedade Brasileira de Lógica, Brazil
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.
Congress
12th Asian Logic Conference
Victoria University of Wellington, New Zealand
2010 - 2010 Major event of the Brazilian ANPOF - Associação Nacional de Pós-Graduação em Filosofia.
Conference
XIV Encontro Nacional da ANPOF
Associação Nacional de Pós-Graduação em Filosofia, Brazil
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.
Symposium
V Simpósio Internacional Principia
Universidade Federal de Santa Catarina, Brazil
2006 - 2006 Major event of the Brazilian ANPOF - Associação Nacional de Pós-Graduação em Filosofia.
Congress
XII Encontro Nacional da ANPOF
Associação Nacional de Pós-Graduação em Filosofia, Brazil

Jury of academic degree

Topic
Role
Candidate name (Type of degree)
Institution / Organization
2017/12/02 Labelled natural deduction for modal and multimodal logics
(Thesis) Arguer
Dante Cardoso Pinto de Almeida (PhD)
Universidade Estadual de Campinas, Brazil
2017/11/20 Advances on Belief Base Dynamics
(Thesis) Arguer
Marco Paulo Ferreirinha Garapa (PhD)
Universidade da Madeira, Portugal

Association member

Society Organization name Role
2016/05/23 - Current Group for Analytic Metaphysics and Epistemology (GAME) Founding member
2009 - Current Sociedade Brasileira de Lógica member
2005 - Current Grupo de Lógica Teórica e Aplicada (GLTA), at CLE-Unicamp, Brazil member

Committee member

Activity description
Role
Institution / Organization
2022/08/30 - 2022/09/02 PC Member of 21st EPIA Conference on Artificial Intelligence (EPIA2022), KRR area.
Member
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021 - 2021 PC member of 20th EPIA Conference on Artificial Intelligence (EPIA2021)
Member
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.
Member
2019/09/18 - 2019/09/20 PC member of 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU). Belgrade - Serbia
Member
2019/09/03 - 2019/09/06 PC member of 19th EPIA Conference on Artificial Intelligence, Vila Real - Portugal
Member
2019 - 2019 PC member of 15th International Workshop on Defeasible and Ampliative Reasoning (DARe), co-located with LPNMR 2019. Philadelphia, PA - USA
Member
2019 - 2019 PC member of 28th International Joint Conference on Artificial Intelligence (IJCAI). Macau-China 2019.
Member

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2016/07 - 2016/11 Special Topics on Logic: Introduction to Modal Logic Philosophy (Postgraduate Certificate) University of Campinas - Institute of Philosophy and Human Sciences, Brazil
2015/07 - 2015/11 Computability Philosophy (Postgraduate Certificate) University of Campinas - Institute of Philosophy and Human Sciences, Brazil
2010/03 - 2010/06 Critical Thinking (Postgraduate Certificate) Brazilian College of Saint Benedict, Brazil
2009 - 2009 Fundamentals of Mathematical Logic Information System (Bachelor) Universidade Federal de São Carlos, Brazil
2007 - 2007 Introduction to Mathematical Logic Information System (Bachelor) Universidade Federal de São Carlos, Brazil

Journal scientific committee

Journal title (ISSN) Publisher
2020 - Current Contemplação (2179-8079)

Other jury / evaluation

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