ИСТИНА

• Охват: Международная
• Даты проведения: 12-13 сентября 2024
• Место проведения: Бирмингем, United Kingdom
• Число участников: 70
• Число докладчиков: 34
• Веб-сайт: https://proofsociety2024.com/
• Добавил в систему: Пшеницын Тихон Григорьевич

Доклады:

• 2024 Complexity of Depth-Bounded Infinitary Action Logic with Multiplexing (Устный)
• Автор: Pshenitsyn Tikhon