By John Fox (auth.), Udo Voges (eds.)
This yr we celebrated one other anniversary: after two decades of SAFECOMP in 1999, th this was once the 20 SAFECOMP on account that its inauguration in 1979. This sequence of occasions specializes in serious laptop functions. it's meant to be a platform for wisdom move among academia, undefined, and learn associations. Papers are solicited on all facets of desktops within which safeguard, reliability, and safety (applied to safeguard by way of integrity and availability) are of significance. the twentieth SAFECOMP attempted to hide new grounds, either thematically and geographically. the former 19 SAFECOMPs have been held in Austria (1989, 1996), France (1987, 1999), Germany (1979, 1988, 1998), nice Britain (1983, 1986, 1990, 1997), Italy (1985, 1995), Norway (1991), Poland (1993), Switzerland (1992), The th Netherlands (2000), and within the united states (1981, 1992), while the 20 was once held in Hungary. Authors from thirteen international locations spoke back to the decision for Papers, and 10 nations have been represented within the ultimate software. The court cases comprise 20 papers plus three invited papers, masking the components Reliability overview and safeguard, defense Case and protection research, checking out, Formal equipment, keep watch over structures, and this yr overlaying new grounds with a unique emphasis on Human computing device Interface, elements off the Shelf, and scientific Systems.