ISMVL2018, IEEE 48nd International Symposium on Multiple-Valued Logic, Linz, Austria. (PC Co-Chair)

ISMVL2017, IEEE 47nd International Symposium on Multiple-Valued Logic, Novi Sad, Serbia. (Symposium Chair)

ISMVL2016, IEEE 46nd International Symposium on Multiple-Valued Logic, Sapporo, Japan. (PC member)

WS-FM/BEAT 2015, The Symposium on International Symposium on Web Services, Formal Methods and Behavioural Types, Madrid, Spain. (PC member)

ISMVL2015, IEEE 45nd International Symposium on Multiple-Valued Logic, Waterloo, Canada. (PC member)

BETTY Summer School 2014, First International Summer School on Behavioural Types,Lovran, Croatia. (OC member)

ISMVL2014: IEEE 44th International Symposium on Multiple-Valued Logic, Bremen, Germany. (PC member)

BEAT2: Second International Workshop on Behavioural Types, Madrid, Spain. (PC member)

ISMVL2012:IEEE 42nd International Symposium on Multiple-Valued Logic,Vistoria, BC, Canada. (PC member)

LAP 2012 Sustavi dokazivanja, Dubrovnik, Croatia. (PC member)

ISMVL2011: IEEE 41st International Symposium on Multiple-Valued Logic, Tuusula, Finland. (PC member)

RDP2011. (OC member)

ISMVL2010: IEEE 40th International Symposium on Multiple-Valued Logic. (PC member)

IEEE CS 2009-2011 member of TC for Multiple-Valued Logic.

ISMVL2009: IEEE 39th International Symposium on Multiple-Valued Logic. (PC member)

FIT2009 Summer School (SC member)

ISMVL2006: IEEE 36th International Symposium on Multiple-Valued Logic. (PC member)

ISMVL2005: IEEE 35th International Symposium on Multiple-Valued Logic. (PC member)