ИСТИНА

• Охват: Международная
• Даты проведения: 6-7 сентября 2018
• Место проведения: Ghent, Belgium, Belgium
• Организатор:
  Ghent University
• Веб-сайт: https://www.proofsociety.org/past/workshop-2018/
• Описание конференции:

  The 1st Workshop on Proof Theory and its Applications, organised under the auspices of The Proof Society, will bring together researchers on proof theory and its applications. The aim of the meeting is to reflect on the mission of The Proof Society, through a series of invited and contributed talks, as well as panel discussions.

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

Доклады:

• 2018 Axiomatizing provable n-provability (Устный)
• Автор: Kolmakov E.A.