06 October 2006
|
|
Calendar for October 2006
Here are some events we think may be of interest for this month.
But you'll have to choose carefully -- or have your own charter jet --
because for some reason all of these are at about the same time.
(The good news about this: there'll be minimal overlap of speakers!)
-
1st Asian Working Conference on Verified Software
,
Macao SAR, China, 29-31 October 2006.
A response to Tony Hoare's grand challenge on "The Verifying Compiler"
this conference aims to attack the challenge head on.
-
6th International Conference on Quality Software
,
Beijing, China, 26-28 October 2006.
Aimed primarily at an Asia/Pacific audience, this is one of the continuing series
of Quality Software conferences
(the two prior instances were in Melbourne, Australia and Brounschweig, Germany).
-
Haifa Verification Conference 2006
,
IBM Research Lab, Haifa, Israel, 23-26 October 2006.
Broadly structured, this workshop aims to discuss both hardware and software verification
and testing.
-
IEEE International Symposium on Workload Characterization (IISWC 2006)
Hilton Hotel, San Jose, California, 25-28 October 2006.
In performance engineering, he who holds the benchmark can claim the result.
This symposium aims to refine the art of creating how the workload benchmark works.
|