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

 Department of Mathematics

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.