ИСТИНА

• Охват: Всероссийская с международным участием
• Даты проведения: 4-8 июня 2018
• Место проведения: Алтайский край, п. Катунь, Russia
• Организатор:
  Томский государственный университет
• Число участников: 50
• Число иностранных участников: 2
• Веб-сайт: http://kitidis.tsu.ru/icam/
• Описание конференции:

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

• Добавил в систему: Камкин Александр Сергеевич

Доклады:

• 2018 Автоматизация верификации микропроцессоров на основе формальных спецификаций системы команд (Пленарный)
• Автор: Камкин А.С.