EDITORIAL BOARD MEMBER

1. Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing

REFEREE/REVIEWER OF JOURNAL PAPERS IN

1. Journal of Multiple-­Valued Logic and Soft Computing; 

2. Discrete Applied Mathematics; 

3. Information and Computation; 

4. Software and Systems Modeling;

5. Journal of Applied Logics;

6. Publications de l’Institut Mathematique Belgrade; 

7. Novi Sad Journal of Mathematics; 

8. Zbornik radova Matematičkog Instituta SANU, Belgrade; 

9. Zbornik FTN, Novi Sad; 

10. Reviewer for Mathematical Reviews;

11. Logic Journal of the IGPL;

12. AIMS Mathematics;

13. Pattern Recognition Letters;

14. Journal of Automated Reasoning.

REVIEWER OF NATIONAL AND INTERNATIONAL PROJECTS

1. COST Actions

2. Bilateral projects between Serbia and Slovakia

3. Bilateral projects between Serbia and China

4. Italian national projects (for CINECA)

5. Canadian national projects (for NSERC)

MANAGEMENT OF NATIONAL ACTIVITIES

• Director of Master Programme “Mathematics in Technics”, 2014-­2016; 

• Director of Doctoral Programme “Mathematics in Technics”, 2014-­2016; 

• Member of Expert Board for Natural Sciences and Mathematics of the Senate of University of Novi Sad, from 2005-­2006, 2012-­2015; 

• Erasmus+ coordinator for Department of Fundamental Disciplines in Technics, 2014-2016, Faculty of Technical Sciences, University of Novi Sad.

MANAGEMENT OF INTERNATIONAL ACTIVITIES

• IEEE CS Technical Community on Multiple-Value Logic, Chair, 2022-2023;

• IEEE CS Technical Committee on Multiple-Valued Logic, Executive Committee, Vice-Chair for Workshops and Tutorials, 2020-2021;

• IEEE CS Technical Committee on Multiple-Valued Logic, Executive Committee, Vice-Chair for Workshops and Tutorials, 2018-2019;

• IEEE CS Technical Committee on Multiple-Valued Logic, Executive Committee, Member at Large, 2009-2011.

INVITED LECTURES & SCIENCE PROMOTION

• From Completeness of Operations to Completeness of Relations: My Journey, LORIA, Université de Lorraine, France, 25 Jun 2024;

• Preciseness of synchonous session subtyping, Imperial College London, UK, 13 January 2020;

• Visiting professor in Šiauliai University (Lithuania), 16-27 September 2019, course title: Formal grammars and languages (for students of software engineering), host: prof. Vaidas Giedrimas, Lithuania;

• Precise subtyping in a type discipline for communication protocols, University of Siauliai, Lithuania, 2019;

• Noć istraživača, kafa sa naučnicima, 28.09.2018;

• Schloss Dagstuhl Seminar 17051, Germany, 2017; 

• IMT School for Advanced Studies LUCCA, Italy; 

• University of Turin, Italy;

• Types for security and privacy of web data, University of Lisbon, Portugal, 9.07.2013; 

• University of Udine, Italy; 

• University of Valencia, Spain; 

• Research Institute for Mathematical Sciences, Kyoto, Japan; 

• Mathematical Institute SASA, Belgrade, Serbia;