On Eventual Non-Negativity and Positivity for the Weighted Sum of Powers of Matrices

S. Akshay, Supratik Chakraborty and Debtanu Pal

SAT-Based Proof Search in Intermediate Propositional Logics

Mauro Ferrari and Camillo Fiorentini

Goéland: a Concurrent Tableau-Based Theorem Prover (System Description)

Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard and Hinde Bouziane

Effective Semantics for the Modal Logics K and KT via Non-Deterministic Matrices

Ori Lahav and Yoni Zohar

The Pleasures of Proof

Natarajan Shankar

Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems

Marius Bozga, Lucas Bueri and Radu Iosif

Reasoning About Vectors Using an SMT Theory of Sequences

Ying Sheng, Andres Noetzli, Andrew Reynolds, Yoni Zohar, David Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark Barrett and Cesare Tinelli

Vampire Getting Noisy: Will Random Bits Help Conquer Chaos?

Martin Suda

An Efficient Subsumption Test Pipeline for BS(LRA) Clauses

Martin Bromberger, Lorenz Leutgeb and Christoph Weidenbach

Preprocessing of Propagation Redundant Clauses

Joseph Reeves, Marijn Heule and Randal Bryant

Rensets and Renaming-Based Recursion for Syntax with Bindings

Andrei Popescu

Finite Two-Dimensional Proof Systems for Non-Finitely Axiomatizable Logics

Vitor Rodrigues Greati and Joao Marcos

From the Universality of Mathematical Truth to the Interoperability of Proof Systems

Gilles Dowek

Evonne: Interactive Proof Visualization for Description Logics (System Description)

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann and Julián Méndez

Formula Simplification via Invariance Detection by Algebraically Indexed Types

Takuya Matsuzaki and Tomohiro Fujita

Hypergraph-Based Inference Rules for Computing EL+-Ontology Justifications

Hui Yang, Yue Ma and Nicole Bidoit

Binary Codes That Do Not Preserve Primitivity

Štěpán Holub, Štěpán Starosta and Martin Raška

Paraconsistent Gödel Modal Logic

Marta Bilkova, Sabine Frittella and Daniil Kozhemiachenko