This workshop is dedicated to the dissemination of contributions from computer scientists and mathematicians, especially those and dedicated to Formal Logic and Foundations.

We aim for a stimulating exchange between researchers from various fields of study, committed only to effective participation in the exchange of ideas and discussions on the relevant topics.

This workshop is aimed primarily at researchers and students of Computing and Mathematics interested in accepting this challenge.

SCHEDULE

WEDNESDAY DECEMBER 11 MORNING

- 09h15 10h00 KEYNOTE SPEAKER José Carlos Cifuentes ( UFPR, Brasil) ), "Consistência e paraconsistência em lógicas com negações polivalentes"

- 10h 10h30 Bruno Lopes (UFF, Brazil), "Logical reasoning Reo circuits"

- 10h30 11h00 Hugo Nobrega, UFRJ, Brazil), "Games for functions in descriptive set theory"

- 11h 11h30 Coffee Break

- 11h30 12h00 Konstantin Pavlov-Pinus (Institute of philosophy, Moscow), " 2-Cybernetics and probalistic interpretation of universal quantifiers"

12h 12h30 Eduardo Ochs, (UFF, Brazil) "On two tricks to make Category Theory fit in less mental space: missing diagrams and skeletons of proofs"

12h30 13h00 Hugo Luiz Mariano ( USP, Brazil), "Galois groups and a valuation theory for Special Groups"

WEDNESDAY DECEMBER 11 AFTERNOON

- 14h45 15h30 Edward Hermann Haeusler, (PUC-Rio, Brazil) Huge proofs are highly redundant: An argument in favour of NP=PSPACE

- 15h30 16h00 Stefano Aguzzoli, (Universitá degli Studi di Milano, Italy),"A duality for finite semilinear Hilbert algebras"

- 16h00 16h30 COFFEE BREAK

- 16h30 17h00 Mario Benevides (UFRJ, Brasil), "Grafos, Complexidade e Lógicas Modais"

- 17h00 17h30 Rogério A. S. Fajardo, (USP, Brazil), "Set-theoretical techniques applied to C(K) spaces with few operators"

- 17h30-18h00 Jorge Petrucio Viana, (UFF, Brazil), Graph logic set theory

THURSDAY DECEMBER 12 AFTERNOON

- 14h45 15h30 Marcelo E. Coniglio (Unicamp, Brazil), "A semantics of quasi-truth for the 3- valued first-order paraconsistent logic QCiore"

- 15h30 16h00 Anderson Beraldo de Araujo (UFABC, Brazil), "Systemic algebra: A proof-algebraic approach to relational constraint satisfaction problems"

- 16h00 16h30 COFFEE BREAK

- 16h30 17h00 Vladimir L. Vasyukov (Institute of Philosophy, Russian Academy of Sciences, Moscou, Russia)

"On Potos (da Costa Topos)"

- 17h00 17h30 Stefano Aguzzoli, (Universitá degli Studi di Milano, Italy), Gödel-Dummett logic, the category of forests, and topoi

- 14h45 15h30 17h30-18h00 Ruy J.G.B. de Queiroz, (UFPE, Brazil) "Computations, Paths, Types and Proofs"

CALL FOR PAPERS.

WE INVITE SUBMISSIONS IN ANY ASPECT OF MATHEMATICS AND COMPUTATION AND LINKED TO FOUNDATIONS AND LOGIC, INCLUDING BUT NOT RESTRICTED TO:

- Proof theory

- Algebraic Logic

- Set theory

- Model theory

- Non-classical Logics

- Theory of computation

- Category theory

SEND A ONE PAGE ABSTRACT TO logic0foundations@gmail.com BY OCTOBER 13, 2019.