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

• 23. října 2019
  9:30 – 13:00

  Přidat do kalendáře

  Přidat do kalendáře Google

  Přidat do kalendáře Microsoft 365
• 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.

REGISTRACE