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