2016

  • S. Ghilezan, J.Ivetić, Z. Ognjanović, N. Savić: Towards probabilistic reasoning about lambda terms with intersection types, TYPES '16, The 22nd Conference on Types for Proofs and Programs, Book of Abstracts, pp. 59-60, May 2016, Novi Sad, Serbia

2015

  • N. Savić, D. Doder, Z. Ognjanović: A logic with upper and lower probability operators, In: ISIPTA '15: Proceedings of the Ninth International Symposium on Imprecise Probability: Theories and Applications. pp. 267-276.
  • A. Stanisavljević, T. Stojančević, N. Savić, S. Milićević, I. Kovačević: Matematika u Tehnici, Trend 2015, Zbornik radova, urednik dr. Vladimir Katić, Zlatibor

2014

  • N. Savić. Certain applications of ultraproducts. Logic and Applications, Book of Abstracts, pp. 26-27, Dubrovnik, Croatia, 2014