★   2nd WORLD LOGIC DAY, Rio de Janeiro, Brazil   ★

January 14, 2020, UFF, Bloco G, quinto andar, Sala 206, 3:PM

Jorge Petrucio Viana
Dpt of Mathematics, Federal Fluminense University, Niteroi
Graph logic set theory

Pascale Roure
University of Wuppertal, Germany
Logical Views of Bruno von Freytag-Löringhoff

Mauricio Kritz
University of Manchester, UK and National Laboratory of Scientific Computing, Brazil
Ta Mathemata — Mathematics as an Empirical Science

Bruno Lopes
Dpt of Computation, Federal Fluminense University, Niteroi
A logical framework to reason about Reo circuits

Jean-Yves Beziau
Brazilian Academy of Philosophy, CNPq and University of Brazil, Rio de Janeiro
Logic is not logic