Upcoming events

LAP 2017 Co-director - 6th Conference Logic and Applications 18-22 September 2017, Dubrovnik, Croatia

Privatnost u digitalnom dobu: iluzija ili nacionalni izazov Invited speaker - 5 October 2017, Belgrade, Serbia

Past events

FSCD 2017 PC member - 2nd International Conference on Formal Structures for Computation and Deduction, 3-6 September 2017, Oxford, UK

EUTypes Summer School Lecturer - EUTypes Summer School, 10-14 July 2017, Ohrid, Macedonia

TYPES 2017 PC member - 29 May-1 June 2017, Budapest, Hungary

Cédric Villani, Fields medalist, in Novi Sad, 6 April 2017

FM-Priv 2016 PC member - 8 November 2016, Limassol, Cyprus

LAP 2016 Co-director - 5th Conference Logic and Applications September 19-23, 2016, Dubrovnik, Croatia

LSFA 2016 PC member - 11th Workshop on Logical and Semantic Frameworks, with Applications June 25-26, 2016, Affiliated to FSCD'16 Porto, Portugal

WIT 2016 Invited - Workshop on Intersection Types, 12-13 June 2016, Paris, France

TFP 2016 PC member - Trends in Functional Programming, June 8-10 2016, College Park, Maryland, USA

TYPES 2016 PC chair - 22nd International Workshop on Types for Proofs and Programs, May 23-27, 2016, Novi Sad, Serbia

NII Shonan meeting Invited - Logic and Verification Methods in Security and Privacy, October 26-29, 2015, Japan

LAP 2015 Co-director - Logic and Applications IUC Inter University Center, September 21-25, 2015, Dubrovnik, Croatia

TLCA 2015 PC member - 13th International Conference on Typed Lambda Calculus and Application. Affiliated to RDP 2015. July 1-3, 2015, Warsaw, Poland

LAP 2014 Co-director - Logic and Applications 2014, IUC Inter University Center, September 22-26, 2014, Dubrovnik, Croatia

BEAT 2014 PC member - Third International Workshop on Behavioural Types. Affiliated to CONCUR 2014. September 1, 2014, Rome, Italy

ICFP 2013 PC member - 18th ACM SIGPLAN International Conference on Functional Programming, September 25 – 27, 2013, Boston, Massachusetts

LAP 2013 Co-director - Logic and Applications 2013, IUC Inter University Center, September 16-20, 2013, Dubrovnik, Croatia

CM:FP 2013 Invited speaker - Constructive Mathematics: Foundations and Practice, June 24-28, 2013, Nis, Serbia

TYPES 2013 PC member - 19th Conference "Types for Proofs and Programs", April 22 - 26 2013, Toulouse, France

SCSS 2012 PC member - International Symposium on Symbolic Computation in Software Science, December 15-17 2012, 
Gammarth, Tunisia

CL&C 2012 PC member - 4th International Workshop on Classical Logic and Computation, July 8, 2012, Warwick, England

SD 2012 Co-organizer - Sustavi dokazivanja 2012, IUC Inter University Center, Dubrovnik, June 28, 2012

Fundamenta Informaticae, Guest Editor - Special issue on Intersection Types and Related Systems, 2012

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

TLCA 2011 PC member - 10th International Conference on Type lambda Calculus and Applications, June 1-3, 2012, Novi Sad, Serbia

BCI 2012 PC member – 5th Balkan Conference in Informatics, Novi Sad, Serbia

SCLIT 2011 PC member – Symposium on Computer Languages, Implementation and Tools, Halkidiki, Greece

HOR 2010 Invited speaker - Higher-Order Rewriting (FLOC 2010) July 14, 2010, Edinburgh,UK

SVARM 2010 PC member - Synthesis, Verification and Analysis of Rich Models ( FLOC 2010 ) July 20-21, 2010, Edinburgh, UK

ITRS 2010 PC member - Intersection Types and Related Systems (FLOC 2010) July 9, 2010, Edinburgh, UK

FIT 2009 Co-chair - Foundation of Information Technologies, Summer school Novi Sad, Serbia, June 14-27, 2009

ITRS 2008 PC Chair - Intersection Types and Related Systems, March 25, 2008, Torino, Italy

SKM 2008 PC member - Srpski kongres matematicara 2008 (Serbian Mathematical Congress 2008), September 2008, Novi Sad, Serbia