Obhajoby disertačních prací v únoru 2016
RNDr. Antonín Pavelka - Bioinformatics tools for the analysis of macromolecular structures
- středa 10. 2. 201, 13.00 v A321
Mgr. Petr Bauch - Automating Software Development with Explicit Model Checking
- čtvrtek 18. 2. 2016, 13.00 v B517
Obhajoby jsou veřejné.
- středa 10. 2. 201, 13.00 v A321
Mgr. Petr Bauch - Automating Software Development with Explicit Model Checking
- čtvrtek 18. 2. 2016, 13.00 v B517
Obhajoby jsou veřejné.