Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[auto-iwg] 2. Tool Qualification Symposium: Agenda and Early Registration

We are proud to announce the agenda of the 2. Tool Qualification Symposium on the 9th and 10th or April 2014
in Munich, see

The program committee has selected many new talks from tool providers and tool users of 
different domains. There will also be tutorials in the beginning and an exhibition.
We do have an interesting keynote from M. Bordin that includes aspects of open source tool qualification
and two invited talks on the TPT qualification kit and on experiences using formal methods for tool qualification.
The tutorials will include an approach that has been applied to classify and qualify also Eclipse-based tools.

The location changed from the airport to Munich center, but the conference dinner remains in the Hofbräuhaus.

The early registration is open until end of February at or

We would be happy to welcome you in Munich.

Kind regards,
       Oscar Slotosch
There are also some places for exhibitors available to present their qualification approaches & qualifyable tools.
Please send mailto:tqs@xxxxxxxxxx in case of interest.
Validas AG
Dr. Oscar Slotosch
fon: +49 (0) 89 / 53 88 669-11
fax: +49 (0) 89 / 53 88 669-10
Validas AG
Firmensitz: Arnulfstr. 27, D-80335 München
Registergericht: Amtsgericht München HRB 131653
Vorstand: Dr. Oscar Slotosch (Vorsitzender), Dr. Peter Braun, Jan Philipps
Aufsichtsratsvorsitzender: Prof. Dr. Dr. h.c. Manfred Broy

Back to the top