21.06.2012: Linux Driver Verification Workshop в рамках конференции ISoLA 2012

Мы рады сообщить о проведении Linux Driver Verification Workshop в рамках 5-го международного симпозиума по внедрению формальных методов, верификации и валидации (ISoLA-2012), который пройдет с 15 по 18 октября 2012 года недалеко от г. Ираклион на Крите (Греция). Семинар организуется проф. Дирком Бейером (Университет г. Пассау, Германия) и проф. Александром Петренко (Центр верификации ОС Linux, ИСП РАН).

Семинар предоставляет уникальную возможность для обмена опытом между различными командами, занимающимися верификацией модулей ядра ОС Linux, а также для начала более плотного взаимодействия между проектами.

Более подробная информация о семинаре представлена на сайте конференции.