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

Bez popisku

Načítám mapu…

Sdílení události

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info