Steering committee membership: FSCD, LAP, past SC member: EYTypes STSM Coordinator, TYPES
Membership IFIP WG 1.6
Editorial board Publications de l'Institut Mathématique

Guest editor
Leibniz International Proceedings in Informatics LIPICS 97, TYPES 2016 Post-proceedings,
Logic in Computer Science II Zbornik radova 18(26), Matematički institut SANU (2015)
Fundamenta Informaticae 121 (1-4), Special issue on Intersection Types and Related Systems, IOS Press (2012)

Invited and keynote speaker
ECBS 2021 - 7th Conference on the Engineering of Computer Based Systems, 26-27 May 2021, Novi Sad, Serbia video
2019 Annual meeting of IFIP Working Group 1.6: Rewriting 26 June 2019, Dortmund, Germany
Serbia for Excell Workshop Horizon 2020 - Twinning (2015), 25-29 June 2018, University of Novi Sad, Serbia video
Shonan meeting: Intensional and extensional aspects of computation 22-25 January 2018, Shonan, Japan
Privatnost u digitalnom dobu: iluzija ili nacionalni izazov - 5 October 2017, Belgrade, Serbia
EUTypes Summer School - EUTypes Summer School, 10-14 July 2017, Ohrid, Macedonia
WIT 2016 - Workshop on Intersection Types, 12-13 June 2016, Paris, France
FM-Priv 2016 - 8 November 2016, Limassol, Cyprus
NII Shonan meeting - Logic and Verification Methods in Security and Privacy, October 26-29, 2015, Japan
CM:FP 2013 - Constructive Mathematics: Foundations and Practice, June 24-28, 2013, Nis, Serbia
HOR 2010 - Higher-Order Rewriting (FLOC 2010) July 14, 2010, Edinburgh, UK

Program Committee chair and co-chair
PPDP 2021 - 23rd International Symposium on Principles and Practice of Declarative Programming, 6-8 September 2021, Tallinn, Estonia
LAP 2020 - 9th Conference Logic and Applications 21-25 September 20120, Dubrovnik, Croatia
HOR 2019 - 10th Workshop on Higher-Order Rewritting, co-located with FSCD 2019, 28 June 2019, Dortmund, Germany
LAP 2019 - 8th Conference Logic and Applications, 21-25 September 2019, Dubrovnik, Croatia
US-Serbia Data Science Workshop 26-28 August 2018, Belgrade, Serbia
LAP 2018 - 7th Conference Logic and Applications, 22-26 September 2018, Dubrovnik, Croatia
LAP 2017 - 6th Conference Logic and Applications, 18-22 September 2017, Dubrovnik, Croatia
TYPES 2016 - 22nd International Workshop on Types for Proofs and Programs, May 23-27, 2016, Novi Sad, Serbia press
LAP 2016 - 5th Conference Logic and Applications, September 19-23, 2016, Dubrovnik, Croatia
LAP 2015 - Logic and Applications IUC Inter University Center, September 21-25, 2015, Dubrovnik, Croatia
LAP 2014 - Logic and Applications 2014, IUC Inter University Center, September 22-26, 2014, Dubrovnik, Croatia
LAP 2013 - Logic and Applications 2013, IUC Inter University Center, September 16-20, 2013, Dubrovnik, Croatia
SD 2012 - Sustavi dokazivanja 2012, IUC Inter University Center, Dubrovnik, June 28, 2012, Croatia
FIT 2009 - Foundation of Information Technologies, Summer school Novi Sad, Serbia, June 14-27, 2009
ITRS 2008 - Intersection Types and Related Systems, March 25, 2008, Torino, Italy

Conference chair\\ RDP 2011 - 6th Federate Conference on Rewriting, Deduction, and Programming, May 29 - June 3, 2011, Novi Sad, Serbia

Program Committee member
EXPRESS/SOS 2021
ACM WomENcourage
FSCD 2021, 19-21 July 2021, Buenos Aires, Argentina
ECBS 2021 - 7th Conference on the Engineering of Computer Based Systems, 26-27 May 2021, Novi Sad, Serbia
ITRS 2021
TYPES 2021\\ FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction, 29 June - 5 July 2020, Paris, France FSCD-IJCAR videos, Invited talk A.Pitts - chairing
TYPES 2020 - 26th International Conference on Types for Proofs and Programs, 2-5 March 2020, Turin, Italy
ITRS 2020 - 10th International Workshop on Intersection Types and Related, 6 March 2020, Turin, Italy
FM 2019 - 3rd World Conference on Formal Methods and the 23rd Symposium on Formal Methods, 7-11 October 2019, Porto, Portugal
TYPES 2019 - 25th International Workshop on Types for Proofs and Programs, 11-14 June 2019, Oslo, Norway
PPDP 2018 - 20th International Symposium on Principles and Practice of Declarative Programming, 3-5 September 2018, Frankfurt am Main, Germany
FSCD 2017 - 2nd International Conference on Formal Structures for Computation and Deduction, 3-6 September 2017, Oxford, UK
TYPES 2017 - 29 May-1 June 2017, Budapest, Hungary
FM-Priv 2016 - 8 November 2016, Limassol, Cyprus
LSFA 2016 - 11th Workshop on Logical and Semantic Frameworks, with Applications, June 25-26, 2016, Affiliated to FSCD'16 Porto, Portugal
TFP 2016 - Trends in Functional Programming, June 8-10 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
TLCA 2015 - 13th International Conference on Typed Lambda Calculus and Application. Affiliated to RDP 2015. July 1-3, 2015, Warsaw, Poland
BEAT 2014 - Third International Workshop on Behavioural Types. Affiliated to CONCUR 2014. September 1, 2014, Rome, Italy
ICFP 2013 - 18th ACM SIGPLAN International Conference on Functional Programming, September 25 – 27, 2013, Boston, Massachusetts, USA
TYPES 2013 - 19th Conference "Types for Proofs and Programs", April 22 - 26 2013, Toulouse, France
SCSS 2012 - International Symposium on Symbolic Computation in Software Science, December 15-17 2012, 
Gammarth, Tunisia
CL&C 2012 - 4th International Workshop on Classical Logic and Computation, July 8, 2012, Warwick, England
TLCA 2011 - 10th International Conference on Type lambda Calculus and Applications, June 1-3, 2012, Novi Sad, Serbia
BCI 2012 – 5th Balkan Conference in Informatics, Novi Sad, Serbia
SCLIT 2011 – Symposium on Computer Languages, Implementation and Tools, Halkidiki, Greece
SVARM 2010 - Synthesis, Verification and Analysis of Rich Models ( FLOC 2010 ) July 20-21, 2010, Edinburgh, UK
ITRS 2010 - Intersection Types and Related Systems (FLOC 2010) July 9, 2010, Edinburgh, UK
SKM 2008 - Srpski kongres matematičara 2008 (Serbian Mathematical Congress 2008), September 2008, Novi Sad, Serbia

Miscellaneous
ESQARU 2019 - 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, OC member, 18-20 September 2019, Belgrade, Serbia
Cédric Villani, Fields medalist, in Novi Sad, Organiser, 6 April 2017\\