Past Program Committees and Invited talks since 2016

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