STIGMA 2015

School on Theoretical Informatics, Graphs and MAthematics

18. — 22. května, Kruh u Jilemnice

STIGMA je pořádána katedrou teoretické informatiky a katedrou aplikované matematiky FIT ČVUT. Škola se koná v neformální atmosféře a její hlavní náplní jsou přednášky studentů a doktorandů o vědeckých článcích či vlastním výzkumu, přednášky mladých vědeckých pracovníků o jejich výzkumu a prostor na řešení otevřených problémů. Kromě odborného programu bude dost času i na ryze neodborné činnosti jako například sportovní aktivity v okolí.

Místo konání a doprava

• STIGMA 2015 se bude konat 18.—22. května 2015 v Kruhu u Jilemnice.
• Adresa objektu je Kruh 207, 514 01 Kruh u Jilemnice
• Tam pojede hromadně autobus z Dejvic, odjezd bude v pondělí mezi 9:00 a 10:00.
• Zpět opět pojede hromadný autobus ihned v pátek po obědě.
• Veškeré náklady (ubytování a strava, hromadný autobus) jsou hrazeny z rozpočtu ČVUT

Přihlašování

• Přihlašujte se tímto formulářem
• Deadline na přihlášku je 30.dubna 2015, 23:59 CEST.
• Ale přihlašte se raději dříve.
• Své dotazy zatím můzete směřovat na tomas.valla (zavináč) fit.cvut.cz nebo ondrej.suchy (zavináč) fit.cvut.cz.

Přednášky

V rámci vaší účasti na STIGMě se očekává, že povíte nějakou pěknou přednášku blížící se následujícím tématům:

• teoretická informatika
• diskrétní matematika
• teorie grafů a grafové algoritmy
• výpočetní složitost a algoritmy

Doktorandi a studenti přednesou přednášky týkající se buďto jejich vlastního výzkumu, nebo aktuálního vědeckého článku zapadajícího do tematiky konference (nabídku článků viz níže). Mladí vědečtí pracovníci přednesou přednášky, které mohou inspirovat studenty k budoucímu výzkumu a nabídnou také vhodné otevřené problémy.

Očekávané délky přednášek jsou následující:

• 60—90 minut pro bakalářské a magisterské studenty
• 45—60 minut pro doktorandy
• 0—30 minut pro kohokoli staršího

Předběžný rozvrh přednášek bude znám v pátek před odjezdem. Na místě by měl být zajištěn projektor a tabule.

Seznam článků

Zde je seznam článků, které nabízíme k nastudování, pokud nemáte vlastní zdroj.

Seznam účastníků

• Baier, Jan: Hledání k-tého nejmenšího prvku s omezenou pamětí
• Barus, Martin: Bayesian networks
• Blažej, Václav: String pattern matching with swaps
• Borovička, Tomáš: Semi-supervised and Active Learning
• Harmady, Petr: Mapping a polygon with holes using a compass
• Holub, Jan: Index zahustíme a zamícháme...
• Janoušek, Jan: Some notes on finite tree automata and deterministic string pushdown automata, Computing repeats of subtrees in a tree in linear time and space
• Kalvoda, Tomáš: Do hlubin Sage
• Kuzin, Tomáš: Sensor Failure Detection and Prediction
• Malík, Josef: Unavoidable subtrees
• Melichar, Bořivoj: Arbology: Trees and Pushdown Automata
• Pajurek, Tomáš: Simulating dairy cattle behaviour using multiagent system
• Pecka, Tomáš: Top-Down Tree Edit Distance of Regular Tree Languages
• Plachý, Štěpán: O stromovém konečném automatu a jeho determinizaci
• Polách, Radomír: A New Algorithm for the Determinisation of Visibly Pushdown Automata
• Rymeš, Karel: Using meta-strategies to play complex games - Practice
• Starý, Jan: Topologie v computer science
• Stránský, Jiří: A note on visibility-constrained Voronoi diagrams
• Suchý, Ondřej
• Trávníček, Jan: Backward linearised tree pattern matching
• Valla, Tomáš
• Wanča, Vilibald: Approximation Of Grammar-Based Compression Via Recompression
• Zubal, Stanislav: Pirates and treasure
• Šlapák, Martin: Podobnost podstromu v genetickém programování
• Špetlík, Radim: Using meta-strategies to play complex games
• Štampach, František: How Pusheen uses computer to do mathematics