Combinatorial Problems in Model Theory and Computer Science

A three-day workshop on combinatorics, model theory, and computer science

The primary objective of this workshop is to foster stronger connections and collaborations among researchers in model theory, theoretical computer science, and combinatorics. We are planning on a diverse range of talks, encompassing various areas such as combinatorics in model-theoretically tame contexts, applications of model theory in structural graph theory, constraint satisfaction problems, interactions between finite model theory and complexity theory,  VC theory, and learnability. The event will include 8 plenary talks, 5 shorter student talks and 3 problem sessions. 

We hope that this mini-workshop will offer an opportunity to initiate discussions and potential collaborations between academics from these different, but closely related, research areas and offer both interesting talks but also the possibility for interesting discussions.