СНТ ФМІ

🟡 З Днем працівників освіти💐 ✨️Дякуємо вам за професіоналізм, відданість високим академічним стандартам, мудрість та вміння бути справжніми наставниками. За кожну зрозумілу лекцію, за підтримку перших наукових кроків і за те, що навчаєте не боятися складних задач — як у навчанні, так і в житті. ✨️Бажаємо вам невичерпного натхнення, красивих доведень, мотивованих і допитливих студентів, міцного здоров’я, мирного неба та нових досягнень. Нехай праця дарує радість інтелектуальних відкриттів і завжди повертається щирою вдячністю! 💛 Ви частинка серця кожного студента та фундамент усього мехмату ♾️✨

🟡 Всеукраїнська студентська олімпіада з програмування (UCPC) 2026 Запрошуємо тебе стати частиною Всеукраїнської студентської олімпіади з програмування (Ukrainian Collegiate Programming Contest — UCPC)! Це командне відбіркове змагання до студентської Першості світу з програмування ICPC. ⚡️ Ми чекаємо як на сформовані команди, так і на індивідуальних учасників — допоможемо знайти або створити команду, а за потреби проведемо менторську зустріч. ⚡️ Етапи змагань (Розклад 2026):    І етап — обласний (статус ⅛ фіналу Першості світу):    ▫️ 3 жовтня 2026 року    ІІ етап — регіональний (статус ¼ фіналу Першості світу):    ▫️ 24 жовтня 2026 року    ІІІ етап — фінальний (статус ½ фіналу Першості світу / півфінал):    ▫️ 11–13 грудня 2026 року (очно, Київ) ⚡️ Для кого: студенти факультету математики і інформатики ⚡️ Більше інформації — за посиланням ⚡️ Реєстрація — за посиланням 💛 Поспішайте, щоб не втратити шанс проявити свої навички у програмуванні на міжнародному рівні!

Курс "Математичні доведення в Lean 4" Іоргов Микола Зинонійович , заступник завідувача кафедри теоретичної та математичної фізики КАУ, з 14 вересня читатиме курс "Математичні доведення в Lean 4". Lean 4 має розвинуту систему типів, яка дозволяє сформулювати математичні теореми та їх доведення як програми. Тому компілятор, коли перевіряє, що всі типи в програмі узгоджені, він фактично перевіряє коректність математичних доведень. Отже, якщо доведення, написане як програма в Lean 4, компілюється, значить доведення правильне. В останній час, коли ШІ доводить математичні теореми, його змушують записати їх мовою Lean, щоб компілятор Lean зміг перевірити коректніть доведення. Коли: Щопонеділка о 14:30 Де: Zoom https://www.google.com/goto?url=CAESggEB6zswFc9kr4d6mgI3ps4_8Uz1RYJNoar5TDPGl3R6_7Q1xSC07bRNMHTbyrsoWjHw3juEVDxzdgBbsXSj6ea5H4PbdzsaaXS6EDbtSqv3NhhoQZybKq2atWLyI5atu-3Tp6jnfOPqYY2QeoYWm7LI8y5b0c_OBPTY-mVHzbXSjPko

Через 10 хвилин ми починаємо, чекаємо усіх!

🟡 «Твій інтелект — твоя суперсила»: інтерактивний онлайн-знайомство з СНТ Замислювався, хто стоїть за найкрутішими проєктами та івентами? А що, як цього навчального року одним із авторів станеш саме ти? 😉 Запрошуємо на відкриту зустріч із командою СНТ! У нас немає нудних звітів — тільки простір для твоїх амбіцій, підтримка та сильне ком'юніті. ⚡️ На тебе чекає: • Тест-драйв ролі голови СНТ: згенери власну ідею івенту, а ми допоможемо її реалізувати 🤫 • Відкритий мікрофон: запитай про все, що цікавить, у тих, хто вже створює студентський рух • Залаштунки: першим дізнайся, які масштабні проєкти ми готуємо на цей семестр ⚡️ Де і коли зустрічаємося? 📅 3 вересня о 19:00 📍 ZOOM — підключитися до трансляції Зазирни в наш Instagram 💛 Бери ініціативу в свої руки — твоя історія в СНТ починається тут!

​🟡 НАУКОВА КОНФЕРЕНЦІЯ 2026: ЗБІРКУ ОПУБЛІКОВАНО! ​Чудові новини для всіх учасників XX Міжнародної науково-практичної конференції студентів та молодих вчених! ​Матеріали конференції, яка проходила 5 - 6 травня 2026 року, офіційно сформовано у збірку тез доповідей. ​⚡️ Електронна версія вже на сайті! Збірник опубліковано, і ви прямо зараз можете ознайомитися з роботами колег за всіма секціями (від фундаментальної математики до штучного інтелекту) за посиланням ​⚡️ Затверджено до друку! Матеріали пройшли редакційну колегію та офіційно затверджені до друку ​ ​💛 Пишаємося нашою науковою спільнотою та чекаємо на вас наступного року!

🟡 Сьогодні — другий день нашої конференції! Ми розпочинаємо згідно з розкладом. Усі необхідні посилання зібрані нижче: ⚡ Сайт ⚡ Google Календар ⚡ Zoom 💛 До зустрічі  в ефірі! 🟡Today is the second conference day! We are starting according to the schedule. All the necessary links are listed below: ⚡ Website ⚡ Google Calendar ⚡ Zoom 💛See you online!

🟡 Сьогодні — день нашої конференції! Ми розпочинаємо згідно з розкладом. Усі необхідні посилання зібрані нижче: ⚡ Сайт ⚡ Google Календар ⚡ Zoom 💛 До зустрічі  в ефірі! 🟡Today is the conference day! We are starting according to the schedule. All the necessary links are listed below: ⚡ Website ⚡ Google Calendar ⚡ Zoom 💛See you online!

🟡 Наукова спільното, це фінішна пряма! Сьогодні — останній день, коли ви можете подати тези до нашої Конференції. Це ваш фінальний шанс стати частиною масштабної події та поділитися своїми напрацюваннями. ⚡️ Дедлайн: Сьогодні, 20 квітня, о 23:59 💛 Не відкладайте на вечір — завантажуйте роботу вже зараз. Ми чекаємо саме на вас!

🟡 Наукова спільното! Ми нагадуємо, що для подання тез до Наукової Конференції лишилося менше тижня ⚡️Дедлайн 20 квітня 23:59 💛 Встигни вчасно, ми чекаємо на ваші роботи!

Школа з математичної фізики в Україні 17–28 серпня 2026 відбудеться школа, що дозволить слухачам заглибитися в математичний апарат теорії симетрій. Школа зосередиться на просунутих аспектах, а саме: теорія інтегровних систем, суперсиметрія, узагальнені симетрії та топологічні фази речовини. Школа проходитиме в форматі «віддзеркаленого класу» — учасники готуватимуть матеріали з тем до школи із допомогою менторів та проводитимуть лекції під час школи для інших учасників. Термін подання заявок: 15 квітня 2026 Місце проведення: Хата-Майстерня, с. Бабин, Косівcький район Івано-Франківської області Фінанси: Всім учасникам буде забезпечене харчування та проживання за рахунок бюджету школи. Передбачене часткове фінансування проїзду для молодих учасників з України. Запит на компенсацію проїзду можна вказати у заявці на участь. Детальна інформація: https://icmu.ua/events/symmetries-summer-2026

Реєстрація на KyivAcademUs відкрита! Зберігайте у календарі: 6-8 травня ми знову збираємося, щоб обмінюватися науковими ідеями та надихатися дослідженнями молодих вчених! • Приєднуйтесь до онлайн-лекцій провідних українських вчених • Презентуйте своє дослідження в обраній секції • Отримуйте публікацію! Кожна робота у збірнику матиме власний DOI Початок реєстрації слухачів та прийом робіт доповідачів стартує вже сьогодні: Дізнавайтеся більше на сайті конференції. За будь-яких питань звертайтеся на пошту: kau.scientific.conference@gmail.com Слідкуйте за оновленнями у наших соціальних мережах: • Телеграм Студради КАУ • Ватсап Студради КАУ • Фейсбук КАУ До зустрічі на KyivAcademUs2026!

🟡 Наука ближче, ніж здається! Запускаємо сайт нашої конференції ​Студентське наукове товариство представляє сайт головної наукової події цієї весни! Якщо ви займаєтесь дослідженнями в галузях математики та комп’ютерних наук — цей анонс саме для вас. ​Чому варто зайти на сайт вже зараз? ⚡️ Все про структуру конференції ⚡️ Проста форма реєстрації — всього кілька кліків, і ви в списку учасників. ⚡️ Відповіді на всі можливі питання ​💛 Не відкладай на останню ніч! Готуй тези, реєструйся та ставай частиною міжнародної наукової спільноти.

Реєстрація завершиться за півтори години

🟡 БРЕЙН-РИНГ 2026 Дні МехМату — це не лише про інтеграли, а й про азарт! СНТ повертається з легендарною битвою інтелектів. Готовий перевірити свою кмітливість під тиском таймера? ⚡️Формат: Командна гра (1-6 осіб), питання на логіку, обмежений час на роздуми та звання найрозумніших для переможців ⚡️ Коли? 12 березня о 19:00 ⚡️ Де? Discord СНТ & Zoom Нам не важливо, чи ти кодиш на Python, чи пишеш вірші — тут вирішує логіка та швидкість ⚡️ Хутчіш, реєстрація за посиланням! 💛 Приходь, покажи, на що здатна твоя команда! Буде гаряче!

🟡 НАУКОВА КОНФЕРЕНЦІЯ 2026 Математика, IT та наукові пошуки — це твоя стихія? Прагнеш представити власне дослідження або просто хочеш зануритися у світ сучасних технологій? Запрошуємо до участі у XX Міжнародній науково-практичній конференції студентів та молодих вчених «Сучасні проблеми математики та її застосування у природничих науках та інформаційних технологіях». ⚡️ Коли? 5 - 6 травня 2026 року ⚡️ Де? Онлайн (Zoom) ⚡️ Мови конференції: українська, англійська  ⚡️ Дедлайн подачі тез: 20 квітня 2026 року ⚡️ Цьогорічні секції: - Фундаментальна математика  - Прикладна математика  - Інформаційні технології та штучний інтелект - Науково-популярна секція  - Викладання математики та інформатики  - Мала наукова конференція (для здобувачів середньої освіти) Ще вагаєшся чи вже вирішив приєднатися? Усі деталі за посиланнями нижче! ⚡️ Інформаційний лист ⚡️ Форма реєстрації ⚡️ Сайт конференції ⚡️ Google-календар (iCal) ⚡️ Discord 💛 Не втрачай шанс заявити про себе у науковій спільноті!

🟡 Стартував I тур Всеукраїнського конкурсу студентських наукових робіт! Маєш наукові напрацювання або хочеш спробувати себе у ролі дослідника? Факультет математики і інформатики запрошує до участі! ⚡️ Графік проведення: До 15 березня: Підготовчий етап — час написати та подати роботу. 16 – 31 березня: Рецензування робіт комісією. 01 – 15 квітня: Підбиття підсумків та оголошення переможців. ⚡️ Як взяти участь? Надсилай свою роботу на пошту: math@karazin.ua Детальніше дивіться інформацію за посиланням. 💛Це твій шанс заявити про себе в науковій спільноті та отримати досвід, який точно знадобиться у майбутньому!

🟡 Наш подкаст на паузі ​На жаль, подкаст «Про нас та Універ» деякий час не виходитиме через проблеми з електропостачанням ​💛 Стежте за нашими соцмережами — зовсім скоро ми повернемось!

Донабір у студентський актив відкрито!🚀 Хочеш бути в центрі студентського життя, впливати на події факультету та додавати яскраві ідеї в будні? ✨ Тоді тобі точно до нас! ✅Представляй інтереси студентів ✅Організовуй події ✅Відповідай за студентське дозвілля поза парами ✅Знаходь нові знайомства й набувай цінний досвід роботи в команді ✅ Відкривай для себе науку Заповнюй форму та ставай частиною команди!🩵

🟡 Вечір СНТ 2.0 Хочеш дізнатися, чим живе Студентське наукове товариство, і стати частиною нашої команди? Приходь на неформальну зустріч! ⚡️Це шанс познайомитися з командою СНТ, відчути атмосферу, дізнатися наші плани на майбутнє — і запропонувати свої ідеї. ⚡️Про що поговоримо: - що таке СНТ і чим ми займаємось - які івенти та проєкти плануємо - як можна долучитися (навіть якщо ти новачок) - твої ідеї: що хочеш зробити ти? ⚡️Коли? 26 грудня о 19:00 ⚡️Де? На платформі Discord за посиланням 💛 Ми шукаємо нові обличчя та свіжі думки. Давай розвивати науку разом!