Event Detail
|
Fri Feb 8, 2019 60 Evans Hall 4:10–5:15 PM |
Logic Colloquium 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.