Colloquium of the Faculty of Computer Science

SEMINARS

Colloquium of the Faculty of Computer Science
Moscow

E-mail:
Website:	https://cs.hse.ru/colloquium

RSS: Forthcoming seminars

Organizations
Faculty of Computer Science, National Research University "Higher School of Economics"

Colloquium of the Faculty of Computer Science, Moscow

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