Zaslat SMS: Автоматизация проектирования в радиоэлектронике и вычислительной технике: материалы семинара