2023
22/12/2023 | 12:00 | Nobuko Yoshida | University of Oxford | Session-based programming and verification |
21/11/2023 | 12:00 | Miloš Stojaković | DMI, PMF, UNS | [LADIS 4]: Crveno-plava uparivanja bez presecanja |
21/11/2023 | 11:00 | Maja Pech | DMI, PMF, UNS | [LADIS 4]: Modeli i klonovi: tamo, nazad i dalje, iza horizonta |
25-29/09/2023 | | LAP 2023 | IUC Dubrovnik | 12th Conference on Logic and Applications |
10-16/07/2023 | | SSIP 2023 | FTN, UNS | 31th Summer School on Image Processing |
26-28/05/2023 | | META 2023 | FTN, UNS | 8th Conference on Mathematics in Engineering: Theory and Applications |
16/05/2023 | 12:00 | Lúkity Tibor | FTN, UNS | [LADIS 3]: Matematički modeli u digitalnoj obradi slika |
16/05/2023 | 11:00 | Ivan Prokić | FTN, UNS | [LADIS 3]: Matematika u distribuiranom računarstvu: čemu služi i kako se koristi? |
13/02/2023 | 12:00 | Dragan Mašulović | DMI, PMF, UNS | [LADIS 2]: Strukturna Remzijeva teorija – Pogled iz perspektive teorije kategorija |
13/02/2023 | 11:00 | Silvia Ghilezan | FTN, UNS & MISANU | [LADIS 2]: Tipski sistemi i pouzdanost: od matematike do sistema velikih razmera |
Current Seminar CMS and past editions
Back