Tuesday
Wednesday
Thursday
Theme of the seminar
Testing is the primary hardware and software validation technique used by
industry today. Usually, it is ad hoc, error prone, and very expensive. In
recent years, however, many attempts have been made to develop more
sophisticated formal testing methods. But a comprehensive account of the
area of formal testing is missing. The goal of this seminar is to compile
a volume providing an in-depth exposure of this emerging area, especially to
make it easily accessible to new researchers in this field.
Aim of the seminar
The aim of the seminar is to bring together (primarily young) researchers
working in or starting to work in this area (PhD students, postdocs, fresh
PhDs, or maybe even MSc students; also established researchers might apply).
The seminar will be devoted to the assembly of a structured overview (in
terms of presentations and papers) of the state-of-the-art.