Activities

Relevant activities

Events

Program Committees

4th International Workshop on the Reliability of Intelligent Environments (WoRIE'15)
The 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010)
2st Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2010)
The 10th International Conference on Next Generation Wired/Wireless Advanced Networks and Systems (NEW2AN 2010)
Euro-Par 2008
The 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2008)
The 10th International Conference on Quality Engineering in Software Technology (CONQUEST 2007)
The 13th SDL Forum
The 7th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007)
The 14th International SPIN Workshop on Model Checking of Software (SPIN 2007)
The 5th International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems (MSVVEIS 2007)
The 2th International Conference on Science and Technology (JICT 2007)
I International Conference on Ubiquitous Computing: Applications, Technology and Social Issues (ICUC 2006)
The 4th International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems (MSVVEIS 2006)
The 3rd International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems (MSVVEIS '2005)
ISSRE04 Workshop on Integrated-reliability with Telecommunications and UML Languages (ISSRE04:WITUL)
The 11th International SPIN Workshop on Model Checking of Software (SPIN 2004)
The 2nd International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2004)
The 8th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2003)
The 1st International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2003)
The 7th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2002)
The 6th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001)
International Workshop on Distributed Systems Validation and Verification (DSVV 2000)