SPG > SoftwareProductivityGroup > GenteAreaProjects > AlloyGroup > GroupEvents

TWiki webs: Main | TWiki | Sandbox   Hello TWiki Admin Group!

Changes | Index | Search | Go

Related Events

In addition to the major events related to the group, we consider also the following events which are more closely related to this project:

• SBMF, Brazilian Symposium on Formal Methods;

• Formal Methods Europe;

• ESEC/FSE, ACM SIGSOFT Symposium on the Foundations of Software Engineering;

• UML 2004;

• Workshop on Critical Systems Development;

• Specification and Verification of Component-Based Systems at Foundations of Software Engeneering;

• Software Model Engineering;

• Compositional Verification of UML Models;

• Consistency Problems in UML-based Software Development;

• International Workshop on Software Evolution Transformations (SET 2004);

• Generative Techniques in the context of Model Driven Architecture, at OOPSLA 2003;

• International Symposium on Formal Methods for Components and Objects (FMCO)

• 10th International Conference on Algebraic Methodology And Software Technology, AMAST'2004

Summer School

• International Summer School Marktoberdorf

• LASER Summer School

• Winter School on Semantics and Applications

Back

Edit | Attach | Print version | History: %REVISIONS% | Backlinks | Raw View | Raw edit | More topic actions

Copyright © 2008-2025 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback