|
European Association
of Software Science and Technology (EASST)
Endorsed Upcoming Events
|
2007
|
|
|
|
|
|
|
|
 |
10th International Workshop on Formal Methods for Industrial
Critical Systems (Affiliated with
CAV 2007 conference) |
Berlin (Germany) |
July 01-02, 2007
|
|
|
|
|
|
|
|
|
|
|
|
FASE '07: Fundamental Approaches
to Software Engineering
|
Braga (Portugal) |
March 24 - April 1, 2007
|
|
|
|
|
|
|
|
|
|
|
|
2006
|
|
|
|
|
|
|
|
|
|
|
International Symposium on Leveraging Applications of
Formal Methods, Verification, and Validation
|
Paphos (Cyprus) |
November 15-19, 2006
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
18th European Summer School
in Logic, Language and Information
|
Malaga (Spain) |
July 31 - Ausgust 11
|
|
|
|
|
|
|
|
|
|
|
|
FASE '06: Fundamental Approaches
to Software Engineering
|
Vienna (Austria) |
March 25-27, 2006
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
7th Intl. Conference on Verification,
Model Checking, and Abstract Interpretation
|
Charleston, North Carolina
(USA) |
January 8-10, 2006
|
|
|
|
|
|
|
|
|
|
|
|
2005
|
|
|
|
|
|
|
|
|
|
|
2005 IEEE ISoLA Workshop on Leveraging Applications
of Formal Methods, Verification, and Validation
in Human and Robotic Space
Exploration
|
Exploration Loyola College
Graduate Center, Columbia, Maryland (USA) |
September 23-24, 2005
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3rd IEEE International Conference on Software Engineering
and Formal Methods
|
Koblenz (Germany) |
September 7-9, 2005
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
10th International Workshop on Formal Methods for Industrial
Critical Systems (co-located with ESEC/FSE 2005)
|
Lisbon (Portugal) |
September 05-06, 2005
|
|
|
|
|
|
|
|
|
