Francesco Scarcello
Tree projection width and fixed-parameter tractable queries
Monday, January 21, 2019 at 16:00 c.t.
Fabrizio Montecchiani
Advances on 1-planar graphs
Tuesday, January 15, 2019 at 11:00 s.t.
Alice Miller
Probabilistic model checking for UAV strategy generation
Wednesday, November 21, 2018 at 10:00 c.t.