**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