Professor of Mathematics and Computer Science

University of Novi Sad
Faculty of Technical Sciences
Center for Mathematics and Statistics

Mathematical Institute SANU Belgrade


Upcoming events
TYPES 2016 - 22nd International Workshop on Types for Proofs and Programs, May 23-26, 2016, Novi Sad, Serbia

70 MISANU - 70th anniversary of the Mathematical Institute of the Serbian Academy of Sciences and Arts, May 2016, Belgrade, Serbia

LSFA 2016 25-26 June 2016, Porto, Portugal
TFP 2016 8-10 June 2016, College Park, Maryland, USA

Submit papers to:
LAP 2016 - 5th Conference Logic and Applications September 19-23, 2016, Dubrovnik, Croatia
FM-Priv 2016 ['8 November 2016, Limassol, Cyprus-]

Logic in Computer Science II Zbornik radova 18(26), Matematički institut SANU (2015)