09:00 Markus Pantsar (RWTH University in Aachen, Germany / University of Helsinki, Finland)
Arithmetic and proto-arithmetic: the need for clear conceptual distinctions in computational cognitive sciences
10:00 Andrei Rodin (Université de Lorraine, France)
Negation in Kolmogorov's calculus of problems
11:00 César Frederico dos Santos (Universidade Federal do Maranhão, UFMA, Brazil) Logics as cognitive tools: an instrumentalist account of the metaphysics of logic
13:00 Walter Carnielli (Universidade Estadual de Campinas, Unicamp, Brazil) Novel theories of probability based on the contemporary logic
14:00 Guilherme Araújo Cardoso (Universidade Federal de Ouro Preto, UFOP, Brazil) Impossible Truths
15:00 Discussion