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

Upcoming events

PPDP 2021, , PC co-chair 6-8 September 2021, Tallinn, Estonia

FSCD 2021, PC member 19-21 July 2021, Buenos Aires, Argentina

ECBS 2021, PC member 26-27 May 2021, Novi Sad, Serbia

ITRS 2021 PC member

EXPRESS/SOS 2021 PC member

TYPES 2021 PC member

Past events

Co-director LAP 2020 - 9th Conference Logic and Applications 21-25 September 20120, Dubrovnik, Croatia
PC member 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
PC member TYPES 2020 - 26th International Conference on Types for Proofs and Programs, 2-5 March 2020, Turin, Italy
PC member ITRS 2020 - 10th International Workshop on Intersection Types and Related, 6 March 2020, Turin, Italy
PC member FM 2019 - 3rd World Conference on Formal Methods and the 23rd Symposium on Formal Methods, 7-11 October 2019, Porto, Portugal
Co-director LAP 2019 - 8th Conference Logic and Applications, 21-25 September 2019, Dubrovnik, Croatia
OC member ESQARU 2019 - 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 18-20 September 2019, Belgrade, Serbia
Invited speaker Annual meeting of IFIP Working Group 1.6: Rewriting 26 June 2019, Dortmund, Germany
PC Chair HOR 2019 - 10th Workshop on Higher-Order Rewritting, co-located with FSCD 2019, 28 June 2019, Dortmund, Germany
PC member TYPES 2019 - 25th International Workshop on Types for Proofs and Programs, 11-14 June 2019, Oslo, Norway
PC member PPDP 2018 - 20th International Symposium on Principles and Practice of Declarative Programming, 3-5 September 2018, Frankfurt am Main, Germany
Co-director LAP 2018 - 7th Conference Logic and Applications, 22-26 September 2018, Dubrovnik, Croatia
Co-chair US-Serbia Data Science Workshop 26-28 August 2018, Belgrade, Serbia
Invited speaker Serbia for Excell Workshop Horizon 2020 - Twinning (2015), 25-29 June 2018, University of Novi Sad, Serbia video
Invited speaker Shonan meeting: Intensional and extensional aspects of computation 22-25 January 2018, Shonan, Japan Invited speaker Privatnost u digitalnom dobu: iluzija ili nacionalni izazov - 5 October 2017, Belgrade, Serbia
Co-director LAP 2017 - 6th Conference Logic and Applications, 18-22 September 2017, Dubrovnik, Croatia
PC member FSCD 2017 - 2nd International Conference on Formal Structures for Computation and Deduction, 3-6 September 2017, Oxford, UK
Invited Lecturer EUTypes Summer School - EUTypes Summer School, 10-14 July 2017, Ohrid, Macedonia
PC member TYPES 2017 - 29 May-1 June 2017, Budapest, Hungary
Organiser Cédric Villani, Fields medalist, in Novi Sad, 6 April 2017
PC member FM-Priv 2016 - 8 November 2016, Limassol, Cyprus
Co-director LAP 2016 - 5th Conference Logic and Applications, September 19-23, 2016, Dubrovnik, Croatia
PC member LSFA 2016 - 11th Workshop on Logical and Semantic Frameworks, with Applications, June 25-26, 2016, Affiliated to FSCD'16 Porto, Portugal
Invited Speaker WIT 2016 - Workshop on Intersection Types, 12-13 June 2016, Paris, France
PC member TFP 2016 - Trends in Functional Programming, June 8-10 2016, College Park, Maryland, USA
PC chair TYPES 2016 - 22nd International Workshop on Types for Proofs and Programs, May 23-27, 2016, Novi Sad, Serbia press
Invited Speaker NII Shonan meeting - Logic and Verification Methods in Security and Privacy, October 26-29, 2015, Japan
Co-director LAP 2015 - Logic and Applications IUC Inter University Center, September 21-25, 2015, Dubrovnik, Croatia
PC member TLCA 2015 - 13th International Conference on Typed Lambda Calculus and Application. Affiliated to RDP 2015. July 1-3, 2015, Warsaw, Poland
Co-director LAP 2014 - Logic and Applications 2014, IUC Inter University Center, September 22-26, 2014, Dubrovnik, Croatia
PC member BEAT 2014 - Third International Workshop on Behavioural Types. Affiliated to CONCUR 2014. September 1, 2014, Rome, Italy
PC member ICFP 2013 - 18th ACM SIGPLAN International Conference on Functional Programming, September 25 – 27, 2013, Boston, Massachusetts, USA
Co-director LAP 2013 - Logic and Applications 2013, IUC Inter University Center, September 16-20, 2013, Dubrovnik, Croatia
Invited speaker CM:FP 2013 - Constructive Mathematics: Foundations and Practice, June 24-28, 2013, Nis, Serbia
PC member TYPES 2013 - 19th Conference "Types for Proofs and Programs", April 22 - 26 2013, Toulouse, France
PC member SCSS 2012 - International Symposium on Symbolic Computation in Software Science, December 15-17 2012, 
Gammarth, Tunisia
PC member CL&C 2012 - 4th International Workshop on Classical Logic and Computation, July 8, 2012, Warwick, England
Co-organizer SD 2012 - Sustavi dokazivanja 2012, IUC Inter University Center, Dubrovnik, June 28, 2012, Croatia
Guest Editor Fundamenta Informaticae, Special issue on Intersection Types and Related Systems, 2012
Conference chair RDP 2011 - 6th Federate Conference on Rewriting, Deduction, and Programming, Novi Sad, May 29 - June 3, 2011
PC member TLCA 2011 - 10th International Conference on Type lambda Calculus and Applications, June 1-3, 2012, Novi Sad, Serbia
PC member BCI 2012 – 5th Balkan Conference in Informatics, Novi Sad, Serbia
PC member SCLIT 2011 – Symposium on Computer Languages, Implementation and Tools, Halkidiki, Greece
Invited speaker HOR 2010 - Higher-Order Rewriting (FLOC 2010) July 14, 2010, Edinburgh, UK
PC member SVARM 2010 - Synthesis, Verification and Analysis of Rich Models ( FLOC 2010 ) July 20-21, 2010, Edinburgh, UK
PC member ITRS 2010 - Intersection Types and Related Systems (FLOC 2010) July 9, 2010, Edinburgh, UK
Co-chair FIT 2009 - Foundation of Information Technologies, Summer school Novi Sad, Serbia, June 14-27, 2009
PC member SKM 2008 - Srpski kongres matematicara 2008 (Serbian Mathematical Congress 2008), September 2008, Novi Sad, Serbia
PC Chair ITRS 2008 - Intersection Types and Related Systems, March 25, 2008, Torino, Italy