Dear friends of doctoral seminar, this Thursday we have second student's talk of doctoral seminar as we will have a talk by Tomas:
T. Hons -- First-order model checking on monadically stable graph classes
Everybody is welcome to attend. The seminar starts at 9:50 in S6.
Best, Martin
dokt-seminar-l@kam.mff.cuni.cz