Professor of Mathematics

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

Mathematical Institute SANU Belgrade







ANNOUNCEMENTS

Seminar CMS

Submit papers to:
PPDP 2021
ITRS 2021
EXPRESS/SOS 2021
TYPES 2021
ACM WomENcourage
LAP 2021

Upcoming events
ECBS 2021, 7th Conference on the Engineering of Computer Based Systems, 26-27 May 2021, Novi Sad, Serbia
FSCD 2021, 6th International Conference on Formal Structures for Computation and Deduction, 19 - 21 July 2021, Buenos Aires, Argentina

Past events
LAP 2020 9th Conference Logic and Applications 21-25 September 2020, Dubrovnik, Croatia
FSCD 2020 5th International Conference on Formal Structures for Computation and Deduction, 29 June - 5 July 2020, Paris, France
FSCD-IJCAR videos

Editorial
TYPES 2016 Post-proceedings, Leibniz International Proceedings in Informatics LIPICS 97

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

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




















Books
Otvorena nauka: praksa i perspektive, 2020

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