Události

Herman Goulet-Ouellet představí výzkum o hustotách grupových jazyků pod ergodickými pravděpodobnostními mírami a jejich vztahu k...

Petr Šťastný promluví o symbolickém provádění, technice analýzy programu, která zkoumá možné stavy programu a poskytuje tak náhled na...

Václav Blažej představí metodu, která zjednodušuje minimální řez na minimální řez, což umožňuje řešení zobecněných úloh typu l...

Ondřej Suchý prozkoumá parametrizované algoritmy pro problém obchodního cestujícího a jeho zobecnění, přičemž se zaměřuje na lokální...

Krisztina Szilágyi se zabývá složitostí parametrizovaných problémů na planárních grafech, zejména jejich obtížností v rámci tříd...

Foivos Fioravantes představí výsledky neřešitelnosti a efektivní algoritmy, včetně algoritmu FPT a polynomiálního jádra, s poznatky o...

Tomáš Jakl navrhuje využití herních comonand, které mají kořeny v teorii kategorií, k řešení omezení parametrizované složitosti tím,...

Manolis Vasilakis se zaměří na nastavení strukturálních parametrizací pro grafové problémy, a zejména na to, jak lze hypotézy jemnozrnné...

Michal Opler představí deterministický algoritmus založený na porovnávání, který třídí posloupnosti vyhýbající se pevné permutaci π...

Řečníkem bude Nikolaos Melissinos z FIT ČVUT. Promluví o složitosti hledání optimálních vrcholových a hranových regulátorů v grafech.

Řečníci budou z Japonska - Hirotaka Ono z Nagoya University a Tesshu Hanaka z Kyushu University.

Michal Opler studuje vliv vyhýbání se permutačním vzorům na složitost optimalizačních problémů, což je klíčový koncept jak...

Jan Matyáš Křišťan z Katedry teoretické informatiky probere problematiku rekonfigurace v grafických problémech, kde se zaměří na možnosti...

Grzegorz Lisowski z AGH University of Krakow se bude zabývat hledáním konzistentních skupin voličů v ordinálních volbách, řešením...

Jan Starý z Katedry aplikované matematiky FIT ČVUT se bude zabývat „the corresponding Ramsey property of ultrafilters themselves“.

Jan Volec z FJFI ČVUT se bude zabývat „subgraphs with a positive minimum semidegree in digraphs with large outdegree“.