| 8:30 | registrace účastníků (chodba před místností 222) |
| 9:00 - 9:50 | Jiří Sgall: Dvě aplikace lineárního programování v rozvrhování |
| přestávka |
| 10:20 - 10:40 | Tomáš Ebenlendr: Online rozvrhování úloh stejné délky |
| 10:45 - 11:05 | Vít Jelínek: Složitost problému rekonstrukce grafu |
| 11:10 - 11:30 | Petr Kolman: Vícekomoditní toky se společným zdrojem v sítích s jednotkovými kapacitami |
| 11:35 - 11:55 | Jan Kynčl: Složitost některých problémů realizovatelnosti pro abstraktní topologické grafy |
| 12:00 - 12:20 | Petr Škovroň: Porušovačské prostory: struktura a algoritmy |
| 12:30 | oběd (Profesní dům, suterén budovy) |
| 14:00 - 14:20 | Václav Brožek: Rozhodnutelnost a složitost problému dosažitelnosti v nekonečně stavových stochastických hrách |
| 14:25 - 14:45 | Vojtěch Forejt: Hry jednoho a půl hráče a logiky větvícího se času |
| 14:50 - 15:10 | Ondřej Klíma: Systémy rovnic v pologrupách |
| 15:15 - 15:35 | Michal Koucký: Mnoho náhodných procházek je rychlejších než jedna |
| 15:40 - 16:00 | Michal Kunc: Algebraická charakterizace vlastnosti konečné mocniny |
| přestávka |
| 16:30 - 16:50 | Zdeněk Dvořák: Charakterizace grafů s omezenou expanzí |
| 16:55 - 17:15 | Daniel Kráľ: Rozklady matroidů a jejich algoritmické aplikace |
| 17:20 - 17:40 | Jan Obdržálek: DAG-width - míra souvislosti pro orientované grafy |
| 17:45 - 18:05 | Jan Vondrák: Maximalizace submodulárních funkcí v matroidech |
| 19:00 | konferenční večeře |
| 9:00 - 9:50 | Antonín Kučera: Nekonečné hry na grafech a jejich aplikace ve formální verifikaci |
| přestávka |
| 10:20 - 10:40 | Jiří Fiala: Lokálně injektivní grafové homomorfismy: Seznamy zaručují dichotomii |
| 10:45 - 11:05 | Jan Foniok: Konečné maximální antiřetězce v homomorfismovém uspořádání relačních struktur |
| 11:10 - 11:30 | Jan Kára: Výpočetní složitost jazyků časových omezeních |
| 11:35 - 11:55 | Ondřej Pangrác: l-konzistentní problém splnitelnosti s omezujícími podmínkami |
| 12:00 - 12:20 | Pavel Surynek: Řešení obtížných případů splnitelnosti Booleovských formulí |
| 12:30 | oběd (Profesní dům, suterén budovy) |
| 14:00 - 14:20 | Tomáš Brázdil: Verifikace limitních vlastností pravděpodobnostních zásobníkových automatů |
| 14:25 - 14:45 | Matúš Mihaľák: Odhalovanie a verifikovanie (neznámych) sieti |
| 14:50 - 15:10 | Radek Pelánek: Co vše se dá zkoumat o stavových prostorech? |
| 15:15 - 15:35 | Tomáš Vojnar: Stromové automaty s omezeními v symbolické verifikaci programů manipulujících vyvážené stromy |