Jan Fiedor: Praktické metody automatizované verifikace paralelních programů, Vendula Hrubá: Analýza dynamických systémů a chaos, Ondřej Malačka: Použití reputace pro podporu rozhodování v MAS - detail akce