• Prof. Martin Kalina, Seminar CMS, 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

  • 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