Rafael Testa‎ > ‎

Activities

EXAMINATION BOARD
Doctoral Theses
Marco Paulo Ferreirinha Garapa, Ph.D. in Mathematics
University of Madeira (2017)
Title: Advances on Belief Base Dynamics. Advisor: Eduardo Fermé.

Dante Cardoso Pinto de Almeida, Ph.D in Philosophy
University of Campinas (2017).
Title: Labelled natural deduction for modal and multimodal logics (Dedução natural rotulada para lógicas modais e multimodais). Advisor: Itala Maria Loffredo D'Ottaviano.

Final papers and monographs
"XXII Congresso de Iniciação Científica da Unicamp (PIBIC 2014)”, 22 a 24 de setembro de 2014, UNICAMP.

"XVIII Congresso de Iniciação Científica da Unicamp (PIBIC 2011)”, 22 e 23 de setembro de 2011, UNICAMP.

"XVII Congresso de Iniciação Científica da Unicamp (PIBIC 2010)”, 22 e 24 de setembro de 2010, UNICAMP.

PROCEEDINGS EDITED
2nd CLE Colloquium for Philosophy and History of Formal Sciences: Logic and Computing, Book of Abstracts, 2017.

Trends in Logic XVI: Consistency, Contradiction, Paraconsistency and Reasoning. 40 Years of CLE. Book of Abstracts. 2016.

Cadernos da Graduação. 05. ed. Campinas: Gráfica do Instituto de Filosofia e Ciências Humanas, 2005. v. 200. 129 p.
EVENTS
Organizing Committee

"2nd CLE Colloquium for Philosophy and History of Formal Sciences". Centre for Logic, Epistemology and the History of Science – Unicamp, SP-Brazil; July 19-22, 2017.


"Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE" – Unicamp (SP); 12 a 15 de setembro de 2016 (site)


"First Campinas Workshop in Contemporary Epistemology" Centro de Lógica, Epistemologia e História da Ciência – Unicamp (SP); 23 a 27 de maio de 2016 (site)


"2nd Workshop CLE-Buenos Aires Logic Group" Centro de Lógica, Epistemologia e História da Ciência – Unicamp (SP); 31 de março a 3 de abril de 2015. (site)

"1st CLE Colloquium for Philosophy and History of Formal Sciences". Centro de Lógica, Epistemologia e História da Ciência – Unicamp (SP); 21 a 23 março de 2013.



"X Seminário Nacional de História da Matemática", Centro de Convenções da Unicamp (SP), 24 a 27 de março de 2013.

“XVI EBL – Encontro Brasileiro de Lógica / Escola de Lógica” (XVI Brazilian LogicConference and Logic School) Laboratório Nacional de Computação Científica – Petrópolis (RJ); 9 a 13 de maio de 2011 (EBL) e Instituto de Matemática/UFF – Niterói (RJ); 7 a 8 de maio de 2011 (Logic School) (site)
Scientific Committee

"2nd CLE Colloquium for Philosophy and History of Formal Sciences". July 19-22, 2017.

“VIII Encontro de Pesquisa na Graduação em Filosofia da Unicamp”. 2004


“VII Encontro de Pesquisa na Graduação em Filosofia da Unicamp”. 2003

“VI Encontro de Pesquisa na Graduação em Filosofia da Unicamp”. 2002

Assistent Organizing Committee


"CLE 30 \ XV EBL \ XIV SLALM". Paraty, RJ, 2008

    - CLE 30 – 30th Anniversary of the Centre for Logic, Epistemology and the History of Science, UNICAMP
    - XV EBL -15th Brazilian Logic Conference
    - XIV SLALM – 14th Latin-American Symposium on Mathematical Logic (site)

Organization (local events)

CLE-Seminars, 2005-2017

“VIII Encontro de Pesquisa na Graduação em Filosofia da Unicamp”. 2004

“VII Encontro de Pesquisa na Graduação em Filosofia da Unicamp”. 2003

“VI Encontro de Pesquisa na Graduação em Filosofia da Unicamp”. 2002



Subpages (3): EBL Events Events and News
Comments