Events

ORGANISATION OF INTERNATIONAL CONFERENCES/WORKSHOPS/SUMMER SCHOOLS

• • ISMVL 2026 - IEEE 56th International Symposium on Multiple-Valued Logic, Sendai, Miyagi, Japan (PC member)

  • FORTE 2026 - International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Urbino, Italy (PC member)

  • SEFM 2025 - 23rd International Conference on Software Engineering and Formal Methods, Aveiro, Portugal (PC member)

  • FORTE 2025 - International Conference on Formal Techniques for Distributed Objects, Components, and Systems

  • ISMVL 2025,  IEEE 55th International Symposium on Multiple-Valued Logic, Montreal, Canada

  • IEEE CS TAC Meeting, 31.10-1.11.2024, Vienna, Austria (member-at-large)

  • SEFM 2024, 22nd International Conference on Software Engineering and Formal Methods, Aveiro, Portugal (PC member)

  • ISMVL 2024,  IEEE 54th International Symposium on Multiple-Valued Logic, Brno, Czech Republic (PC member)

  • SEFM 2023, 21st International Conference on Software Engineering and Formal Methods, Eindhoven, The Netherlands (PC member)

  • ISMVL2023, IEEE 53rd International Symposium on Multiple-Valued Logic, Matsue, Japan. (PC member)

  • TAC Leadership Summit, 1.02.2023, Los Alamitos, USA (The Chair of TCMVL)

  • ISMVL 2022, IEEE 52nd International Symposium on Multiple-Valued Logic, Dallas, USA. (PC member)

  • ISMVL 2021, IEEE 51st International Symposium on Multiple-Valued Logic, Nur-Sultan, Kazahstan. (PC Co-Chair)

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

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

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

  • ISMVL 2018, IEEE 48th International Symposium on Multiple-Valued Logic, Linz, Austria. (Program Co-Chair)

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

  • ISMVL 2016, 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)

  • ISMVL 2015, 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)

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

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

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

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

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

  • RDP2011. (OC member)

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

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

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

  • FIT2009 Summer School (SC member)

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

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