Curriculum Vitae
Rafael Rodrigues Testa
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
- https://rafaeltesta.com/ (Professional)
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 |
|
| Conference abstract |
|
| Conference paper |
|
| Edited book |
|
| Encyclopedia entry |
|
| Journal article |
|
| Online resource |
|
| Report |
|
| Thesis / Dissertation |
|
Other
| Other output |
|
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 |