ИСТИНА

• Охват: Международная
• Даты проведения: 2-6 ноября 2015
• Место проведения: Остин, штат Техас, United States
• Организаторы:
  Association for Computing Machinery
  Institute of Electrical and Electronics Engineers
  ACM Special Interest Group on Design Automation
  IEEE Council on Electronic Design Automation
  IEEE Circuits and Systems Society
• Число участников: 200
• Число участников из МГУ: 1
• Веб-сайт: http://www.iccad.com/
• Добавил в систему: Шуплецов Михаил Сергеевич

Доклады:

• 2015 Large-Scale Equivalence Checking and Function Correction (Стендовый)
• Авторы: Шуплецов М.С., Зенин Е., Жуков В.В., Антюфеев Г.В.