- Brochure 70th Anniversary of the Mathematical Insitute SASA, May 2016
- 12-13/05/2016 Mathematical Colloquium annual meeting
- Logic in Computer Science II Zbornik radova 18(26), Matematički institut SANU (2015)
- 18/11/2014 godišnji sastanak projekata ON 174026 i III 44006, Niš.
- 05/12/2013 godišnji sastanak projekata ON 174026 i III 44006, Beograd.
- 04/12/2012 godišnji sastanak projekata ON 174026 i III 44006, Novi Sad.
Organizacija konferencija:
- 5th Logic and Application LAP 2016, 19-23/09/2016 Dubrovnik
- 22nd Conference on Types for Proofs and Prorgams TYPES 2016, 23-27/05/2016 Novi Sad
- 5th Probabilistic Logic and Application VLP 2014, 29-30/10/2015 Beograd
- 4th Logic and Application LAP 2015, 21-25/09/2015 Dubrovnik
- 4th Probabilistic Logic and Application VLP 2014, 04/10/2014 Beograd
- 3rd Logic and Application LAP 2014, 22-26/09/2014 Dubrovnik
- The Second National Conference on Information Theory and Complex Systems TINKOS 2014, 16-17/06/2014, Niš
- 3rd Probabilistic Logic and Application VLP 2013, 26/09/2013 Beograd
- Information theory and complex systems tiNkos, 25/09/2013 Beograd
- Logic and Application LAP 2013, 16-20/09/2013 Dubrovnik
- Constructive Mathematics: Foundations and Practice CM:FP 2013, 24-28/06/2013 Niš
- 2nd Probabilistic Logic and Application VLP 2012, 27-28/09/2012 Beograd
- Sustavi dokazivanja 2012, 28/06/2012 Dubrovnik
- Federated Conference on Rewriting, Deduction, and Programming, RDP 2011, Novi Sad