8 ноября 2007 г. на заседании диссертационного совета K003.032.01 в Институте систем информатики имени А.П. Ершова Сибирского отделения РАН по адресу: 630090, г. Новосибирск, пр. Акад. Лаврентьева, 6 состоится защита диссертации Сидорова Владимира Анатольевича на соискание степени кандидата наук по специальности 05.13.11. Тема диссертации "Методы и средства программирования в ограничениях для систем автоматизации проектирования". Предлагаем ознакомиться с авторефератом диссертации.