2024
| 24/12/2024 | 12:00 | Nobuko Yoshida | University of Oxford | Separation and Encodability in Mixed Choice Multiparty Sessions |
| 25/11/2024 | 13:00 | Sasa Misailovic | University of Illinois UC | Programski sistemi za pouzdanost i efikasnost aplikacija VI |
| 23-27/09/2024 | LAP 2024 | IUC Dubrovnik | 13th Conference on Logic and Applications | |
| 31/5-2/6/2024 | META 2024 | FTN, UNS | 9th Conference on Mathematics in Engineering: Theory and Applications | |
| 14/05/2024 | 11:00 | Pavle Subotic | Fantom Foundation | Towards Formal Model Driven Development for Blockchains |
| 15-17/04/2024 | TaRDIS | General Assembly of TaRDIS, Horizon Europe project, at UNS |