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

POZVÁNKA KE STAŽENÍ

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