Logic Colloquium: Some applications of model theory in computer science
Colloquium | February 8 | 4-5 p.m. | 60 Evans Hall
Szymon Toruńczyk, University of Warsaw
I will present a few basic applications of model theory in theoretical computer science, e.g. in verification, databases, and algorithms. I will also briefly discuss some links between notions from graph theory and stability theory.