Вітаємо, СМС-громадо!

Запрошуємо на третій відкритий семінар лабораторії теорії графів і мережевого аналізу KSE.

Тема: "Computer-assisted graph theory: searching for regular K3-irregular graphs".

Чи можуть комп‘ютери допомагати розв‘язувати відкриті задачі з чистої математики?

Під час доповіді ви дізнаєтесь, як еволюційні алгоритми можна застосувати до однієї з цікавих задач теорії графів — проблеми існування регулярних K3-іррегулярних графів.

Нам вдалося довести неіснування таких графів для малих регулярностей, побудувати явні приклади для більших значень за допомогою еволюційних алгоритмів та майже повністю розв’язати проблему, поставлену самим Полом Ердешом та співавторами ще у 1988 році.

Ця робота показує, як сучасні алгоритмічні та AI-методи можуть підтримувати людську інтуїцію в математиці — допомагаючи знаходити контрприклади та відкривати нові закономірності в структурі графів.

Спікер:
Артем Гак — дослідник лабораторії теорії графів і мережевого аналізу в KSE, аспірант і асистент у НаУКМА.

🗓Дата та час: Чт, 13 листопада о 18:00
📍Місце: KSE (вул. М. Шпака 3), ауд 4.07 & Zoom
🔗Реєстрація: за посиланням

Презентація СМС-2 (Еван Грогуль, 7.11.25).

Вітаємо, СМС-спільното!

Запрошуємо на третє засідання СМС у другому сезоні 2025 року.

Тема: "Zero-Knowledge Proofs: A Practical Introduction".

Zero-Knowledge (ZK) is a novel active subfield of cryptography that has introduced numerous solutions to privacy and scalability. Use cases of ZK include anonymous national passport verification, fighting disinformation by verifying photo authenticity, ensuring the integrity of generative AI, and scaling public blockchain infrastructure, among others. While useful, the technology is challenging to use and even more difficult to understand, as it requires a deep understanding of mathematics.
In this lecture, we give a technical yet practical overview of zero-knowledge protocols.

Namely, we:
🔹 Introduce the basic notions of ZK and define the security characteristics of ZK systems.
🔹Demonstrate them using the basic example of an interactive proof of knowledge of the modular square root.
🔹Provide a brief overview of modern ZK and ZK-SNARK (succinct non-interactive argument of knowledge) systems.
🔹Show domain-specific languages used for encoding ZK relations and the performance of real-world ZK systems.

Спікер:
Dmytro Zakharov — R&D Cryptography Engineer at Distributed Lab and MSc student in Mathematics at KSE.

🗓Дата та час: Пт, 21 листопада о 16:30
📍Місце: KSE-Феофанія (вул. Євгенії Мірошниченко 6/11), classroom 4 & Zoom
🔗Реєстрація: за посиланням

Відеозапис СМС-2 у новому сезоні (Еван Грогуль): https://www.youtube.com/watch?v=cTZiAYH59KU

Доброго всім дня, нагадуємо про сьогоднішній третій відкритий семінар лабораторії теорії графів і мережевого аналізу в KSE.

Початок о 18:00. Доєднатися можна вживу в ауд 4.07 (KSE, вул. М. Шпака 3) та онлайн у zoom. До зустрічі!