Dear colleagues,

let me invite you to the doctoral seminar on this Thursday at 9:50 in S6. Tomáš Masařík will present a paper:

Michael Lampis: Model checking lower bounds for simple graphs [1]

With best regards, Honza

[1] https://arxiv.org/abs/1302.4266