ИСТИНА

• Охват: Международная
• Даты проведения: 29 июня - 6 июля 2020
• Место проведения: Париж, France
• Организатор:
  Университет Париж - Север
• Число докладчиков: 62
• Веб-сайт: https://ijcar2020.org/
• Все конференции этой группы
• Описание конференции:

  The International Joint Conference on Automated Reasoning (IJCAR) is the premier international joint conference on all topics in automated reasoning. The IJCAR 2020 technical program will consist of presentations of high-quality original research papers, short papers describing interesting work in progress, system descriptions, and invited talks. IJCAR 2020 is the 10th edition of IJCAR. It will be held in Paris (France), and will be co-located with FSCD 2020 and a number of workshops and associated events.

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

Доклады:

• 2020 Soft subexponentials and multiplexing (Устный)
• Авторы: Kanovich Max, Kuznetsov Stepan, Nigam Vivek, Scedrov Andre