Canonical decompositions in bounded treedepth and bounded shrubdepth graphs [slides]
2nd Workshop on Logic, Graphs, and Algorithms (LoGAlg), University of Warsaw, 2023-11-16
Talks
Proving combinatorial properties of graphs using model theory [slides]
Highlights of Logic, Games and Automata, University of Kassel, 2023-07-25
Canonical decompositions in monadically stable and bounded shrubdepth graph classes [slides]
International Colloquium on Automata, Languages and Programming (ICALP), Paderborn, 2023-07-12
Distal combinatorial tools for graphs of bounded twin-width [slides]
Symposium on Logic in Computer Science (LICS), Boston University, 2023-06-26
Reproving combinatorial properties of nowhere-dense graphs using model theory
Automata Theory, University of Warsaw, 2023-03-22
Combinatorial characterization of forking independence in monadically stable graphs [slides]
Discrete Mathematics and Logic: Between Mathematics and the Computer Science, CIRM, 2023-01-18
Distal Combinatorial Tools for Graphs of Bounded Twin-Width [video, slides]
Highlights of Logic, Games and Automata, 2022-07-01
Definability of neighborhoods in graphs of bounded twin-width and its consequences
Automata Seminar, IRIF, 2022-04-22
Definability of neighborhoods in graphs of bounded twin-width and its consequences
Automata Theory, University of Warsaw, 2022-04-20