bibilo@newman.bas-net.by
Бибило Петр Николаевич
Лаборатория логического проектирования
СОТРУДНИЧЕСТВО
Результаты исследовательской работы лаборатории внедрялись на предприятиях Республики Беларусь и бывшего СССР, включая предприятия микроэлектронной промышленности (Москва, Минск, например, НПО "Интеграл"), предприятия приборостроения (НИИ ЭВМ, Минск), вузы (Томск, Минск, Севастополь).
ория имеет постоянные научные связи с коллективами Института проблем управления РАН (Москва), НИКТП "Белмикросистемы" НПО "Интеграл", с некоторыми кафедрами Белорусского, Томского и Гомельского университетов, Севастопольского государственного технического университета, с Институтом математики (Кишинев) и др.
Лаборатория была организатором международных конференций "Автоматизация проектирования дискретных систем CAD DD'95", CAD DD'97", CAD DD'99, и CAD DD'2001 проводимых в Минске 15-17 ноября 1995 г., 12-14 ноября 1997 г., 10-12 ноября 1999 г. и 14-16 ноября 2001 г., соответственно. Труды конференций опубликованы в двух (CAD DD'95") и трех томах (остальные конференции). Конференции привлекли ряд ученых из Беларуси, России, Польши, Украины, Латвии, Эстонии и стран Западной Европы. Лаборатория принимала участие в организации международного семинара "Методы оптимизации в теории расписаний и автоматизации проектирования", проведенного в Минске в сентябре 2000 г.
За последнее время сотрудники лаборатории принимали участие в различных международных научных конференциях, проводимых в Нидерландах, Чехии, Японии, Бельгии, Великобритании, США, Франции и других странах.
А.Д.Закревский был соавтором книги "Boolesche Gleichungen. Theory. Anwendungen. Algorithmen", VEB Verlag Technik, Berlin,1984.
Сотрудники лаборатории принимают участие в совместных исследовательских проектах с Институтом информатики технического университета г. Зелена Гора (Польша). Кроме того, А.Д. Закревский с коллегами из 12 стран участвовал в Европейской программе INTAS "Effective Symbolic Computer Calculations" (1995-1996). Сотрудники лаборатории имеют хорошие контакты с исследовательским коллективом по логическому проектированию в Калифорнийском университете в Беркли (США).
