ИСТИНА

• Охват: Международная
• Даты проведения: 8-10 августа 2022
• Место проведения: Хайфа, Israel
• Организатор:
  Технион
• Число участников из МГУ: 1
• Число докладчиков: 45
• Веб-сайт: https://easychair.org/smart-program/FLoC2022/IJCAR-index.html
• Все конференции этой группы
• Описание конференции:

  IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications, comprising several leading conferences and workshops. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks. IJCAR 2022 is part of the Federated Logic Conference and is the umbrella of the following 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)

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

Доклады:

• 2022 Non-associative, non-commutative multi-modal linear logic (Устный)
• Авторы: Blaisdell Eben, Kanovich Max, Kuznetsov Stepan, Pimentel Elaine, Scedrov Andre