Семинар Лаборатории искусственного интеллекта, математики и компьютерных наук им. А.А. Маркова