Software wordt steeds belangrijker in ons dagelijks leven en we vertrouwen er steeds meer op voor onze energievoorziening, onze veiligheid, onze logistiek, onze gezondheidszorg, onze informatievoorziening, enz. Het is dus van het grootste belang dat software zeer betrouwbaar is. Helaas blijkt software in de praktijk echter niet altijd even betrouwbaar te zijn. Het is dus zaak om de kwaliteit en de betrouwbaarheid van software te analyseren, om deze op waarde te schatten en de kwaliteit en betrouwbaarheid vervolgens beter te waarborgen.
Op 11 juni aanstaande organiseert LaQuSo de 5e editie van het Europese symposium op het gebied van verificatie en validatie van software. Het thema van deze editie van VVSS is "Van Analyse naar Certificatie" en zal als leidraad voor de verschillende bijdragen dienen.
VVSS2009 biedt een programma gedurende welke een internationaal gezelschap sprekers uit Duitsland, Hongarije, Ierland, Luxemburg, Nederland, Noorwegen en Zwitserland de deelnemers een informatief en toegankelijk programma aanbieden gedurende welke zij de state-of-the-art van relevante methoden, technieken en gereedschappen zullen presenteren evenals relevante best-practices. Tijdens VVSS2009 zullen sprekers uit de academische wereld en de industrie elkaar aanvullen.
VVSS2009 is ook bij uitstek een gelegenheid om te netwerken met deelnemers uit verschillende sectoren van de overheid, de industrie en het academisch onderzoek. Daarnaast bieden de verschillende vendors tijdens de tool exhibition ongetwijfeld een vruchtbare bodem voor nieuwe inzichten en mogelijkheden.
Please contact the organizing party or the board (cib@gewis.nl) with any questions or concerns. Have fun!