Activities

Department

News

Events

Research Empowers Us

2026

SYNASC 2026 – 28th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 14-17 September 2026

FROM 2026 – 10th Working Formal Methods Symposium, 15–17 September 2026

SSIP 2026 – 34th Summer School on Image Processing, 29 June-3 July 2026

RoBioinfo 2026 – 3rd RoBioinfo Conference, 13-15 May 2026

2025

SYNASC 2025 – 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 22-25 September 2025

EUROLAN 2025 – 17th EUROLAN Summer School on Natural Language Processing: NLP in the Age of Complex Networks and Agentic AI, 14-20 September 2025

2024

SYNASC 2024 – 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 16-19 September 2024

FROM 2024 – 8th Working Formal Methods Symposium, 16–18 September 2024

2023

SYNASC 2023 – 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 11-14 September 2023

2022

SYNASC 2022 – 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 12-15 September 2022

2021

SYNASC 2021 – 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 7-10 December 2021