Celem kolokwium jest prezentacja bieżących kierunków badań prowadzonych na Wydziale MIM UW w formie godzinnych wykładów skierowanych do szerokiego grona pracowników naukowych i studentów. Kolokwium odbywa się w wybrane czwartki, średnio raz w miesiącu.
Najbliższe kolokwia: 13 marca, 3 kwietnia, 29 maja
Organizatorzy
- dr hab. Radosław Adamczak, prof. ucz.
- dr hab. Leszek Kołodziejczyk, prof. ucz.
- dr hab. Oskar Skibski
- dr hab. Anna Zatorska-Goldstein, prof. ucz.
Informacje
czwartki, 14:30 , sala: 2180 (sala RW)Lista referatów
-
3 kwietnia 2025 14:30
Maciej Malicki (Instytut Matematyki)
Contemporary applications of the theory of Fraïssé limits. (Współczesne zastosowania teorii granic Fraïssé'go.)
Konstrukcja granicy Fraïssé'go klasy skończonych (lub skończenie generowanych) struktur wywodzi się z teorii modeli. Okazuje się, że wiele kanonicznych obiektów matematycznych ma taką postać, np. liczby wymierne (jako granica skończonych porządków liniowych), czy przeliczalna bezatomowa …
-
13 marca 2025 14:30
K. Kazaniecki, K. Myśliwy, R. Meller, M. Włodarczyk, W. Zuba (University of Warsaw)
Presentation of new faculty members (Prezentacja nowych pracowników)
Serdecznie zapraszamy na kolejne specjalne spotkanie w ramach Kolokwium MIM, podczas którego nowi pracownicy wydziału wygłoszą krótkie, popularne odczyty przedstawiając swoje obszary badawcze. Prelegenci: K. Kazaniecki (analiza funkcjonalna) K. Myśliwy (fizyka matematyczna) R. Meller (rachunek …
-
16 stycznia 2025 14:30
Maciej Malicki (Instytut Matematyki)
Cancelled (Odwołane)
Wykład odwołany z przyczyn losowych.
-
5 grudnia 2024 14:30
Anna Gambin
Algorithmic challenges in mass spectrometry (Algorytmiczne wyzwania w spektrometrii mas)
W tym wystąpieniu przedstawiam serię powiązanych zagadnień związanych z modelowaniem danych spektrometrycznych. Prezentację rozpocznę omówieniem dwóch algorytmów do generowania rozkładów izotopowych (BRAIN i ISOSPEC).Następnie krótko poruszę problem modelowania fragmentacji cząsteczek, a na koniec przedstawię pomysł …
-
14 listopada 2024 14:30
S. Cichomski, T. Dębiec, D. Głodkowski, W. Nadara, B. Poszewiecka, M. Przybyłko (University of Warsaw)
Presentation of new faculty members (Prezentacja nowych pracowników)
Serdecznie zapraszamy na pierwsze specjalne spotkanie w ramach Kolokwium MIM, podczas którego nowi pracownicy wydziału wygłoszą krótkie, popularne odczyty przedstawiając swoje obszary badawcze. Kolejne spotkanie prezentujące nowych pracowników odbędzie się w semestrze letnim. Prelegenci: D. …
-
9 maja 2024 14:30
Bartosz Bieganowski (Instytut Matematyki Stosowanej i Mrchaniki)
Metody wariacyjne w równaniach różniczkowych cząstkowych (Variational methods in partial differential equations)
Poszukiwanie rozwiązań równań różniczkowych jako punktów krytycznych pewnych funkcjonałów jest ważnym zagadnieniem w teorii równań różniczkowych cząstkowych. Metody wariacyjne stanowią potężne narzędzie w analizie i rozwiązywaniu tych równań. W referacie omówione zostaną wybrane metody wariacyjne, …
-
7 marca 2024 14:30
Urszula Foryś (MIMUW)
Matematyczna onkologia: osobiste spojrzenie (Mathematical oncology: my personal perspective)
Onkologia matematyczna to określenie, które zaczęło zyskiwać na popularności wraz z powstawaniem na świecie ośrodków, w których naukowcy różnych specjalności, w tym matematycy pracujący nad modelowaniem matematycznym badanych procesów i terapii, zaczęli kompleksowo zajmować się …
-
18 stycznia 2024 14:30
Anna Zdunik (Instytut Matematyki)
Układy dynamiczne oraz pewne problemy analizy zespolonej i geometrii (Dynamical systems and some problems in complex analysis and geometry)
Holomorficzne układy dynamiczne są przedmiotem intensywnych badań od początku lat 80 ubiegłego wieku. Niesłabnąca popularność tej specyficznej gałęzi teorii układów dynamicznych jest (między innymi) motywowana związkiem z problemami geometrycznej teorii funkcji i geometrycznej teorii miary. …
-
7 grudnia 2023 14:30
Mikołaj Bojańczyk (Instytut Informatyki)
Przestrzenie liniowe orbitowo skończonego wymiaru (Vector spaces of orbit-finite dimension)
Wśród niezliczonych zastosowań przestrzeni liniowych znajdziemy również i teorię automatów. Pomysł jest prosty – normalnie automat ma skończenie wiele stanów, ale za zbiór stanów można też przyjąć przestrzeń liniową skończonego wymiaru. Takie przestrzenie można przeszukiwać …
-
16 listopada 2023 14:30
Stefan Jackowski (Instytut Matematyki)
Klasyfikacja rozmaitości gładkich poprzez szeregi potęgowe (Classification of smooth manifolds via power series)
Opowiem fascynującą historię jak wyniki znane w czysto algebraicznej teorii szeregów potęgowych dwóch zmiennych, zwanych grupami formalnymi, posłużyły Danielowi Quillenowi (medal Fieldsa 1978) do podania zupełnie nowego dowodu twierdzenia René Thoma (medal Fieldsa 1958) o …
-
5 października 2023 14:30
Błażej Miasojedow (Instytut Matematyki Stosowanej i Mechaniki)
Metody obliczeniowe w statystyce (Statistical Computational Methods)
Opowiem o podstawowych problemach obliczeniowych występujących w statystyce. Skupię się przede wszystkim na zadaniach pochodzących z podejścia bayesowskiego. Pokażę wyniki dotyczące algorytmów Monte Carlo dla aproksymacji rozkładu a posteriori metod optymalizacji korzystających ze stochastycznego gradientu. …
-
11 maja 2023 14:30
Marek Cygan (Instytut Informatyki)
Jak uczyć sieci neuronowe w warunkach ograniczonego nadzoru? (How to train neural networks with limited supervision?)
Uczenie dużych sieci neuronowych z natury wymaga ogromnej ilości danych, co generuje koszty związane z etykietowaniem danych przez ludzi. Przedstawimy alternatywne metody uczenia sieci w warunkach ograniczonego nadzoru, gdzie ilość etykietowanych danych jest ograniczona. Ponadto …
-
20 kwietnia 2023 14:30
Witold Marciszewski (Instytut Matematyki)
Przestrzenie Banacha i teoria mnogości (Banach spaces and set theory)
Opowiem o pewnych interakcjach pomiędzy teorią przestrzeni Banacha, topologią i teorią mnogości. Przedstawię przykłady naturalnych pytań dotyczących przestrzeni Banacha, których nie można rozstrzygnąć na gruncie standardowej teorii mnogości, tzn. mogących mieć pozytywną lub negatywną odpowiedź …
-
9 marca 2023 14:30
Iwona Chlebicka (Instytut Matematyki Stosowanej i Mechaniki)
Przybliżanie w rachunku wariacyjnym (Approximation in the calculus of variations)
Typowe techniki pokazywania regularności przekształcenia minimalizującego funkcjonał wariacyjny opierają się na konstrukcji ciągu ładnych rozwiązań zagadnień pomocniczych, który jest wystarczająco dobrze zbieżny. Jeśli nie kontrolujemy wzrostu funkcjonału, z istnieniem takiego ciągu mogą być trudności. Aby …
-
12 stycznia 2023 14:30
Piotr Sankowski (Instytut Informatyki)
Czy algorytmika może przydać się w uczeniu maszynowym? Zastosowanie wartości Banzhafa do wyjaśniania modeli drzewowych (Can algorithmics be useful in machine learning? Application of Banzhaf values to explain tree models)
Jednym z kluczowych zagadnień w sztucznej inteligencji jest uzupełnienie jej w metody wyjaśnialne, tzn. które nie tylko pokazują dobre decyzje, ale także podają powody ich podjęcia. W trakcie mojego wykładu wprowadzę to zagadnienie posiłkując się …