Keynote Speakers
Duration of keynote talks is 45mn including discussion
Duration of keynote talks is 45mn including discussion
Dept of Philosophy, Pontifical Catholic University, Santiago, Chile
Dept of Philosophy, Pontifical Catholic University, Santiago, Chile
Member of the Editorial Board of the South American Journal of Logic (SAJL)
Member of the Editorial Board of the South American Journal of Logic (SAJL)
"An extension of Aristotelian propositional modal logic without possible worlds"
"An extension of Aristotelian propositional modal logic without possible worlds"
Dept of Mathematics, Universidad Nacional de Colombia, Bogotá, Colombia
Dept of Mathematics, Universidad Nacional de Colombia, Bogotá, Colombia
Member of the Editorial Board of the South American Journal of Logic (SAJL)
Member of the Editorial Board of the South American Journal of Logic (SAJL)
"Quantale-valued model theory and set theory"
"Quantale-valued model theory and set theory"
School of Mathematics, University of Bristol, UK
School of Mathematics, University of Bristol, UK
President of the European Set Theory Society
President of the European Set Theory Society
Former President of the British Logic Colloquium
Former President of the British Logic Colloquium
Former coordinating editor of the Journal of Symbolic Logic
Former coordinating editor of the Journal of Symbolic Logic
Institute of Philosophy, University of Valparaiso, Chile
Institute of Philosophy, University of Valparaiso, Chile
Member of the Editorial Board of the South American Journal of Logic (SAJL)
Member of the Editorial Board of the South American Journal of Logic (SAJL)
"Logic and Hypothesis: the history of a misunderstanding"
"Logic and Hypothesis: the history of a misunderstanding"
SRI International, Menlo Park, California, USA
SRI International, Menlo Park, California, USA
"Rewriting modulo constraints: proof methods for verifying rewriting logic models of cyberphysical systems"
"Rewriting modulo constraints: proof methods for verifying rewriting logic models of cyberphysical systems"
Dept of Philosophy, PPGF, Federal University of Rio de Janeiro - UFRJ, Brazil
Dept of Philosophy, PPGF, Federal University of Rio de Janeiro - UFRJ, Brazil
President of Logica Universalis Association (LUA)
President of Logica Universalis Association (LUA)
Former President of the Brazilian Academy of Philosophy (ABF)
Former President of the Brazilian Academy of Philosophy (ABF)
Brazilian Research Council (CNPq)
Brazilian Research Council (CNPq)
Editor-in-Chief South American Journal of Logic (SAJL)
Editor-in-Chief South American Journal of Logic (SAJL)
"Contradiction, Paraconsistency and Universal Logic"
"Contradiction, Paraconsistency and Universal Logic"