Accepted Papers

• Polina Vinogradova and Alexey Sorokin. Properties of UTxO ledgers and their subsystems. 

• Krishna Manoorkar and Ruoding Wang. Query answering in lattice-based description logic.

• Yiwen Ding and Krishna Manoorkar. Fuzzy lattice-based description logic.

• Sandro Preto and Marcelo Finger. Regional, Lattice and Logical Representations of Neural Networks.

• Mauricio Ayala-Rincón, Maribel Fernandez, Daniele Nantes-Sobrinho and Daniella Santaguida Magalhães de Souza. Nominal Equational Rewriting and Narrowing.

• David Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia and Mauricio Ayala-Rincón. Anti-unification on Absorption and Commutative Theories.

• Alexander Leitsch, Anela Lolic and Stella Mahler. Towards an Analysis of Proofs in Arithmetic.

• Steven Libby. An Execution Model for RICE.

• Juliana Cunha, Alexandre Madeira and Luís Soares Barbosa. Paraconsistent Relations as a Variant of Kleene Algebras.

Pre-Proceedings 

      Download Here