General Information

Research

Collaborations & Cooperations

Teaching

News and Miscellaneous

Professional Activities

HOM

• RDP 2011 - Federate Conference on Rewriting, Deduction, and Prorgamming (Conference chair)
TLCA 2011 - 10th International Conference on Type lambda Calculus and Applications
RTA 2011 - 22nd International Conference on Rewriting Techniques and Applications
Novi Sad, June 2011


• Higher-Order Rewriting - HOR 2010,  (FLOC 2010) July 14, 2010, Edinburgh,UK (Invited speaker)
• Synthesis, Verification and Analysis of Rich Models - SVARM 2010   ( FLOC 2010 ) July 20-21, 2010, Edinburgh,UK (PC member)
• Intersection Types and Related Systems - ITRS 2010,  (FLOC 2010) July 9, 2010, Edinburgh,UK (PC member)

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

• Fundamenta Informaticae - special issue on Intersection Types and Related Systems (Guest Editor)

• Intersection Types and Related Systems - ITRS'08  March 2008, Torino, Italy (Program Chair)
  

• Srpski kongres matematicara 2008 (Serbian Mathematical Congres 2008)  September 2008, Novi Sad, Serbia (PC member)