Informal workshop on formal methods
The workshop will take place on 23.10.2019 in KYPO. The presentations will be in Czech, but there will be an opportunity to discuss the possibilities of involving students in the activities of several laboratories:
- Laboratory for Parallel and Distributed Systems (ParaDiSe)
- Laboratory of Formal Methods, Logic and Algorithms (Formela)
- Laboratory of Discrete Methods and Algorithms (DIMEA)
- Systems Biology Laboratory (SYBILA)