Fri Feb 8, 2019
60 Evans Hall, 4:10–5:15 PM
Szymon Toruńczyk (University of Warsaw)
Some applications of model theory in computer science
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.