О спикере: Yasir Khan (University of Pittsburgh)
Тема: TBD
Если вы хотите посетить семинар, напишите на почту [email protected]
О спикере: Antonio Cabrales (Universidad Carlos III de Madrid)
Тема: TBC
Если вы хотите посетить семинар, напишите на почту [email protected]
О спикере: Аркадев Гош (Университет Дьюка)
Если…
О спикере: Иван Балбузанов (Университет Мельбурна)
Тема: «Аксиоматическая характеристика черновых правил» (совместно с Джейкобом Корено)