Chasing the Perfect Specification (abstract)

Typed First-Order Logic (abstract)

Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods (abstract)

Introducing a Sound Deductive Compilation Approach (abstract)

Verifying safety properties of Artificial General Intelligence: The ultimate safety-critical system? (abstract)

Reasoning about Auctions (abstract)

Automating Regression Verification (abstract)

A Theorem Prover Backed Approach to Array Abstraction (abstract)

ALICe: A Framework to Improve Affine Loop Invariant Computation (abstract)

Loop Invariants by Mutation, Dynamic Validation, and Static Checking (abstract)

Towards Evaluating the Usability of Interactive Theorem Provers (abstract)

Combined Reasoning with Sets and Aggregation Functions (abstract)

Tableau Development for a Bi-Intuitionistic Tense Logic (abstract)

Defining privacy is supposed to be easy (abstract)

Extended Resolution in Modern SAT Solving (abstract)

Using CSP Meta Variables in AI Planning (abstract)

Automated Reasoning in Deontic Logic (abstract)

(AI) Planning to Reconfigure your Robot? (abstract)

Second-Order Characterizations of Definientia in Formula Classes (abstract)

On Herbrand theorems for classical and non-classical logics (abstract)

Models Minimal Modulo Subset-Simulation for Expressive Propositional Modal Logics (abstract)

A Resolution-Based Prover for Normal Modal Logics (abstract)

Computing Uniform Interpolants of ALCH-Ontologies with Background Knowledge (abstract)

The Leo-III Project (abstract)

Socratic Proofs for Propositional Linear-Time Logic (abstract)

Modular Verification of Interconnected Families of Uniform Linear Hybrid Automata (abstract)