Category Talks

Distributed Algorithms as Combinatorial Structures

Termination proving

Resolution-based Methods for Linear Temporal Reasoning

Automating invariant and progress proofs for distributed systems

A Theory of Programs

Abstract Perspectives on Modularity in Knowledge Representation

DL^N: a utilitarian nonmonotonic description logic

Efficient Model Based Diagnosis with Maximum Satisfiability

Abstract Interpretation as Automated Deduction

Appointment scheduling in hospitals - sequencing and scheduling using time aggregation