2025
| 26/12/2025 | 12:00 | Nobuko Yoshida | University of Oxford | Asynchronous Global Protocols |
| 11-13/12/2025 | META 2025 | FTN, UNS | 10th Conference on Mathematics in Engineering: Theory and Applications | |
| 08/10/2025 | 11:00 | Stepan Kuznetsov | Steklov Mathematical Institute of RAS | Expressive Power and Complexity for Lambek-style Categorial Grammars |
| 24-28/09/2025 | LAP 2025 | IUC Dubrovnik | 14th Conference on Logic and Applications | |
| 11/03/2025 | 12:00 | Sanjiva Prasad | Indian Institute of Technology Delhi | Secure Information Flow Connections |