Colloquium of the Faculty of Computer Science
(Moscow)

Colloquium of the Faculty of Computer Science, Moscow
	November 25, 2025 (Tue)
1.	"A Functional Perspective for Understanding Scaling Laws" Lei Wu November 25, 2025 14:40, Moscow
	November 18, 2025 (Tue)
2.	Experience of AI deployment at Bach Mai Hospital for the diagnosis of lung cancer Long Quoc Tran November 18, 2025 19:00, Moscow
	September 22, 2025 (Mon)
3.	Algorithm Design Automation Zhi-Quan Luo September 22, 2025 11:30, Moscow
	April 22, 2025 (Tue)
4.	Факт-чекинг и борьба с искажением информации: как ИИ и NLP могут здесь помочь (и могут ли вообще)? April 22, 2025 18:10, Moscow
	March 25, 2025 (Tue)
5.	Дроби Золотарева: на пути к 150-летию Андрей Богатырёв March 25, 2025 16:20, Moscow
	March 4, 2025 (Tue)
6.	Mirror-Prox Algorithm with Linear Convergence Rate and its Application for Dynamic Loss Scaling Alexandr Beznosikov March 4, 2025 16:20, Moscow
	February 11, 2025 (Tue)
7.	Обучение с подкреплением как универсальный инструмент тонкой настройки: от RLHF до DeepSeek Александр Панов February 11, 2025 16:20, Moscow
	December 10, 2024 (Tue)
8.	О точности оценивания ковариационной матрицы многомерного случайного вектора Никита Пучкин December 10, 2024 16:20, Moscow
	September 24, 2024 (Tue)
9.	Машинное обучение в атомистическом моделировании Иван Новиков September 24, 2024 16:20, Moscow
	June 11, 2024 (Tue)
10.	Stochastic Localization via Iterative Posterior Sampling Alain Durmus June 11, 2024 18:10, Moscow
	May 14, 2024 (Tue)
11.	Эволюция геоинформационных систем и переход от GIS к WebGIS Никита Терлыч May 14, 2024 18:10, Moscow
	April 9, 2024 (Tue)
12.	Известные и неизвестные свойства тензорных разложений Евгений Тыртышников April 9, 2024 18:10, Moscow
	March 26, 2024 (Tue)
13.	Редактирование изображений с помощью диффузионных моделей Айбек Аланов March 26, 2024 16:20, Moscow
	February 13, 2024 (Tue)
14.	Популяционная генетика: от современных людей к неандертальцам Владимир Щур February 13, 2024 16:20, Moscow
	December 12, 2023 (Tue)
15.	Квантовые компьютеры: физические реализации I. A. Semerikov December 12, 2023 16:20, Moscow
	November 14, 2023 (Tue)
16.	От программирования компьютеров к пониманию и программированию живых систем A. K. Shaitan November 14, 2023 16:20, Moscow
	October 24, 2023 (Tue)
17.	Некоторые геометрические и алгебраические подходы для обучения на последовательностях в рекомендательных системах October 24, 2023 16:20, Moscow
	September 26, 2023 (Tue)
18.	Linear Stochastic Approximation Error Bounds with Applications to Reinforcement Learning S. V. Samsonov September 26, 2023 16:20, Moscow
	May 23, 2023 (Tue)
19.	Современные методы машинного обучения в прикладных задачах биоинформатики May 23, 2023 16:20, Moscow
	April 25, 2023 (Tue)
20.	Нейросетевые поля для реконструкции сцен и не только K. Struminsky April 25, 2023 16:20, Moscow
	April 11, 2023 (Tue)
21.	Federated Uncertainty Quantification: a Survey Eric Moulines April 11, 2023 16:20, Moscow
	February 21, 2023 (Tue)
22.	Physics-inspired imaging principles for the benefit of computer vision Dmitry Dylov February 21, 2023 16:20, Moscow
	January 31, 2023 (Tue)
23.	Стохастическая аппроксимация, современный взгляд A. V. Gasnikov January 31, 2023 18:10, Moscow
	December 6, 2022 (Tue)
24.	Polynomial Chaos Expansion and Machine Learning: Benefits, Challenges, Applications Alexander Tarakanov December 6, 2022 18:10, Moscow
	November 8, 2022 (Tue)
25.	Поиск быстрых алгоритмов умножения матриц при помощи обучения с подкреплением November 8, 2022 16:20, Moscow
	October 11, 2022 (Tue)
26.	Безградиентные методы для федеративного обучения October 11, 2022 16:20, Moscow
	September 20, 2022 (Tue)
27.	Диффузионные модели и их современные применения September 20, 2022 16:20, Moscow
	June 7, 2022 (Tue)
28.	Шашки Фейнмана A. V. Ustinov June 7, 2022 16:20, Moscow
	May 24, 2022 (Tue)
29.	Do process models behave identically? Algorithmics and Decidability of Bisimulation Equivalences Irina Lomazova May 24, 2022 16:20, Moscow
	April 19, 2022 (Tue)
30.	Statistics in Tandem Mass Spectrometry Data Analysis Attila Kertesz-Farkas April 19, 2022 16:20, Moscow
	March 1, 2022 (Tue)
31.	Power Indicies for Attribution of JSM-hypotheses and Formal Concepts Dmitry Ignatov March 1, 2022 16:20, Moscow
	February 1, 2022 (Tue)
32.	Approximation with neural networks of minimal size: exotic regimes and superexpressive activations Dmitry Yarotsky February 1, 2022 16:20, Moscow
	December 7, 2021 (Tue)
33.	Highly accurate protein structure prediction with AlphaFold Anna Potapenko December 7, 2021 16:20, Moscow
	November 23, 2021 (Tue)
34.	Software Release anomaly detection in DevOps environment Manuel Mazzara November 23, 2021 16:20, Moscow
	October 26, 2021 (Tue)
35.	Is the next deep learning disruption in the physical sciences? Max Welling October 26, 2021 16:20, Moscow
	September 28, 2021 (Tue)
36.	Positional Embedding in Transformer-based Models Tatiana Likhomanenko September 28, 2021 18:10, Moscow
	June 1, 2021 (Tue)
37.	Computer Vision and Machine Learning for Environmental Monitoring Konrad Schindler June 1, 2021 16:20, Moscow
	May 18, 2021 (Tue)
38.	Bruhat interval polytopes which are cubes Mikiya Masuda May 18, 2021 16:20, Moscow
	April 27, 2021 (Tue)
39.	Геометрия в моделях машинного обучения I. V. Oseledets April 27, 2021 16:20, Moscow
	April 13, 2021 (Tue)
40.	Genetic Computers Alan Herbert April 13, 2021 18:10, Moscow
	March 23, 2021 (Tue)
41.	Мультимодальный мир: где мы сейчас и куда мы идём Сергей Николенко March 23, 2021 16:20, Moscow
	March 2, 2021 (Tue)
42.	Neural entity linking Alexander Panchenko March 2, 2021 16:20, Moscow
	February 2, 2021 (Tue)
43.	Случайные матрицы: теория и приложения A. A. Naumov February 2, 2021 18:10, Moscow
	December 15, 2020 (Tue)
44.	On robust mean estimation and k-means clustering Nikita Zhivotovskiy December 15, 2020 16:20, Moscow
	December 1, 2020 (Tue)
45.	Нейротехнологии и машинное обучение: от нейрохирургии и неврологии до киберспорта E. V. Burnaev December 1, 2020 18:10, Moscow
	November 3, 2020 (Tue)
46.	Многомерное обобщение сингулярного разложения и его применение к одномерным данным November 3, 2020 16:20, Moscow
	October 6, 2020 (Tue)
47.	Современные методы непрерывной детерминированной глобальной оптимизации и их приложения M. A. Posypkin October 6, 2020 16:20, Moscow
	April 28, 2020 (Tue)
48.	Растровые данные с геопривязкой: настоящее и будущее A. R. Rodriges April 28, 2020 18:10, Moscow
	February 18, 2020 (Tue)
49.	Of Points and Lines: Graphs, Metrics, and Betweenness Laurent Beaudou February 18, 2020 18:10, Moscow
	January 28, 2020 (Tue)
50.	Использование генеративных моделей в физике частиц Denis Derkach January 28, 2020 18:10, Moscow
	December 17, 2019 (Tue)
51.	Что делать, если модель процесса не вполне соответствует реальности? A. A. Mitsyuk December 17, 2019 16:40, Moscow
	November 12, 2019 (Tue)
52.	Some Adventures in Boolean Satisfiability and Its Logic Synthesis Applications J.-H. Roland Jiang November 12, 2019 16:40, Moscow
	September 10, 2019 (Tue)
53.	From Theorem Proving to Cognitive Reasoning Ulrich Furbach September 10, 2019 16:40, Moscow
	April 23, 2019 (Tue)
54.	Очки дополненной реальности: пользовательские интерфейсы современных платформ и перспективы их развития April 23, 2019 18:10, Moscow
	April 11, 2019 (Thu)
55.	Анализ кибер-физических протоколов безопасной передачи информации A. Scedrov April 11, 2019 18:10, Moscow
	March 26, 2019 (Tue)
56.	From Start to Goal: How Mobile Robots Plan Their Paths (Methods and Algorithms) Константин Яковлев March 26, 2019 18:10, Moscow
	February 28, 2019 (Thu)
57.	Взгляд на будущие проекты в ЦЕРНе February 28, 2019 16:40, Moscow
	February 12, 2019 (Tue)
58.	Линейная логика и функциональное программирование S. L. Kuznetsov February 12, 2019 18:10, Moscow
	December 4, 2018 (Tue)
59.	Развитие эпидемиологических методов: все более приблизительные оценки December 4, 2018 18:10, Moscow
	November 27, 2018 (Tue)
60.	Блокчейн: определения, приложения, задачи Yu. Yanovich November 27, 2018 18:10, Moscow
	November 13, 2018 (Tue)
61.	О сетях и соседях: как совершенствовать системы машинного обучения в процессе их использования M. Bilenko November 13, 2018 18:10, Moscow
	October 29, 2018 (Mon)
62.	Использование машинного обучения в экспериментах по наблюдению космических лучей сверхвысоких энергий O. E. Kalashev October 29, 2018 16:40, Moscow
	October 16, 2018 (Tue)
63.	Asynchronous games for Petri nets Luca Bernardinello October 16, 2018 18:10, Moscow
	September 11, 2018 (Tue)
64.	Computational cognitive neuroscience: A brief primer Joseph MacInnes September 11, 2018 18:10, Moscow
	September 4, 2018 (Tue)
65.	Как увидеть ненаблюдаемое? Моделирование сложных систем с фазовой синхронизацией на примере меридионального потока Солнца Elena Blanter September 4, 2018 18:10, Moscow
	May 29, 2018 (Tue)
66.	In search of missing network data: applications to real-life problems Valentina Kuskova May 29, 2018 18:10, Moscow
	April 17, 2018 (Tue)
67.	The Meltdown Attack Guilhem Gamard April 17, 2018 18:10, Moscow
	February 22, 2018 (Thu)
68.	Perturbed Proximal Gradient Algorithms Eric Moulines February 22, 2018 18:10, Moscow
	January 23, 2018 (Tue)
69.	On empirical risk minimization and its variants for statistical learning Quentin Paris January 23, 2018 18:10, Moscow
	December 26, 2017 (Tue)
70.	Just-in-Time Static Analysis Ben Livshits December 26, 2017 18:30, Moscow
	December 19, 2017 (Tue)
71.	Brain Imaging and Genetics: Computational Methods and Applications Boris Gutman December 19, 2017 18:10, Moscow
	November 29, 2017 (Wed)
72.	Complexity Classifications of Valued Constraint Satisfaction Problems Vladimir Kolmogorov November 29, 2017 16:40, Moscow
	November 28, 2017 (Tue)
73.	Online Process Mining Andrea Burattin November 28, 2017 18:10, Moscow
	November 21, 2017 (Tue)
74.	Как создавать нейросети на основе классических вычислительных алгоритмов? Антон Осокин November 21, 2017 18:10, Moscow
	October 24, 2017 (Tue)
75.	Методы машинного обучения и большие данные биоинформатики Мария Попцова October 24, 2017 18:10, Moscow
	October 5, 2017 (Thu)
76.	Многокритериальный тематический анализ текстовых коллекций Константин Воронцов October 5, 2017 18:10, Moscow
	September 11, 2017 (Mon)
77.	Расширение well-designed SPARQL Егор Костылев September 11, 2017 16:40, Moscow
78.	Learning on networks of distributions for discrete data Wray Buntine September 11, 2017 18:10, Moscow
	May 19, 2017 (Fri)
79.	Navigable networks as Nash equilibria of navigation games Dmitri Krioukov May 19, 2017 16:40, Moscow
	April 25, 2017 (Tue)
80.	Логика случайного графа: от законов нуля или единицы до приложений Максим Жуковский April 25, 2017 18:10, Moscow
	April 11, 2017 (Tue)
81.	Correctness-by-Construction for Inventing Algorithms Bruce Watson April 11, 2017 18:10, Moscow
	March 14, 2017 (Tue)
82.	Rough sets: A tool for qualitative knowledge discovery Ivo Duntsch March 14, 2017 18:10, Moscow
	February 21, 2017 (Tue)
83.	Life beyond the pixels: Drug discovery using machine learning and image analysis methods Peter Horvath February 21, 2017 18:10, Moscow
	February 14, 2017 (Tue)
84.	Доказательная и персонализированная медицина: каков потенциальный вклад data mining? Ольга Реброва February 14, 2017 18:10, Moscow
	December 22, 2016 (Thu)
85.	Семантические технологии: новая жизнь для математической логики Михаил Захарьящев, Станислав Кикоть December 22, 2016 18:10, Moscow
	December 13, 2016 (Tue)
86.	Математические методы анализа МЭГ-измерений межсудорожной активности мозга: от очагов к сетям и обратно Alexei Ossadtchi December 13, 2016 18:10, Moscow
	December 6, 2016 (Tue)
87.	Перенос стиля, дудлы и синтез текстур Dmitrii Ulyanov December 6, 2016 18:10, Moscow
	November 22, 2016 (Tue)
88.	Эффективные алгоритмы нахождения ближайших соседей среди миллиардов векторов в пространствах высокой размерности Artem V. Babenko November 22, 2016 18:10, Moscow
	October 25, 2016 (Tue)
89.	Раскраски гиперграфов и смежные проблемы: вероятностно-алгоритмический подход D. A. Shabanov October 25, 2016 18:10, Moscow
	October 11, 2016 (Tue)
90.	Разложение в тензорный поезд в задачах машинного обучения October 11, 2016 18:10, Moscow
	September 20, 2016 (Tue)
91.	Strictly positive fragments of modal and description logic L. D. Beklemishev September 20, 2016 18:10, Moscow
	September 6, 2016 (Tue)
92.	Towards Lifelong Machine Learning Christoph Lampert September 6, 2016 16:40, Moscow
93.	Равновесие Нэша в чистых стратегиях V. A. Gurvich September 6, 2016 18:10, Moscow
	June 21, 2016 (Tue)
94.	Критические наследственные классы графов D. S. Malyshev June 21, 2016 18:10, Moscow
	June 14, 2016 (Tue)
95.	Теория сложности доказательств A. A. Razborov June 14, 2016 18:10, Moscow
	May 31, 2016 (Tue)
96.	Multidimensional free-mobility equilibrium: Tiebout revisited Konstantin Sorokin May 31, 2016 18:10, Moscow
	May 10, 2016 (Tue)
97.	Causal inference and Kolmogorov complexity Bruno Bauwens May 10, 2016 18:10, Moscow
	April 26, 2016 (Tue)
98.	Синтез изображений с помощью глубоких нейросетей V. S. Lempitskii April 26, 2016 18:10, Moscow
	April 12, 2016 (Tue)
99.	Physics Informed Machine Learning M. Chertkov April 12, 2016 18:10, Moscow
	March 22, 2016 (Tue)
100.	Finding a majority ball with majority answers M. Vizer March 22, 2016 18:10, Moscow
	March 15, 2016 (Tue)
101.	Decidability of Conjunctive Queries for Description Logics with Counting, Inverses and Nominals S. Rudolph March 15, 2016 18:10, Moscow
	March 1, 2016 (Tue)
102.	Современная лингвистика и компьютерные технологии E. V. Rahilina, B. Orekhov, O. Lyashevskaya March 1, 2016 18:10, Moscow
	February 9, 2016 (Tue)
103.	Алгоритмы на графах во внешней памяти M. A. Babenko February 9, 2016 18:10, Moscow
	December 22, 2015 (Tue)
104.	Блеск и нищета математических методов в прикладных исследованиях A. B. Shapoval December 22, 2015 18:10, Moscow
	December 1, 2015 (Tue)
105.	Простота и сложность задач оптимизации Yu. E. Nesterov December 1, 2015 18:10, Moscow
	November 24, 2015 (Tue)
106.	Что такое квантовая информатика? A. S. Holevo November 24, 2015 18:10, Moscow
	November 17, 2015 (Tue)
107.	k-Anonymization by Freeform Generalization Panagiotis Karras November 17, 2015 18:10, Moscow
	November 10, 2015 (Tue)
108.	Обучение с запросами, формулы Хорна и формальные понятия Sergei Objedkov November 10, 2015 18:10, Moscow
	October 27, 2015 (Tue)
109.	Морфологические методы анализа формы данных Yu. V. Vizilter October 27, 2015 18:10, Moscow
	October 13, 2015 (Tue)
110.	Матрицы и тензоры малого ранга в математике и приложениях E. E. Tyrtyshnikov October 13, 2015 18:10, Moscow
	September 29, 2015 (Tue)
111.	Formal Concept Analysis: A Useful Example of Modern Mathematics Bernhard Ganter September 29, 2015 18:10, Moscow
	September 22, 2015 (Tue)
112.	Extinction probabilities of branching processes with infinitely many types September 22, 2015 16:40, Moscow
	September 15, 2015 (Tue)
113.	Random Graphs A. M. Raigorodskii September 15, 2015 18:10, Moscow
	May 28, 2015 (Thu)
114.	Probabilistic Programming Boris Yangel May 28, 2015 16:40, Moscow
	May 21, 2015 (Thu)
115.	Knowledge-based Verification and Construction of Distributed and Constrained Systems Susanne Graf May 21, 2015 16:40, Moscow
116.	Beyond Worst Case Analysis of Graph Partitioning Algorithms Konstantin Makarychev May 21, 2015 18:30, Moscow
	May 14, 2015 (Thu)
117.	Computational Aspects of Monotone Dualization Kazuhisa Makino May 14, 2015 16:40, Moscow
	April 30, 2015 (Thu)
118.	Min-Plus polynomials and mean payoff games V. V. Podolskii April 30, 2015 16:40, Moscow
	April 22, 2015 (Wed)
119.	An Informatics View of the World Dines Bjorner April 22, 2015 16:40, Moscow
	April 16, 2015 (Thu)
120.	Все, что вы хотели знать про молекулярную биологию, но не удосужились спросить M. S. Gel'fand April 16, 2015 16:40, Moscow
	April 2, 2015 (Thu)
121.	Статистические задачи идентификации сетевых структур V. A. Kalyagin April 2, 2015 16:40, Moscow
	March 19, 2015 (Thu)
122.	Обобщенные паросочетания, или Как заключать браки и распределять абитуриентов S. G. Kisel'gof March 19, 2015 16:40, Moscow
	March 5, 2015 (Thu)
123.	Modelling and analysis of computation processes R. È. Yavorskii March 5, 2015 16:40, Moscow
	February 19, 2015 (Thu)
124.	Gaussian multiplier bootstrap in high dimension with applications to model selection V. G. Spokoiny February 19, 2015 16:40, Moscow
	February 5, 2015 (Thu)
125.	Эпсилон-сложность непрерывных функций и её применения B. S. Darhovsky, A. Piryatinska February 5, 2015 16:40, Moscow
	January 29, 2015 (Thu)
126.	Approximate Nearest Neighbor Search: Beyond Locality-Sensitive Hashing Ilya Razenshteyn January 29, 2015 16:40, Moscow
	January 22, 2015 (Thu)
127.	Математика больших данных: тензоры, нейросети, байесовский вывод D. P. Vetrov January 22, 2015 16:40, Moscow
	December 30, 2014 (Tue)
128.	Probabilistic graphical models: Factor graphs and more Frederico Wadehn December 30, 2014 16:00, Moscow
	December 25, 2014 (Thu)
129.	Resource reasoning in program analysis Max Kanovich December 25, 2014 16:40, Moscow
	December 11, 2014 (Thu)
130.	Как устроен цвет? D. P. Nikolaev December 11, 2014 16:40, Moscow
	December 5, 2014 (Fri)
131.	RaaS and Ginseng: The Resource as a Service Cloud Assaf Schuster December 5, 2014 16:00, Moscow
132.	Energy efficient Cloud Computing Dzmitry Kliazovich December 5, 2014 17:00, Moscow
	November 27, 2014 (Thu)
133.	Process Mining: Data Science in Action Wil van der Aalst November 27, 2014 16:40, Moscow
	November 13, 2014 (Thu)
134.	Применение алгоритмов многорукого бандита к задачам веб-поиска G. G. Gusev November 13, 2014 16:40, Moscow
	October 23, 2014 (Thu)
135.	Решетки замкнутых множеств для наук о данных S. O. Kuznetsov October 23, 2014 16:40, Moscow
	October 9, 2014 (Thu)
136.	On scale invariance, multifractal formalism, and their applications Geoffrey Gerard Decrouez October 9, 2014 16:40, Moscow
	September 18, 2014 (Thu)
137.	True concurrency - from C.A. Petri to Telecom and Systems Biology Stefan Haar September 18, 2014 16:40, Moscow
	September 11, 2014 (Thu)
138.	Algorithmic Information Theory and Randomness of Individual Objects Alexander Shen' September 11, 2014 16:40, Moscow