![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
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.
![Bez popisku](https://cdn.muni.cz/media/3169670/formalni_metody.png?mode=crop¢er=0.5,0.5&rnd=132144169400000000&width=1170)
Načítám mapu…
Sdílení události