2017

  • 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

  • Svetlana Jaksic defended her PhD thesis.
  • Visit: Dr. Luca Padovani, University of Turin, Italy (14-16/11/2016) Seminar CMS 15/11/2016
  • Visit: Prof. Jose Espirito Santo, University of Minho, Portugal (23-29/10/2016) Seminar CMS 25/10/2016
  • Maja Nedovic defended her PhD thesis.
  • Visit: Prof. Pierre-Louis Curien, Universite Paris Diderot, Paris 7, France (25-30/09/2016)
  • LAP 2016 - 5th Conference Logic and Applications
    September 19-23, 2016 Dubrovnik, Croatia
  • TYPES 2016 - 22nd International Conference on Types for Proofs and Programs
    May 23-26, 2016, Novi Sad, Serbia
  • Visit: Prof. Pierre-Louis Curien, Universite Paris Diderot, Paris 7, France (05/2016)
  • Visit: Prof. Nobuko Yoshida and Dr. Alceste Sacalas, Imperial College, UK, (03-10/03/2016) Seminar CMS 04/03/2016

2015

  • LAP 2015 - 4th Conference Logic and Applications
    September 21-25, 2015 Dubrovnik, Croatia
  • Visit: Prof. Thomas Studer, University of Bern, Switzerland, (01-06/06/2015)
  • Visit: Dr. Jorge Pérez, University of Groningen, The netherlands, visit within the COST action IC 1201, BETTY (12-22/05/2015)
  • Visit: Dr. Hugo Torres Vieria, IMT Institute for Advanced Studies Lucca, Italy, visit within the COST action IC 1201, BETTY (18-24/01/2015)
  • Visit: Prof. Pierre-Louis Curien, Universite Paris Diderot, Paris 7, France (10-17/01/2015)

2014

  • 18/11/2014 Godišnji sastanak projekata ON 174026 i III 44006 u Nišu.
  • Bojan Marinković defended his PhD thesis entitled Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and Application, 10/10/2014.
  • Visit: Prof. Benedek Nagy, Department of Computer Science, University of Debrecen, visited our group and gave a brief course on Digital Geometry with applications in Image Processing. (1-9/10/2014)Interview for Radio Television of Vojvodina (in Hungarian)
  • LAP 2014 - 3rd Conference Logic and Applications
    September 22-26, 2014 Dubrovnik, Croatia
  • Slavica Medić defended her PhD thesis entitled
  • Ksenija Doroslovacki defended her PhD thesis entitled
  • Sandra Buhmiler defended her PhD thesis entitled
  • Visit: Dr. Hugo Torres Vieria, ULisboa, Faculty of Sciences, LaSIGE, Portugal, visit within the COST action IC 1201, BETTY (09-15/02/2014)

2013

  • Visit: Prof. Mariangiola Dezani-Ciancaglini, Dipartimento di Informatica, Universita di Torino, Italy, visit within the bilateral project between Serbia and Italy (08-14/12/2013)
  • 05/12/2013 Godišnji sastanak projekata ON 174026 i III 44006 u Beogradu.
  • Visits:
    - Prof. Pierre Lescanne, ENS Lyon, France within the project "Logic and Types in Foundation of Information Technologies" of the bilateral program "Pavle Savić" (7-16/10/2013)
    - Prof. Jose Espirito Santo, University of Minho, Portugal (8-13/10/2013)
    - Prof. Luigi Liquori, INRIA Sophia Antipolis, France (11-16/10/2013)
    - Prof. Furio Honsell, University of Udine, Italy (14-15/10/2013)
  • Petar Maksimović defended his PhD thesis entitled Development and Verification of Probability Logics and Logical Frameworks, 15/10/2013.
  • Workshop of CMS. Speakers: Prof. Pierre Lescanne, Prof. Jose Espirito Santo, Dr. Silvia Likavec 11/10/2013.
  • Jelena Ivetić defended her PhD thesis entitled Intersection Types and Resource Control in the Intuitionistic Lambda Calculus, 9/10/2013.
  • ICFP 2013
    - 18th ACM ACM SIGPLAN International Conference on Functional Programming
    September 25 – 27, 2013, Boston, USA
  • LAP 2013
    - 2nd Conference Logic and Applications
    September 16-20, 2013 Dubrovnik, Croatia
  • CM:FP 2013
    - Constructive Mathematics: Foundations and Practice
    June 24-28, 2013, Nis, Serbia
  • TYPES 2013
    - 19th Conference Types for Proofs and Programs
    April 22-26, 2013 Toulouse, France
  • Visit of Prof. Viktor Kuncak, EPFL Lausanne, Switzerland (31/01/2013).

2012

  • 04/12/2012 Godišnji sastanak projekata ON 174026 i III 44006.
  • Visits within the project "Logic and Types in Foundation of Information Technologies" of the bilateral program "Pavle Savić": Prof. Pierre Lescanne, ENS Lyon, France (10/2012) and Prof. Sergei Soloviev, Universite de Toulouse, France (5-11/12/2012).

  • CCVW 2012
    - First Croatian Computer Vision Workshop,
    September 20-21, 2012, Zagreb, Croatia
  • Sustavi dokazivanja 2012, IUC Inter University Center, Dubrovnik, 28/06/2012. Co-organizers.

2011

  • RDP 2011
    - The 6th International Conference on
    Novi Sad, 29/05/-03/06/2011. Organisers.
  • FIT 2009
    - Foundations of Information Technologies, summer school
    Novi Sad 14-27/06/2009.

Old web site of CMS