Monday - Sep 12 (Room A)
-
09:00 - 12:30 Registration
-
13:30 - 14:30 Registration
-
14:30 - 15:30 Opening Session
-
15:30 - 16:30 Itala D'Ottaviano Lecture: Itala M. Loffredo D'Ottaviano.
On the development of Logic in Brazil -
16:30 - 17:00 Coffee Break
-
17:00 - 18:30 Anderson Nakano, Camila Rodrigues Jourdan, and Luiz Carlos Pereira
Panel: Wittgenstein on Gödel's incompleteness theorems -
18:30 - 20:30 Christina Brech, Itala D'Ottaviano, Manuela Souza, Sara Uckelman, Renata Wassermann.
Panel: Mulheres e lógica: ideias, projetos e ações! -
20:30 - 21:30 Opening Cocktail
Obs: Professor Itala D'Ottaviano will give the first "Itala D'Ottaviano Lecture". As decided in the 2019 Assembly of the SBL, the Itala D'Ottaviano Lecture will always be given by a female researcher in Logic in every future EBL as an homage to the work of Prof. Itala.
Monday - Sep 12 (Room B)
-
15:30 - 16:30 Opening Session
-
15:30 - 16:30 -
-
16:30 - 17:00 Coffee Break
-
17:00 - 17:30 Mayk de Andrade.
The simplicial model of univalent mathematics -
17:30 - 18:00 Caio de Andrade Mendes, José Goudet Alvim, and Hugo Luiz Mariano.
Exploring two completeness conditions on quantale valued sets -
18:00 - 18:30 José Alvim, Hugo Luiz Mariano, and Caio Mendes.
A Family of Monoidal Structures on the Category of Q-Sets for Commutative and Integral Quantales -
20:30 - 21:30 Opening Cocktail
Monday - Sep 12 (Room C)
-
15:30 - 16:30 Opening Session
-
15:30 - 16:30 -
-
16:30 - 17:00 Coffee Break
-
17:00 - 17:30 Thiago Andrade and Bruno Lopes.
A Coq formalization of Reo connectors for cyber-physical systems -
17:30 - 18:00 Allan Patrick Santana, Maximilian Harrisson Costa, and Bruno Lopes.
An ontology-based microservice approach for data interoperability -
18:00 - 18:30 Renata de Freitas and Leandro Suguitani.
A diagrammatic solution to a problem onorders. -
20:30 - 21:30 Opening Cocktail
Monday - Sep 12 (Room D)
-
15:30 - 16:30 -
-
16:30 - 17:00 Coffee Break
-
17:00 - 17:30 -
-
17:30 - 18:00 -
-
18:00 - 18:30 -
-
20:30 - 21:30 Opening Cocktail
Tuesday - Sep 13 (Room A)
-
09:00 - 10:00 Invited Talk: Vladimir Pestov.
Some topics in the foundations of supervised statistical machine learning -
10:00 - 10:30 Bernardo Alkmim, Edward Haeusler, and Cláudia Nalon
Adding Non-monotonic Reasoning to an Intuitionistic Description Logic -
10:30 - 11:00 Vitor Rodrigues Greati, and João Marcos
Finite and analytic proof systems for non-finitely axiomatizable logics -
11:00 - 11:30 Coffee Break
-
11:30 - 12:30 Invited Talk: Luiz Henrique Lopes dos Santos.
Temporal truth and bivalence: logical remarks on Aristotle's De Interpretatione 9 -
12:30 - 14:30 Lunch
-
14:30 - 15:00 Hugo Hoffmann Borges.
Dedução Natural para Lógica Linear com stoup -
15:00 - 15:30 Elaine Pimentel and Carmem Júlia Oliveira.
Proof systems for Geometric theories (PROGEO) -
15:30 - 16:00 Lorenzo Saraiva, Edward Hermann Haeusler, Vaston Costa.
Quantum Algorithms for Multiplicative Linear Logic -
16:00 - 16:30 Luiz Cláudio F. Fernandez, and Mario Benevides.
Dolev-Yao Multi-Agent Epistemic Logic with Communication Actions -
16:30 - 17:00 Coffee Break
-
17:00 - 18:00 Invited Talk: Valéria de Paiva.
Dialectica Categories Revisited (online) -
18:00 - 20:00 Panel: Andreas B.M Brunner, Camila Jourdan, Sara Uckelman, Marcos Silva, Petrucio Viana, Bruno Lopes, Gisele Secco.
Lógicas, ensino e extensão
Tuesday - Sep 13 (Room B)
-
09:00 - 10:00 -
-
10:00 - 10:30 Diego Fernandes
Relative expressiveness and stability over language extensions -
10:30 - 11:00 Alfredo Roque Freire and Edgar L. B. Almeida
The strength of monadic first-order theory -
11:00 - 11:30 Coffee Break
-
11:30 - 12:30 -
-
12:30 - 14:30 Lunch
-
14:30 - 15:00 Workshop Gaps and Gluts: Luiz Carlos Pereira, and Elaine Pimentel.
Two pure ecumenical natural deduction systems -
15:00 - 15:30 Ederson Safra Melo, and Jonas Arenhart Becker.
Contradictions without gluts -
15:30 - 16:00 Marcos Silva.
Revisão da Lógica, Disputas Verbais e Negociações Metalinguísticas -
16:00 - 16:30 Discussion
-
16:30 - 17:00 Coffee Break
-
17:00 - 18:00 -
-
18:00 - 18:30 Workshop Gaps and Gluts: Cezar Mortari.
Valuation semantics and modal logics -
18:30 - 19:00 Juliana Bueno-Soler.
Three-valued paraconsistent multimodalities and their meaning -
19:00 - 19:30 Walter Carnielli.
How to reason with imprecise probability and possibility -
19:30 - 20:00 Discussion
Tuesday - Sep 13 (Room C)
-
09:00 - 10:00 -
-
10:00 - 10:30 Juan F. Meleiro and Hugo Luiz Mariano
Towards Modular Mathematics -
10:30 - 11:00 Lucas Real and Leandro F. Aurichi
Unfriendly partitions when avoiding vertices of finite degree -
11:00 - 11:30 Coffee Break
-
11:30 - 12:30 -
-
12:30 - 14:30 Lunch
-
14:30 - 15:00 Samuel Gomes da Silva, and Valéria de Paiva.
Kolmogorov-Veloso Problems, Dialectica Categories and Choice Principles -
15:00 - 15:30 Frode Bjørdal.
A Librationist Set Theory Extending Classical Set Theory -
15:30 - 16:00 Artur Hideyuki Tomita, and Juliane Trianon-Fraga.
Countable Powers of Countably Pracompact Groups -
16:00 - 16:30Rodrigo Carvalho, Gabriel Fernandes, Lúcia R. Junqueira.
Partitions of topological spaces and a club-like principle -
16:30 - 17:00 Coffee Break
-
17:00 - 18:00 -
-
18:00 - 18:30 Eduardo Ochs.
On a way to visualize some Grothendieck Topologies -
18:30 - 19:00 Marco Barone, Nicolás Caro-Montoya, and Eudes Naziazeno.
Undecidability of indecomposable polynomial rings -
19:00 - 19:30 -
-
19:30 - 20:00 -
Tuesday - Sep 13 (Room D)
-
09:00 - 10:00 -
-
10:00 - 10:30 Evelyn Erickson
On logical evidence and theory choice -
10:30 - 11:00 Samir Gorsky
Informação e Significado -
11:00 - 11:30 Coffee Break
-
11:30 - 12:30 -
-
12:30 - 14:30 Lunch
-
14:30 - 15:00 Fernanda Abrahão.
Autorreferência e Circularidade -
15:00 - 15:30 José Luis Castiglioni and Rodolfo C. Ertola-Biraben.
On some extensions of da Costa logic -
15:30 - 16:00 Matheus Gabriel Barbosa and Fabien Schang.
Legal Gaps -
16:00 - 16:30-
-
16:30 - 17:00 Coffee Break
-
17:00 - 18:00 -
-
18:00 - 18:30 Victor Nascimento.
Três Particularidades de Semânticas Prova-teóricas: Restrições Estruturais, Domínios Extensionais e Bases Subestruturais -
18:30 - 19:00 Renato Leme, Giorgio Venturi, and Bruno Lopes.
A Tableau for Ecumenical Propositional Logic -
19:00 - 19:30 -
-
19:30 - 20:00 -
Wednesday - Sep 14 (Room A)
-
09:00 - 10:00 Invited Talk: Renata Wassermann.
How to change beliefs about concepts? -
10:00 - 10:30 Cleyton Slaviero and Edward Hermann Haeusler
Using the subset construction algorithm to transform imperfect information games into perfect information games -
10:30 - 11:00 Hendrick Maia
O Mapa de Abel-Jacobi em Jogos de Comparação de Modelos Finitos -
11:00 - 11:30 Coffee Break
-
11:30 - 12:30 Invited Talk: John Mumma.
A foundation in which numbers count -
12:30 - 14:30 Lunch
-
14:30 - 20:00 Free Afternoon
-
20:00 - 23:00 Conference Dinner
Wednesday - Sep 14 (Room B)
-
09:00 - 10:00 -
-
10:00 - 10:30 Marcelo Coniglio and Guilherme Toledo.
From inconsistency to incompatibility -
10:30 - 11:00 Guilherme Araújo Cardoso
The Logic of Impossible Truths: A paraconsistent but non-dialetheist framework for paradoxes and other impossibilities -
11:00 - 11:30 Coffee Break
-
11:30 - 12:30 -
-
12:30 - 14:30 Lunch
-
14:30 - 20:00 Free Afternoon
-
20:00 - 23:00 Conference Dinner
Wednesday - Sep 14 (Room C)
-
09:00 - 10:00 -
-
10:00 - 10:30 Peter Arndt, Hugo Luiz Mariano, and Darllan Conceição Pinto.
Algebraizability as an algebraic structure -
10:30 - 11:00 Ugo Almeida and Darllan Pinto
Expanding the Leibniz Hierarchy -
11:00 - 11:30 Coffee Break
-
11:30 - 12:30 -
-
12:30 - 14:30 Lunch
-
14:30 - 20:00 Free Afternoon
-
20:00 - 23:00 Conference Dinner
Wednesday - Sep 14 (Room D)
-
09:00 - 10:00 -
-
10:00 - 10:30 Jonas Becker Arenhart and Hitoshi Omori.
Change of logic, without change of meaning -
10:30 - 11:00 Steffen Lewitzka, Vinícius Pinto Fajardo Pereira, and Alef de Souza Barbosa Santos
Combining belief, knowledge and evidence -
11:00 - 11:30 Coffee Break
-
11:30 - 12:30 -
-
12:30 - 14:30 Lunch
Thursday - Sep 15 (Room A)
-
09:00 - 10:00 Invited Talk: Lluis Godo.
On many-valued modal logics and graded beliefs -
10:00 - 10:30 Evandro Luís Gomes and Itala D'Ottaviano
The epic history of a name: the role of Newton da Costa and Francisco Miró Quesada in the baptism of paraconsistent logics -
10:30 - 11:00 Cassiano Rodrigues.
Semiótica, não-monotonicidade e a diferença entre lógica e matemática segundo C. S. Peirce -
11:00 - 11:30 Coffee Break
-
11:30 - 12:30 Invited Talk: Javier Legris.
Charles S. Peirce on Identity: The case of the Existential Graphs -
12:30 - 14:30 Lunch
-
14:30 - 15:30 In memoriam: tribute to those we lost in the last years
-
15:30 - 16:30 Book Releases
-
16:30 - 17:00 Coffee Break
-
16:30 - 17:30 Poster Session
-
17:30 SBL Assembly
Thursday - Sep 15 (Room B)
-
09:00 - 10:00 -
-
10:00 - 10:30 Newton Peron and Henrique Antunes.
Some Many-Valued Logical Frameworks for Reasoning About Fiction -
10:30 - 11:00 Marcelo Finger and Sandro Preto
Approximating Lukasiewicz Infinitely-valued Logic via Polyhedral Semantics -
11:00 - 11:30 Coffee Break
-
11:30 - 12:30 -
-
12:30 - 14:30 Lunch
-
14:30 - 15:30 In memoriam: tribute to those we lost in the last years
-
15:30 - 16:30 Book Releases
-
16:30 - 17:30 Poster Session
-
17:30 - 18:30 SBL Assembly
Thursday - Sep 15 (Room C)
-
09:00 - 10:00 -
-
10:00 - 10:30 Marcia R. Cerioli, Petrucio Viana .
On the logical relationship between the Peano and Lawvere axioms for the sequence of natural numbers -
10:30 - 11:00 Tiago de Castro Alves
A tese de normalizaçã sobre identidade de provas sobre o pano de fundo da tese de Church-Turing -
11:00 - 11:30 Coffee Break
-
11:30 - 12:30 -
-
12:30 - 14:30 Lunch
-
14:30 - 15:30 In memoriam: tribute to those we lost in the last years
-
15:30 - 16:30 Book Releases
-
16:30 - 17:30 Poster Session
-
17:30 - 18:30 SBL Assembly
Thursday - Sep 15 (Room D)
-
09:00 - 10:00 -
-
10:00 - 10:30 Thiago Alexandre, Gabriel Bittencourt Rios, and Hugo Luiz Mariano.
Interpretação co-homológica e homotópica da teoria de modelos -
10:30 - 11:00 José Henrique Fonseca Franco
Uma análise da noção de indecidibilidade nos teoremas de incompletude de Gödel e no problema da parada -
11:00 - 11:30 Coffee Break
-
11:30 - 12:30 -
-
12:30 - 14:30 Lunch
-
14:30 - 15:30 In memoriam: tribute to those we lost in the last years
-
15:30 - 16:30 Book Releases
-
16:30 - 17:30 Poster Session
-
17:30 - 18:30 SBL Assembly
Friday - Sep 16 (Room A)
-
09:00 - 10:00 Invited Talk: Christina Brech.
Applications of combinatorial families -
10:00 - 10:30 Ciro Russo.
Quantale modules and deductive systems: where we are and where we are heading -
10:30 - 11:00 Kaique Roberto, Hugo Luiz Mariano, and Hugo Ribeiro.
Quadratic Extensions of Special Hyperfields and the Aranson-Pfister Hauptsatz -
11:00 - 11:30 Coffee Break
-
11:30 - 12:30 Invited Talk: Lew Gordeew.
On Proof Theory in Computational Complexity -
12:30 - 14:30 Lunch
-
14:30 - 15:00 Marlo Souza and Renata Wassermann.
Mudança de crenças e Lógicas Hiperintensionais -
15:00 - 15:30 Bruno Cuconato, Jefferson de Barros Santos, and Edward Hermann Haeusler.
A Graph Logical Framework -
15:30 - 16:00 Luis Henrique Bustamante, Márcia Roberta Falcão de Farias.
Complexidade Descritiva de Processos Reversíveis em Grafos -
16:00 - 16:30 Davi Romero de Vasconcelos.
ANITA - Analytic Tableau Proof Assistant -
16:30 - 17:00 Coffee Break
-
17:00 - 17:30 Closing Session
Friday - Sep 16 (Room B)
-
09:00 - 10:00 -
-
10:00 - 10:30 Vaston Costa and Hermann Haeusler.
Physical computational by manifolds -
10:30 - 11:00 Euclides Torres Ometto Stolf.
Teorema do ponto-fixo no contexto da computação e da lógica -
11:00 - 11:30 Coffee Break
-
11:30 - 12:30 -
-
12:30 - 14:30 Lunch
-
14:30 - 15:00 Workshop Gaps and Gluts: Abílio Rodrigues and Marcelo Coniglio.
Propagation of classicality in logics of evidence and truth -
15:00 - 15:30 Marcelo Coniglio.
Paradefinite Ivlev-like modal logics based on FDE -
15:30 - 16:00 Discussion
-
16:00 - 16:30 -
-
16:30 - 17:00 Coffee Break
-
17:00 - 17:30 Closing Session
Friday - Sep 16 (Room C)
-
09:00 - 10:00 -
-
10:00 - 10:30 Frank Thomas Sautter.
O Jogo de Cartas Lógicas de Shiver -
10:30 - 11:00 Wagner Sanz and Petrucio Viana.
Problemas e seus tipos na Geometria Euclidiana -
11:00 - 11:30 Coffee Break
-
11:30 - 12:30 -
-
12:30 - 14:30 Lunch
-
14:30 - 15:00 Wilhelm Alexander Cardoso Steinmetz.
Intuitionism, Merleau-Ponty and Embodied Cognitive Science -
15:00 - 15:30 Julio Cesar da Silva.
A Ontologia Científica de Quine: questões lógicas e filosóficas -
15:30 - 16:00 André Coggiola.
O estruturalismo lógico de Karl Popper -
16:00 - 16:30 -
-
16:30 - 17:00 Coffee Break
-
17:00 - 17:30 Closing Session
Friday - Sep 16 (Room D)
-
09:00 - 10:00 -
-
10:00 - 10:30 -
-
10:30 - 11:00 -
-
11:00 - 11:30 Coffee Break
-
11:30 - 12:30 -
-
12:30 - 14:30 Lunch
-
14:30 - 15:00 -
-
15:00 - 15:30 -
-
15:30 - 16:00 -
-
16:00 - 16:30 -
-
16:30 - 17:00 Coffee Break
-
17:00 - 17:30 Closing Session