17.09.2025, 10.00, Zasedací místnost B246, CIIRC, Jugoslávských partyzánů 1580/3, Praha 6
Events
PhD Thesis defence (Mgr. Filip Bártek)
| Date: | 17. 9. 202510:00 |
|---|---|
| Place: | Zasedací místnost B246, CIIRC, Jugoslávských partyzánů 1580/3, Praha 6 |
| Link: | Link to web |
PhD Thesis defence "Machine Learning for Saturation-Based Theorem Proving", Mgr. Filip Bártek , field of study programme „Computer Science“.
