12-Jun-2009: A New Program of the Linux Verification Center to Be Announced at PSI'09

user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 16 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.38/modules/taxonomy/taxonomy.module on line 640.

Goals and content of the Program will be presented by Alexey Khoroshilov in the talk "Establishing Linux Driver Verification Process" at the Seventh International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS» PSI'09, which takes place June 15-19, 2009 in Academgorodok, Novosibirsk, Russia.

Also Victor Kuliamin will discuss issues of standardization and testing of mathematical functions at the conference.

Everybody interested are welcome to contact us before or during this event to appoint a face to face meeting.