Archiv zpráv a událostí

Výzkum a vývoj

  • Obrázek

    23. 10. 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 zapojení studentů do svých aktivit 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)
    Workshop se uskuteční 23.10.2019 v prostorách KYPO s následujícím programem:
     
    10.00 – 10.15 Co jsou formálně metody a jaké jsou jejich aplikace?
    10.15 – 10.30 Nástroje pro verifikaci počítačových programů vyvíjené na FI
    10.30 – 10.45 Automaty nad nekonečnými slovy
    10.45 – 11.00 Význam a krása matematiky v informatice
    11.00 – 11.15 Formální metody v systémové biologii
    11.15 – 11.30 Patrolovací hry
    11.30 – 12.00 Diskuze

    Na akci jste srdečně vítáni!
    Přílohy