23. 10. Neformální workshop o formálních metodách
Ř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)
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!