Seminář UITS 2003/2004

• 14.10. 2003 [MSP] Rozšířená pracovní schůzka skupiny MSP - o výzkumných skupinách
• 4.11. 16.00 [PNtalkers] R.Kočí: Architektura a vybrané implementační detaily PNtalku - detailní info pro uživatele
• 11.11. 13.00 Tomáš Vojnar: Verifikace parametrických paralelních systémů se sdílenými zdroji
• 11.11. 16.00 schůzka UITS
• 18.11. V. Janoušek: Ještě jednou o výzkumných skupinách na UITS, D. Martínek: Modely neurčitého chování, J. Cernohorský: Optimalizační techniky
• 2.12. F. Zbořil: Modelování multiagentních systémů
• 16.12. M.Hrubý: Heterogenní simulace na bázi HELEF
• 19.2.2004 16.00 [MSP] Radek Kočí: PNtalk pro uživatele. Náplní semináře je seznámení se základní architekturou, přístupem k systému a metaprotokolem. Ukázkové příklady tvorby modelů, simulace modelů a použití metaprotokolu.
• 11.3.2004 Martin Kovár: Topologie a topologické metody v teoretické informatice
• 20.5. - Prof. Kevin Warvick (BI-73)
• 15.4., 22.4., 6.5., 13.5., 27.5. - Kolokvia 2004
• 24.6.2004 František Zbořil ml.: Modelování multiagentních systémů

Links to this Page

• Seminář UITS 2004/2005 last edited on 29 September 2005 at 3:30 pm by dhcp200z.fit.vutbr.cz
• Seminář UITS 2006/2007 last edited on 4 October 2007 at 7:07 pm by localhost