RUS ENG

< Применение импульсных рекуррентных нейронных сетей для решения задачи распознавания динамических образов
08.06.2013 15:18 Давность: 6 yrs

Заседание IFIP WG 2.3 в Санкт-Петербурге

С 3 по 7 июня в Санкт-Петербурге проходило заседание международной рабочей группы по методологии программирования. Проф. Ю. Г. Карпов и И.В. Шошмина сделали доклад по верификации контекстных условий встроенных систем управления. Мы выражаем благодарность проф. Б. Мейеру за приглашение принять участие в этом мероприятии.


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

Принимающую сторону представлял проф. Бертран Мейер. Председателем группы является доктор Памела Зейв.

В этом заседании также приняли участие с докладами: Sir Tony Hoare, Jean-Raymond Abrial, K. Rustan Leino, Back Ralph, Bertran Meyer, Andreas Zeller, Michael Butler, Perdita Stevens, James Noble, Andreas Podelski, Andrei Sabelfeld, Jadaev Misra, Pamela Zave, Emina Torlak, Alexander Kogtenkov,  Serdar Tasiran, Gary Leavens, Cliff Jones.

 

Подробнее о работе группы можно узнать на сайте: http://research.microsoft.com/en-us/um/people/leino/IFIP-WG2.3/