The Dennes Room

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.