ИСТИНА

• Охват: Международная
• Даты проведения: 19-20 мая 2016
• Место проведения: Ливерпуль, United Kingdom
• Организатор:
  University of Liverpool
• Число участников: 12
• Число участников из МГУ: 1
• Число докладчиков: 11
• Веб-сайт: http://arw16.csc.liv.ac.uk/programme.shtml
• Описание конференции:

  The workshop provides an informal forum for the automated reasoning community to discuss recent work, new ideas and applications, and current trends. It aims to bring together researchers from all areas of automated reasoning in order to foster links among researchers from various disciplines; among theoreticians, implementers and users alike.

• Добавил в систему: Шангин Василий Олегович

Доклады:

• 2016 Towards generalized proof search for natural deduction systems for logics I<,> (Устный)
• Авторы: Шангин В.О., Болотов А.Е.