Workshops

• July 21st: AS - 4th International Workshop on Action Semantics and Related Frameworks
• July 21st: EFSD - Evolutionary Formal Software Development
• July 20-21: REFINE - Refinement Workshop
• July 20-21: VDM - VDM Meeting

Tutorials

• July 20th: T1 - PVS, ICS and SAL: An introduction to the state of the art in mechanized formal methods
• July 20th: T2 - Business Process Modeling - Methods, Tools and Application
• July 21st: T3 - Theory and Practice of Coordination Technologies