Alexey Chentsov and Mykola Nikitchenko
Taras Shevchenko National University of Kyiv, Ukraine
"Composition-nominative logics as institutions"

Olga Gerasimova and Ilya Makarov
Department of Data Analysis and Articial Intelligence, National Research University Higher School of Economics
"Separator method for constructing canonical types of formulas"

Ana Claudia de Jesus Golzio and Marcelo Coniglio
Center of Logic, State University of Campinas - UNICAMP, Brazil
"On non-deterministic algebras"

Angela Pereira Rodrigues Moreira and Itala M. Loffredo D'Ottaviano
Dpt of Philosophy, State University of Campinas, Brazil
"The category TrCx and some results"

Darllan Conceção Pinto and Hugo Luiz Mariano
Institute of Mathematics and Statistics, University of São Paulo, Brazil
"Algebraizable logics and a functorial encoding of its morphisms"

Anna Carla Russo and Olivia Caramello
University of Salerno, Italy and University of Paris-Diderot, France
"Morita-equivalences for MV-algebras"

Samuel G. da Silva and Valeria de Paiva
Federal University of Bahia, Salvador, Brazil and Research Lab, Nuance Communications, Inc., Sunnyvale CA, USA
"Dialectica categories, cardinalities of the continuum and combinatorics of Ideals"

Vladimir Vasyukov
Institute of Philosophy, Russian Academy of Sciences, Moscow
"Categorical logic Approach to formal epistemology"