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)