Date: Friday, October 14, 2011 Location: VTT, Otaniemi, EspooRegistration by October 7, 2011Due to the ever increasing complexity of software and systems, new validation and verification methods are needed. Towards promoting the development and use of new advanced tools and methods for validating and verifying the functional and non-functional properties of complex and critical software and systems, and to advance co-operation within this field, a new Finnish special interest group has been created. To introduce the group and its goals, we organize a seminar presenting introductory tutorials and state-of-the-art results. The seminar is free of charge. Seminar ProgramElvior is going to participate. Come to meet us at our stand and see our product demos if you are around!