Editorial board
Journal of Logical and Algebraic Methods in Programming (JLAMP)
Publications de l'Institut Mathématique

Membership IFIP WG 1.6: Rewriting

Steering committee membership: PPDP, LAP, former SC member: FSCD, EYTypes STSM Coordinator, TYPES

Guest editor
TYPES 2021 Post-proceedings LIPIcs (2022)
PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming Proceedings, ACM Digital Library (2021)
TYPES 2016 Post-proceedings Leibniz International Proceedings in Informatics LIPICS 97, (2018)
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
Proof Society 2024 - Proof Society 2024 6th International School and Workshop on Proof Theory, 9-13 September 2024, Birmingham, UK
SMAK 2024 - 15th Serbian Mathematical Congress, June 19 - 22, 2024, Belgrade, Serbia
OPLSS 2023 - Oregon Programming Languages Summer School, June 26 - July 9, 2023, Eugene, USA
CM:FP 2023 - Constructive Mathematics: Foundations and Practice, June 26-30, 2023, Niš, Serbia
SCAN 2023 - Semantical and Computational Aspects of Non-Classical Logics, June 13–17 2023, Moscow + Online, Russia
Jubilej Zorana Markovića i Žarka Mijajlovića, 25. maj 2023., Beograd, Serbia
LADIS 2.0
SMSCG 2023 - 2nd Joint Mathematical Meeting of Serbia and Montenegro, 26-28 January 2023, Belgrade, Serbia
Microsoft, Belgrade
OPLSS 2022- Oregon Programming Language Summer School, June 20-July 2, 2022, Eugene, USA
UNILOG 2022 - 7th World Congress and School on Universal Logic, Logic and Structure, April 1 - 11, 2022, Orthodox Academy, Crete, Greece
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
LAP 2024 - 13th Conference Logic and Applications 24-28 September 2024, Dubrovnik, Croatia
LAP 2023 - 12th Conference Logic and Applications 25-28 September 2023, Dubrovnik, Croatia
LAP 2022 - 11th Conference Logic and Applications 26-29 September 2022, Dubrovnik, Croatia
LAP 2021 - 10th Conference Logic and Applications 21-25 September 2021, Dubrovnik, Croatia
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 2020, 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
FSCD 2025 - 10th International Conference on Formal Structures for Computation and Deduction 14-20 July, Birmingham, UK
APLAS 2024 - The 22nd Asian Symposium on Programming Languages and Systems, 22 - 25 October 2024, Kyoto, Japan
ITRS 2024 Tallinn, Estonia
FSCD 2024 - 9th International Conference on Formal Structures for Computation and Deduction, 10-13 July 2024, Tallinn, Estonia
LICS 2024 - 39th Annual ACM/IEEE Symposium on Logic in Computer Science 8-12 July 2024, Tallinn, Estonia
CSL 2024 - 32nd EACSL Annual Conference on Computer Science Logic, 19-23 February 2024, Naples, Italy
POPL-SRC 2024 - Student Research Competition, January 2024, London, UK
SEFM 2023 - 21st International Conference on Software Engineering and Formal Methods, 6-10 November 2023, Eindhoven, The Netherlands
ECBS 2023 - 8th International Conference on the Engineering of Computer-based Systems, 16-18 October 2023, Västerås, Sweden
PPDP 2023 - 25th International Symposium on Principles and Practice of Declarative Programming, 22-24 October 2023, Lisbon, Portugal
WOLLIC 2023 - 29th Workshop on Logic, Language, Information and Computation July 11-14, 2023, Halifax, Nova Scotia, Canada
MIFA 2023 - Minerva Informatics Equality Award
TYPES 2023 - 29th International Conference on Types for Proofs and Programs, June 12-15, 2023, Valencia, Spain
ESOP 2023 - The 32nd European Symposium on Programming, 22-27 April 2023, Paris, France
STACS 2023 - The 40th International Symposium on Theoretical Aspects of Computer Science, 7-10 March 2023, Hamburg, Germany
ICFP 2022 - The 27th ACM SIGPLAN International Conference on Functional Programming, 11-16 September 2022, Ljubljana, Slovenia
PLACES 2022 - 13th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software, ETAPS 2022, 3rd April 2022, Munich, Germany
EXPRESS/SOS 2021
ACM WomENcourage 2021 - - 8th ACM Celebration of Women in Computing: womENcourage 2021, 22-24 September 2021, virtual (coordinated from Prague, Czech Republic)
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\\