LAP 2021 – Logic and Applications
September 20-24, 20121 Dubrovnik, Croatia

• LAP 2020 – Logic and Applications
  September 21-25, 20120 Dubrovnik, Croatia
   
• IWCIA 2020 – The 20th International Workshop on Combinatorial Image Analysis, Novi Sad, Serbia, 16-18 July 2020
   
• Prof. Nobuko Yoshida, Imperial College, UK, February 2020
   
• Prof. Pierre Lescanne, Ecole Normale Superieure de Lyon, France, January 2020
   
• Dr. Hugo Hugo Torres Vieira, Universidade da Beira Interior, Portugal, January 202

• LAP 2019 – Logic and Applications
  September 23-27, 2019 Dubrovnik, Croatia
   
• Dr. Tanja Obradovic, Eclipse Foundation, Ottawa, Canada, October 2019.
   
• Dr. Pavle Subotic, Amazon, London, UK October 2019
   
• Matthaios Bournazos, National Technical University of Athens, Greece, September 2019, visit within the COST Action CA15123 EUTypes
   
• Prof. Zena Ariola, University of Oregon, USA, March 2019

• LAP 2018 – Logic and Applications
  September 24-28, 2018 Dubrovnik, Croatia
   
• Prof. Nobuko Yoshida and Dr. Alceste Scalas, Seminar CMS, September 17, 2018, visit within the COST Action CA15123 EUTypes
   
• US-Serbia & West Balkans Data Science Workshop
  26-28 August 2018, Belgrade, Serbia

• 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

• 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

• 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 Vieira, 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)

• 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)

• 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).

• 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).
• SCSS 2012
  – International Symposium on Symbolic Computation in Software Science,
  December 15-17, 2012, Gammarth, Tunisia
   
• Probabilistic logics and applications 2012, 27-28/09/2012, Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade. Photo Gallery. Co-organizers.
• 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.

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