Logic and Semantics Seminar

Mathematical models of disease are important and widely used, but building and working with these models at scale is challenging. Many epidemiologists use “stock and flow diagrams” to describe ordinary differential equation (ODE) models of disease dynamics. This talk introduces the mathematics of stock and flow diagrams...

A long-standing open problem in finite model theory is the question whether there exists a logic that captures polynomial time. Put differently, this question asks for a symmetry-invariant computation model which decides precisely the polynomial time computable properties of finite structures. Most logics that have been...