Past Program Committees and Invited talks since 2016
UNILOG 2022 Keynote speaker - 7th World Congress and School on Universal Logic, April 1 - 11, 2022, Orthodox Academy, Crete
TYPES 2021 Post-Proceedings Guest editor
PLACES 2022 PC - 13th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software, ETAPS 2022, 3rd April 2022, Munich, Germany
ICFP 2022 PC - The 27th ACM SIGPLAN International Conference on Functional Programming, 11-16 September 2022, Ljubljana, Slovenia
75 MISANU - 75th Anniversary of the Mathematical Institute, Belgrade, Serbia
PPDP 2021 PC Co-chair - 23rd International Symposium on
Principles and Practice of Declarative Programming
EXPRESS/SOS 2021
ACM WomENcourage
LAP 2021
FSCD 2021 PC - 6th International Conference on Formal Structures for Computation and Deduction, 19 - 21 July 2021, Buenos Aires, Argentina
ITRS 2021 PC - 10th International Workshop on Intersection Types and Related, 6 March 2020, Turin, Italy
ECBS 2021 Invited talk, PC - 7th Conference on the Engineering of Computer Based Systems, 26-27 May 2021, Novi Sad, Serbia
TYPES 2021 PC -
LAP 2020 Co-Director - 9th Conference Logic and Applications 21-25 September 2020, Dubrovnik, Croatia
FSCD 2020 PC - 5th International Conference on Formal Structures for Computation and Deduction, 29 June - 5 July 2020, Paris, France
FSCD-IJCAR videos
TYPES 2020 PC - 26th International Conference on Types for Proofs and Programs, 2-5 March 2020, Turin, Italy
ITRS 2020 PC - 10th International Workshop on Intersection Types and Related, 6 March 2020, Turin, Italy
FM 2019 PC - 3rd World Conference on Formal Methods and the 23rd Symposium on Formal Methods, 7-11 October 2019, Porto, Portugal
LAP 2019 Co-Director - 8th Conference Logic and Applications 23-27 September 2019, Dubrovnik, Croatia
ESQARU 2019 OC - 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 18-20 September 2019, Belgrade, Serbia
HOR 2019 PC Chair - 10th Workshop on Higher-Order Rewriting, co-located with FSCD 2019, 28 June 2019, Dortmund, Germany
TYPES 2019 PC - 25th International Workshop on Types for Proofs and Programs, 11-14 June 2019, Oslo, Norway
LAP 2018 Co-Director - 7th Conference Logic and Applications 24-28 September 2018, Dubrovnik, Croatia
PPDP 2018 PC - 20th International Symposium on Principles and Practice of Declarative Programming 3-5 September 2018, Frankfurt am Main, Germany
US-Serbia Data Science Workshop Co-Chair 26-28 August 2018, Belgrade, Serbia
Shonan Meeting Invited speaker Intensional and Extensional Aspects of Computation: from Computability and Complexity to Program Analysis and Security ,
22-25 January 2018, Shonan, Japan
Privatnost u digitalnom dobu: iluzija ili nacionalni izazov Invited speker 5 October 2017, Belgrade, Serbia
LAP 2017 Co-Director - 6th Conference Logic and Applications 18-22 September 2017, Dubrovnik, Croatia
FSCD 2017 PC - CFP 3-6 September 2017, Oxford, UK
EuTypes Summer School Lecturer - 10-14 July 2017, Ohrid, Macedonia
TYPES 2017, 29 May-1 June 2017, Budapest, Hungary
Cédric Villani, Fields medalist, in Novi Sad, 6 April 2017
EUTypes + SSTT, 30 Jan -2 Feb 2017, Ljubljana, Slovenia
Post-proceedings of TYPES 2016 in LIPIcs
Leibniz International Proceedings in Informatics
FM-Priv 2016 Invited speaker 8 November 2016, Limassol, Cyprus
LAP 2016 Co-Director - 5th Conference Logic and Applications 19-23 September 2016, Dubrovnik, Croatia
TYPES 2016 PC Chair - 22nd International Workshop on Types for Proofs and Programs, 23-26 May 2016, Novi Sad, Serbia
LSFA 2016 PC - 25-26 June 2016, Porto, Portugal
WIT 2016 Invited speaker 12-13 June 2016, Paris, France
TFP 2016 8-10 June 2016, College Park, Maryland, USA
70 MISANU PC - 70th anniversary of the Mathematical Institute of the Serbian Academy of Sciences and Arts, May 2016, Belgrade, Serbia