ИСТИНА

• Охват: Международная
• Даты проведения: 14-17 июля 2018
• Место проведения: Оксфорд, United Kingdom
• Организатор:
  Оксфордский университет
• Число докладчиков: 48
• Веб-сайт: http://ijcar2018.org/
• Все конференции этой группы
• Описание конференции:

  IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks. IJCAR 2018 is part of the Federated Logic Conference and is the merger of leading events in automated reasoning: CADE (Conference on Automated Deduction) FroCoS (Symposium on Frontiers of Combining Systems) TABLEAUX (Conference on Analytic Tableaux and Related Methods)

• Добавил в систему: Кузнецов Степан Львович

Доклады:

• 2018 A logical framework with commutative and non-commutative subexponentials (Пленарный)
• Авторы: Kanovich Max, Scedrov Andre, Nigam Vivek, Kuznetsov Stepan