Formal Logic and Foundations of Mathematics
KEYNOTE SPEAKERS
KEYNOTE SPEAKERS
Edward Hermann Haeusler (PUC-RIO): Pontifical University of Rio de Janeiro, RJ, Brazil
Edward Hermann Haeusler (PUC-RIO): Pontifical University of Rio de Janeiro, RJ, Brazil
"Proof, Computation and Complexity: a Critical Analysis"
"Proof, Computation and Complexity: a Critical Analysis"
UFPR, Brazil
UFPR, Brazil
"Consistência e paraconsistência em lógicas com negações polivalentes"
"Consistência e paraconsistência em lógicas com negações polivalentes"
UNICAMP, Brazil
UNICAMP, Brazil
"A semantics of quasi-truth for the 3- valued first-orderparaconsistent logic QCiore"
"A semantics of quasi-truth for the 3- valued first-orderparaconsistent logic QCiore"
This workshop is dedicated to the dissemination of contributions from computer scientists and mathematicians, especially those and dedicated to Formal Logic and Foundations.
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.
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.
This workshop is aimed primarily at researchers and students of Computing and Mathematics interested in accepting this challenge.
SCHEDULE
SCHEDULE
WEDNESDAY DECEMBER 11 MORNING
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"
- 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"
- 10h 10h30 Bruno Lopes (UFF, Brazil), "Logical reasoning Reo circuits"
- 10h30 11h00 Hugo Nobrega, UFRJ, Brazil), "Games for functions in descriptive set theory"
- 10h30 11h00 Hugo Nobrega, UFRJ, Brazil), "Games for functions in descriptive set theory"
- 11h 11h30 Coffee Break
- 11h 11h30 Coffee Break
- 11h30 12h00 Konstantin Pavlov-Pinus (Institute of philosophy, Moscow), " 2-Cybernetics and probalistic interpretation of universal quantifiers"
- 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"
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"
12h30 13h00 Hugo Luiz Mariano ( USP, Brazil), "Galois groups and a valuation theory for Special Groups"
WEDNESDAY DECEMBER 11 AFTERNOON
WEDNESDAY DECEMBER 11 AFTERNOON
- 14h45 15h30 Edward Hermann Haeusler, (PUC-Rio, Brazil) Huge proofs are highly redundant: An argument in favour of NP=PSPACE
- 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"
- 15h30 16h00 Stefano Aguzzoli, (Universitá degli Studi di Milano, Italy),"A duality for finite semilinear Hilbert algebras"
- 16h00 16h30 COFFEE BREAK
- 16h00 16h30 COFFEE BREAK
- 16h30 17h00 Mario Benevides (UFRJ, Brasil), "Grafos, Complexidade e Lógicas Modais"
- 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"
- 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
- 17h30-18h00 Jorge Petrucio Viana, (UFF, Brazil), Graph logic set theory
THURSDAY DECEMBER 12 AFTERNOON
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"
- 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"
- 15h30 16h00 Anderson Beraldo de Araujo (UFABC, Brazil), "Systemic algebra: A proof-algebraic approach to relational constraint satisfaction problems"
- 16h00 16h30 COFFEE BREAK
- 16h00 16h30 COFFEE BREAK
- 16h30 17h00 Vladimir L. Vasyukov (Institute of Philosophy, Russian Academy of Sciences, Moscou, Russia)
- 16h30 17h00 Vladimir L. Vasyukov (Institute of Philosophy, Russian Academy of Sciences, Moscou, Russia)
"On Potos (da Costa Topos)"
"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
- 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"
- 14h45 15h30 17h30-18h00 Ruy J.G.B. de Queiroz, (UFPE, Brazil) "Computations, Paths, Types and Proofs"
CALL FOR PAPERS.
CALL FOR PAPERS.
WE INVITE SUBMISSIONS IN ANY ASPECT OF MATHEMATICS AND COMPUTATION AND LINKED TO FOUNDATIONS AND LOGIC, INCLUDING BUT NOT RESTRICTED TO:
WE INVITE SUBMISSIONS IN ANY ASPECT OF MATHEMATICS AND COMPUTATION AND LINKED TO FOUNDATIONS AND LOGIC, INCLUDING BUT NOT RESTRICTED TO:
- Proof theory
- Proof theory
- Algebraic Logic
- Algebraic Logic
- Set theory
- Set theory
- Model theory
- Model theory
- Non-classical Logics
- Non-classical Logics
- Theory of computation
- Theory of computation
- Category theory
- Category theory
SEND A ONE PAGE ABSTRACT TO logic0foundations@gmail.com BY OCTOBER 13, 2019.
SEND A ONE PAGE ABSTRACT TO logic0foundations@gmail.com BY OCTOBER 13, 2019.