| 8:30 | | registrace účastníků (chodba před posluchárnou S5) |
| 9:00 - 9:40 | Viliam Geffert | Hyper-minimalizácia minimálnych deterministických konečných automatov |
| 9:40 - 10:00 | Richard Královič | O stavovej zložitosti pravdepodobnostných zametacích konečných automatov s obmedzeným časom výpočtu |
| 10:00 - 10:20 | Jiří Srba | Rozhodnutelná podtřída zásobníkových automatů |
| přestávka |
| 10:50 - 11:10 | Jan Křetínský | Problém splnitelnosti pro pravděpodobnostní CTL |
| 11:10 - 11:30 | Zdeněk Sawa | "Neprokládané" bisimulační ekvivalence na základních paralelních procesech |
| 11:30 - 11:50 | Martin Kot | Nové poznatky o rozhodování bisimilarity mezi normovanými BPA a normovanými BPP |
| 11:50 - 12:10 | Mikoláš Janota | Minimální modely a konfigurace softwaru |
|
| 12:20 | oběd (Profesní dům, suterén budovy) |
|
| 14:00 - 14:20 | Daniel Kráľ | Dva algoritmy pro třídy grafů s omezenou expanzí |
| 14:20 - 14:40 | Juraj Stacho | Implicitná reprezentácia a lineárne algoritmy pre triedy chordálnych grafov |
| 14:40 - 15:00 | Vít Jelínek | Ranková šířka čtvercové mřížky |
| 15:00 - 15:20 | Jan Obdržálek | Paritní hry a kliková šířka |
| 15:20 - 15:40 | Matúš Mihaľák | Ako strážiť graf? |
| přestávka |
| 16:10 - 16:30 | Libor Barto | O složitosti H-barvení digrafů |
| 16:30 - 16:50 | Jiří Fiala | Výpočetní obtíže problému L(p,q) značkování stromů |
| 16:50 - 17:10 | Jan Kára | Rovinnost se skupinami: Malé skupiny na kružnici a v eulerovských grafech |
| 17:10 - 17:30 | Ondřej Suchý | Parametrizovaná složitost zobecněné dominance |
| 17:30 - 17:50 | Tomáš Ebenlendr | Preemptivní semi-online rozvrhování: univerzální algoritmus |
| krátká přestávka |
| 18:00 - 19:00 | | Problémová sekce (vede Jaroslav Nešetřil) |
| 19:30 | konferenční večeře (restaurace Olympie) |
| 9:00 - 9:20 | Bronislava Brejová | On-line Viterbiho algoritmus na analýzu dlhých biologických sekvencií |
| 9:20 - 9:40 | Pavel Surynek | Plánování cest pro mnoho robotů |
| 9:40 - 10:00 | Petr Kolman | Laciné řezy krátkých cest a jiné tokové problémy |
| 10:00 - 10:20 | Stanislav Živný | Dekompozice submodulárních funkcí |
| přestávka |
| 10:50 - 11:10 | Rastislav Královič | Deterministické modely komunikačných chýb |
| 11:10 - 11:30 | Jan Kynčl | Logspace redukce problému orientované dosažitelnosti v grafech vyššího rodu na rovinný případ |
| 11:30 - 11:50 | Josef Cibulka | Palačinkové třídění |
| 11:50 - 12:10 | Martin Mareš | Číslování permutací v lineárním čase |
|
| 12:20 | oběd (Profesní dům, suterén budovy) |
|
| 14:00 - 14:20 | Eva Jelínková | Clustery s dvěma komponentami souvislosti v grafech s pevným nakreslením |
| 14:20 - 14:40 | Jana Katreniaková | Inkrementálne vykresľovanie veľkých grafov pomocou trojuholnikového rozloženia |
| 14:40 - 15:00 | Martin Pergel | Rozpoznávání tříd průnikových grafů pomocí sandwichování |
| 15:00 - 15:20 | Rudolf Stolař | Ježci v rovině |
| 15:20 - 15:40 | Marek Sulovský | Koule obsahující mnoho bodů |
| přestávka |
| 16:10 - 16:30 | Michal Koucký | Jak se pohybovat v rychle se měnícím světě: Doba pokrytí dynamických grafů |
| 16:30 - 16:50 | Václav Brožek | Kvalitativní dosažitelnost ve stochastických BPA hrách |
| 16:50 - 17:10 | Vojtěch Forejt | Dosažitelnost v pravděpodobnostních časových hrách |
| 17:10 - 17:30 | Tomáš Brázdil | Algoritmická analýza her s čítači |