| Čtvrtek 22/5 |
|
| 9:00 | Juraj Hromkovič | Testovanie prvočíselnosti - vývoj konceptov na ceste k polynomiálnemu algoritmu |
|
| 10:00 | přestávka |
|
| 10:30 | Rastislav Kráľovič | Spektrálne metódy vyrovnávanie zaťaženia |
| 11:00 | Ondřej Klíma | Složitost ekvacionální unifikace v teoriích s asociativní a idempotentní operací |
| 11:30 | Michal Kunc | Problémy kódování v monoidech stop |
| 12:00 | Ondřej Pangrác | Pattern hypergraphs |
|
| oběd |
|
| 14:00 | Jakub Černý | On intersection graphs of segments with prescribed slopes |
| 14:30 | Robert Babilon | Low-Distortion Embeddings of Trees |
| 15:00 | Pavel Valtr | One line and n points |
|
| přestávka |
|
| 16:00 | Jiří Fiala | Geometric separators and their application for independent set problem on disk graphs |
| 16:30 | Petr Hliněný | Branch-width, tree-width, and computational complexity in matroids |
|
| přestávka |
|
| 17:30 | diskuze |
|
| 19:00 | konferenční večeře |
| Pátek 23/5 |
|
| 9:00 | Juraj Hromkovič | Stabilita aproximačných algoritmov - nový prístup na riešenie ťažkých optimalizačných úlohs |
|
| 10:00 | přestávka |
|
| 10:30 | Jana Chlebíková | Neaproximovateľnosť ohraničených variant NP-ťažkých optimilizačných problémov |
| 11:00 | Petr Kolman | Toky krátkými cestami a jejich užitek pro aproximační algoritmy na hledání disjunktních cest |
| 11:30 | Zdeněk Dvořák | An Algorithm for Cyclic Edge Connectivity of Cubic Graphs |
| 12:00 | Jiří Sgall | Rozvrhování úloh v reálném čase |
|
| oběd |
|
| 14:00 | Viliam Geffert | Konverzia binárnych regulárnych výrazov na nedeterministické bezepsilonové automaty s O(n log n) hranami |
| 14:30 | Libor Polák | Aplikace syntaktického semiringu |
| 15:00 | Galina Jirásková | Koľko stavov môže mať minimálny DFA ekvivalentný s daným minimalným NFA? |
|
| přestávka |
|
| 16:00 | Jiří Šíma | Počítání pomocí ljapunovských Hopfieldových systému ve spojitém čase |
| 16:30 | Antonín Kučera | Sémantické ekvivalence procesů z pohledu modální logiky |
| 17:00 | Daniel Kráľ | Optimal Free Binary Decision Diagrams for Computation of EAR_n |