EXPRESS/SOS 2019, Amsterdam, Netherlands. (PC member)

ISMVL2020, IEEE 50th International Symposium on Multiple-Valued Logic, Miyazaki, Japan. (PC member)

ISMVL2019, IEEE 49th International Symposium on Multiple-Valued Logic, Fredericton, Canada. (PC member)

ISMVL2018, IEEE 48th International Symposium on Multiple-Valued Logic, Linz, Austria.

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

ISMVL2016, IEEE 46th 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 45th 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)