17 и 18 апреля 2007 года в Москве в Зелёном зале Президиума Российской Академии Наук Институт системного программирования РАН провёл семинар «Go4IT – шаг к новым технологиям Интернета». Семинар был посвящён вопросам распространения новых технологий построения инфраструктуры Интернета, их стандартизации, внедрения и верификации. В рамках семинара был представлен международный консорциум Go4IT, развивающий инструментальные средства и предоставляющий услуги по верификации реализаций Интернет-протокола нового поколения IPv6. Также в рамках семинара прошла научная конференция, на которой были представлены новые теоретические и практические результаты по верификации и, в частности, тестированию современных телекоммуникационных протоколов, используемых в современном Интернете. Параллельно с конференцией в рамках семинара была проведена сессия практического тестирования, в ходе которой представители международного проекта IPv6 Ready провели сертификацию реализаций IPv6 российской компании OKTET Labs.
Подробнее...