Invited Speakers

Ana Ozaki (University of Bergen)  

Semiring Provenance for Knowledge Bases

Carlos  di Prisco (Instituto Venezolano de Investigaciones Científicas) 

Propiedades combinatorias de ideales de conjuntos

Cézar Mortari (UFSC)

On Valuation Semantics for Modal Logics

Francisco Miraglia (USP)

On elementary equivalence of real semigroups of preordered rings

Gisele Secco

(Cal State University San Bernardino

Andrea Loparic and the universes of discourse


Manuela Busaniche (Universidad Nacional del Litoral) 

 An algebraic approach to possibilistic substructural logics

Marcos Silva (UFPE)

How to Revise Logic? On Inferential Abilities and Normative Affordances

Natasha Alechina (Open University Netherlands/ Utrecht University)

How to use logic to make reinforcement learning safe

Ramon Jansana (Universitat de Barcelona) 

Relational semantics and ordered algebras for monotone propositional logics 

Samaria Montenegro Guzman (Universidad Costa Rica)

 Dividing lines among fields. 

Sheila  Veloso (UFRJ)

On Formulations for Group Theory

Verónica Becher (Universidad Buenos Aires)

Normal numbers and the Borel hierarchy