Professor of Mathematics and Computer Science

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

Mathematical Institute SANU Belgrade

ANNOUNCEMENTS

Upcoming events
LSFA 2016 25-26 June 2016, Porto, Portugal
LAP 2016 - 5th Conference Logic and Applications September 19-23, 2016, Dubrovnik, Croatia

Submit papers to:
FM-Priv 2016 8 November 2016, Limassol, Cyprus
FSCD 2017 CFP 3-6 September 2017, Oxford, UK

Events
TYPES 2016 - 22nd International Workshop on Types for Proofs and Programs, May 23-26, 2016, Novi Sad, Serbia
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
Logic in Computer Science II Zbornik radova 18(26), Matematički institut SANU (2015)