Instytut Informatyki UWr, sala 25, 18 września 2026, 12:15

Filip Sieczkowski

Niestandardowe reprezentacje liczb i ich zastosowania w informatyce.

Liczby można zapisywać na zaskakująco wiele sposobów: ze zmienną bazą, z nadmiarowymi cyframi, albo tak, by szybciej dało się je dodawać. Pokażemy, że za prostym pytaniem jak zapisać liczbę? kryje się dużo ciekawych i sprytnych technik.

Filip Sieczkowski pracuje w Instytucie Informatyki UWr. Przez kilkanaście lat pracował naukowo za granicą: w Kopenhadze, gdzie zrobił doktorat, w Aarhus, w Paryżu i w Edynburgu. Do Wrocławia wrócił na stałe jesienią 2025 roku. Zajmuje się tym, jak precyzyjnie opisać, co tak naprawdę robi program komputerowy - i jak matematycznie udowodnić, że robi to poprawnie. Współtworzył Iris, narzędzie służące do takich dowodów, używane dziś przez badaczy na całym świecie. Za udział w jego powstaniu otrzymał w 2023 roku Nagrodę Alonzo Churcha, a w 2025 nagrodę za jedną z najbardziej wpływowych prac konferencji POPL..

Instytut Informatyki UWr, sala 25, 18 września 2026, 13:15

Krystyna Grzesiak

Od losowania do dokładnych wyników

Nie pamiętasz, ile wynosi liczba π, ale masz przy sobie portfel i trochę cierpliwości? Pokażemy, że nawet całkowicie losowe eksperymenty mogą prowadzić do zaskakująco dokładnych wyników. Na prostym przykładzie związanym z liczbą π zobaczymy, jak matematyka potrafi odnaleźć porządek w przypadku oraz dlaczego podobne metody są dziś wykorzystywane w informatyce.

Krystyna Grzesiak jest doktorantką Instytutu Matematycznego Uniwersytetu Wrocławskiego. Zajmuje się rozwijaniem metod uczenia maszynowego do analizy danych proteomicznych i metabolomicznych, ze szczególnym uwzględnieniem problemu brakujących danych oraz metod imputacji.

Instytut Matematyczny UWr, 19 września 2026, 10:00

Finał Maratonu Matematycznego

Konkurs jest otwarty (mogą w nim startować zawodnicy z całej Polski) i bezpłatny.

Zawodnicy startują indywidualnie w następujących kategoriach: Młodzicy - uczniowie klas 3-5 SP, Juniorzy - uczniowie klas 6-8 SP, Licealiści - uczniowie klas 1-4 szkół średnich, Dorośli profesjonaliści - studenci i osoby będące z wykształcenia matematykami, informatykami lub fizykami, Dorośli amatorzy - osoby o wykształceniu innym niż matematyk, informatyk, fizyk. Eliminacje polegają na rozwiązaniu testu kwalifikacyjnego w czasie 45 minut.

Wszelkie informacje i zgłoszenia na stronie Maratonu.