Professor of Mathematics

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

Mathematical Institute SANU Belgrade







ANNOUNCEMENTS

Seminar CMS

Upcoming events

Privatnost u digitalnom dobu: iluzija ili nacionalni izazov 5 October 2017, Belgrade, Serbia

Submit papers to:

Events
LAP 2017 6th Conference Logic and Applications 18-22 September 2017, Dubrovnik, Croatia
FSCD 2017 CFP 3-6 September 2017, Oxford, UK EuTypes Summer School, 10-14 July 2017, Ohrid, Macedonia
TYPES 2017, 29 May-1 June 2017, Budapest, Hungary
Cédric Villani, Fields medalist, in Novi Sad, 6 April 2017
EUTypes + SSTT, 30 Jan -2 Feb 2017, Ljubljana, Slovenia
Post-proceedings of TYPES 2016 in LIPIcs Leibniz International Proceedings in Informatics
FM-Priv 2016 8 November 2016, Limassol, Cyprus
LAP 2016 5th Conference Logic and Applications 19-23 September 2016, Dubrovnik, Croatia
TYPES 2016 22nd International Workshop on Types for Proofs and Programs, 23-26 May 2016, Novi Sad, Serbia
LSFA 2016 25-26 June 2016, Porto, Portugal
WIT 2016 12-13 June 2016, Paris, France
TFP 2016 8-10 June 2016, College Park, Maryland, USA
70 MISANU - 70th anniversary of the Mathematical Institute of the Serbian Academy of Sciences and Arts, May 2016, Belgrade, Serbia

Editorial
Fundamenta Informaticae 121 (1-4) IOS Press (2012)












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

Ziva teorema Sedrik Vilani, Centar za promociju nauke, 2013, stručna redaktura prevoda knjige Théorème vivant, Cédric Villani