The logic of graphs (Rose McCarty)

Series
Graph Theory Seminar
Time
Tuesday, August 27, 2024 - 3:30pm for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Rose McCarty – Georgia Tech – https://mccarty.math.gatech.edu/
Organizer
Evelyne Smith-Roberge

We give an overview of the interplay between structural graph theory, first-order logic, and parameterized complexity. We focus on introducing the subject. Time permitting, one particular topic will be the neighborhood complexity of monadically stable graph classes.