ИСТИНА

• Охват: Международная
• Даты проведения: 28-30 сентября 2016
• Место проведения: Росток, Germany
• Организатор:
  Humboldt Universitat zu Berlin
• Число участников: 32
• Число участников из МГУ: 1
• Число докладчиков: 1
• Веб-сайт: http://www2.informatik.hu-berlin.de/csp2016
• Описание конференции:

  Научный семинар Concurrency, Specification, and Programming (CS&P) является ежегодным научным форумом, который проводится попеременно в Германии (отв. Humboldt University) и в Польше (отв. Warsaw University). Тематика семинара охватывает следующие области: Mathematical models of concurrency, Specification languages, Theory of programming, Parallel algorithms, Model checking and testing, Multi-agent systems, Rough sets Object-oriented approaches, Knowledge management, Knowledge discovery and data mining Soft computing, Information technology and management, Applications, e.g. in Robotics

• Добавил в систему: Захаров Владимир Анатольевич

Доклады:

• 2016 On the model checking of sequential reactive systems (Устный)
• Авторы: Zakharov V., Kozlova D.