Workshops

  • IMLA'99 -- Workshop on Intuitionistic Modal Logics and Applications (LICS'99 affiliated)
  • SFEDL'02 -- Workshop on Semantic Foundations of Engineering Design Languages (ETAPS'02 affiliated)
  • IMLA'02 -- Workshop on Intuitionistic Modal Logics and Applications (LICS'02 affiliated)
  • SFEDL'04 -- Workshop on Semantic Foundations of Engineering Design Languages (ETAPS'04 affiliated)
  • SLA++P'07 -- Model-driven High-level Programming of Embedded Systems (ETAPS'07 affiliated)
  • SYNCHRON 2007 -- International Open Workshop on Synchronous Programming
  • IMLA'08 -- Workshop on Intuitionistic Modal Logics and Applications (LICS'08 affiliated)
  • Workshop on Logical Dialogue Games 2015 -- Vienna, September 28 - 30, 2015 (joint with University of Vienna)
  • SYNCHRON 2016 -- International Open Workshop on Synchronous Programming