Tutte colloquium-Rose McCarty

Title:The first-order logic of graphs

Abstract:Over the last ten years, many wonderful connections have been established between structural graph theory, computational complexity, and finite model theory. We give an overview of this area, focusing on recent progress towards understanding the "stable" case. We do not assume any familiarity with first-order logic