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)