Neformální workshop o formálních metodách
-
23. října 2019
9:30 – 13:00 - KYPO, Fakulta informatiky MUNI
Přijďte se dozvědět, co se ukrývá pod názvem formální metody a jakým směrem se ubírá výzkum v této oblasti na FI MU. Řekneme, jaké možnosti spolupráce nabízí:
- Laboratoř paralelních a distribuovaných systémů (ParaDiSe)
- Laboratoř formálních metod, logiky a algoritmů (Formela)
- Laboratoř diskrétních metod a algoritmů (DIMEA)
- Laboratoř systémové biologie (SYBILA)
Firmy prosíme o registraci do 17. 10., studenti mají vstup bez registrace.
Načítám mapu…
Sdílení události