
- This event has passed.
Colin Geniet, Merge-width
July 29 Tuesday @ 4:30 PM - 5:30 PM KST
Room B332,
IBS (기초과학연구원)
This talk is an introduction to the recent notion of merge-width, proposed by Jan Dreier and Szymon Torúnczyk. I will give an overview of the context and motivations for merge-width, namely the first-order model checking problem, and present the definition, some examples, and some basic proof techniques with the example of χ-boundedness.
This is based on joint work with Marthe Bonamy.