2018
- Svetlana Jakšić, 6 March 2018, 11:00 h
- Giulia Meuli, 12 February 2018, 15:30 h
- Prof. Hugo Torres Vieira, 07 February 2018, 16 h
2017
- Prof. Miloš Stojaković, 28 November 2017, 13h
- Prof. Martin Kalina, 9 November 2017, 16h
- SSIP 2017 - SUMMER SCHOOL ON IMAGE PROCESSING 2017, 13-22 July, 2017, Novi Sad.
- LAP 2017 - Logic and Applications, September 18-22, 2017 Dubrovnik, Croatia
- Prof. Cedric Villani, Predavanje "Kako se rađaju ideje", April 6, 2017
- Prof. Nobuko Yoshida and Dr. Alceste Scalas, Seminar CMS, March 27, 2017, visit within the COST Action CA15123 EUTypes
- Prof. Petros Stefaneas, National Technical University of Athens, january 2017, visit within the COST Action CA15123 EUTypes
2016
- Dr. Luca Padovani, Seminar CMS, Nov 11, 2016
- LAP 2016 - Logic and Applications, September 19-23, 2016 Dubrovnik, Croatia
- TYPES 2016 - 22nd International Conference on Types for Proofs and Programs, May 23-27, 2016, Novi Sad, Serbia
- Prof. N. Yoshida, Dr. A. Sacalas, Seminar CMS, March 4, 2016
- LAP 2015 - Logic and Applications, September 21-25, 2015 Dubrovnik, Croatia
- Godišnji sastanak projekata ON174026, III44006 05/12/2013
- 05/12/2013 Godišnji sastanak projekata ON 174026 i III 44006.
- Workshop of CMS. Speakers: Prof. Pierre Lescanne, Prof. Jose Espirito Santo, Dr. Silvia Likavec 11/10/2013.
- ICFP 2013
- 18th ACM ACM SIGPLAN International Conference on Functional Programming
September 25 – 27, 2013, Boston, USA
- LAP 2013
- Logic and Applications
September 16-20, 2013 Dubrovnik, Croatia
- CM:FP 2013
- Constructive Mathematics: Foundations and Practice
June 24-28, 2013, Nis, Serbia