Neformální workshop o formálních metodách

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.

REGISTRACE

Načítám mapu…

Sdílení události