Abstracts Collection -- Workshop Trustworthy Software 2006

Serge Autexier, Stephan Merz, Leon Van Der Torre, Reinhard Wilhelm & Pierre Wolper
On 18-19 May 2006, the Saarland University organized a two-day workshop about "Trustworthy Software" in order to present and foster the research competence in the SaarLorLuxWallonie region in the area of developing safe, secure and reliable software, computers and networks. As part of the Interreg III C E-Bird project "Recherches sans fronti\`eres/Forschen ohne Grenzen" it provided an excellent forum especially for young scientists to present and discuss recent results, new ideas and future research directions...