BEGIN:VCALENDAR
METHOD:PUBLISH
PRODID:Microsoft Exchange Server 2010
VERSION:2.0
X-WR-CALNAME:OSSM 2026
BEGIN:VTIMEZONE
TZID:Central European Standard Time
BEGIN:STANDARD
DTSTART:16010101T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RRULE:FREQ=YEARLY;INTERVAL=1;BYDAY=-1SU;BYMONTH=10
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:16010101T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RRULE:FREQ=YEARLY;INTERVAL=1;BYDAY=-1SU;BYMONTH=3
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
DESCRIPTION:Podczas rejestracji uczestnicy otrzymują pakiety konferencyjne
 . Można jej dokonać w dowolnym momencie konferencji — w tym celu nale
 ży się udać do sali 1008.\n
UID:040000008200E00074C5B7101A82E00800000000C6AA541D56C3DC01000000000000000
 0100000000CEA3239E73F244496182D92C0BD92FB
SUMMARY:Rejestracja uczestników
DTSTART;TZID=Central European Standard Time:20260410T120000
DTEND;TZID=Central European Standard Time:20260410T124500
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1008
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:\n
UID:040000008200E00074C5B7101A82E00800000000A6FFB73556C3DC01000000000000000
 010000000B28C09C5AD28DD4A891D1639644CA9DC
SUMMARY:Otwarcie konferencji
DTSTART;TZID=Central European Standard Time:20260410T124500
DTEND;TZID=Central European Standard Time:20260410T130000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1093
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Prowadzący: dr hab. Daniel Wilczak\nStreszczenie: Komputer to 
 urządzenie\, które potrafi gromadzić i przetwarzać dane. Dane te mają
  swoją skończoną reprezentację w pamięci komputera. Mogą to być na 
 przykład liczby\, obrazy\, ale również formuły. Komputery w swojej nat
 urze są skończone. Pomimo to okazały się cennym narzędziem w analizie
  układów dynamicznych\, również w przypadkach\, gdy przestrzeń fazowa
  jest nieskończonego wymiaru. W trakcie wykładu postaram się przybliży
 ć filozofię komputerowo wspieranego dowodu w dynamice oraz zilustrować 
 ją na kilku elementarnych przykładach.\n\n
UID:040000008200E00074C5B7101A82E008000000008954665B56C3DC01000000000000000
 01000000008F1BC3599D4DE45A82888BAD309FB82
SUMMARY:Wykład otwierający — O komputerowo wspieranych dowodach twierdz
 eń w dynamice
DTSTART;TZID=Central European Standard Time:20260410T130000
DTEND;TZID=Central European Standard Time:20260410T140000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Wiktor Smolak\nAfiliacja: Uniwersytet Rzeszow
 ski\nTytuł referatu: Elegancja w ogólności - Problem Waringa\nAbstrakt:
  Już w starożytności znane były trójki pitagorejskie\, czyli liczby n
 aturalne a\, b i c spełniające równanie a2+b2=c2.\n\nZamieńmy wyrażen
 ie c2 na dowolną liczbę n∈N zaś a\, b∈Z. Wówczas otrzymamy trójki
  liczb n\, a\, b spełniające równanie n=a2+b2.\n\nJednakże nie dla ka
 żdej liczby n takie liczby a\, b istnieją. Przykładowo taki rozkład ni
 e istnieje dla n=6. Jeżeli dopuścimy rozkład liczby n na sumę trzech k
 wadratów liczb całkowitych\, to otrzymamy taki rozkład dla n=6 lecz ju
 ż n=7 takiego rozkładu nie ma. Sytuację ratuje dopuszczenie czwartego k
 wadratu. Wówczas nie możemy już znaleźć liczby naturalnej nieposiadaj
 ącej takiego rozkładu\, co formalnie udowodnił J.L. Lagrange w 1770 rok
 u. Twierdzenie Lagrange'a o sumie czterech kwadratów było odpowiedzią n
 a szczególny przypadek postawionego w tym samym roku przez E. Waringa twi
 erdzenia\, nazwanego później problemem Waringa mówiącego\, że dla ka
 żdej liczby naturalnej k istnieje taka liczba naturalna s\, że każde n 
 można zapisać za pomocą sumy s k-tych potęg liczb całkowitych. W przy
 padku twierdzenia udowodnionego przez Lagrange'a k=2 a s=4. W pełnej ogó
 lności problem Waringa udowodnił dopiero D. Hilbert w 1909 roku. Po tym 
 odkryciu pojawił się kolejny problem  - wyznaczenie minimalnego s o szuk
 anej własności\, które oznaczamy g(k). Okazuje się\, że ten problem j
 est wciaż otwarty. Celem tego referatu jest udowodnienie problemu Waringa
  w pełnej ogólności za pomocą zasady indukcji matematycznej. Skorzytam
 y z aparatury nieco efektywniejszej niż Lagrange i Hilbert sprowadzając 
 problem do twierdzenia prostszego. Wykażemy\, że każdą liczbę natural
 ną n da się przedstawić w postaci n = Σi=1i=M cinik\, gdzie M∈N\, c1
 \, ...\, cM∈Q+\, zaś n1\, ...\, bM∈N0\, a następnie pokażemy\, że 
 problem Waringa jest wnioskiem z tego twierdzenia. Oprócz typowych narzę
 dzi teorii liczb wykorzystamy m.in. pojęcia geometryczne\, kwaterniony or
 az pojęcie środka masy. Jako krok bazowy udowodnimy twierdzenie Lagrange
 'a o sumie czterech kwadratów. Następnie oszacujemy g(k) i zastanowimy s
 ię nad jej wartością dokładną.\n\n
UID:040000008200E00074C5B7101A82E00800000000B60D9A7F58C3DC01000000000000000
 010000000EDCE5CB0654461448D722CD56FD80709
SUMMARY:Elegancja w ogólności - Problem Waringa
DTSTART;TZID=Central European Standard Time:20260410T140000
DTEND;TZID=Central European Standard Time:20260410T150000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1094
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Natalia Wróżek\nAfiliacja: Uniwersytet Jagi
 elloński\nTytuł referatu: Self-Affine Sets and Falconer’s Dimension Th
 eorem\nAbstrakt: We study self-affine attractors generated by finite itera
 ted function systems of affine contractions fi(x)=Tix+bi on Rn. The anisot
 ropic geometry is quantified by Falconer's singular value function ϕs(T) 
 and the associated subadditive pressure P(s)=limk→inf 1/k log(Σw∈I_k 
 ϕs(Tw)). We define the affinity dimension d by the pressure threshold and
  prove the general upper bound dimHF ≤ d for every choice of translation
  vectors\, using a scale-adapted covering estimate for ellipsoids and expo
 nential decay when P(s)<0. We then state Falconer's theorem (and Solomyak'
 s improvement)\, which asserts that for fixed linear parts satisfying a no
 rm bound\, the equality dimHF = dimBF = min{d\,n} holds for Lebesgue-a.e.\
 \ choice of translation parameters. The Bedford--McMullen carpet is discus
 sed as a concrete structured example.\n\n
UID:040000008200E00074C5B7101A82E00800000000E57007C357C3DC01000000000000000
 01000000001455C5A3D5552419F9029B11C53A03F
SUMMARY:Self-Affine Sets and Falconer's Dimension Theorem
DTSTART;TZID=Central European Standard Time:20260410T140000
DTEND;TZID=Central European Standard Time:20260410T150000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1093
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:\n
UID:040000008200E00074C5B7101A82E008000000007D3393785AC3DC01000000000000000
 010000000776D99DB8F07F64692BF440C571FA4DE
SUMMARY:Przerwa obiadowa
DTSTART;TZID=Central European Standard Time:20260410T150000
DTEND;TZID=Central European Standard Time:20260410T160000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 0083
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Anna Khalina\nAfiliacja: Uniwersytet Jagiello
 ński\nTytuł referatu: Przestrzeń Forta\nAbstrakt: Przestrzeń topologic
 zną Forta definiujemy jako nieskończony zbiór X na którym wyróżniamy
  punkt p\, i wprowadzamy topologię τ taką\, że zbiorami otwartymi są 
 zbiory\, których dopełnienia są skończone lub zawierają p. W trakcie 
 referatu opowiemy o własnościach tej przestrzeni czym się różnią prz
 ypadki kiedy X jest przeliczalny i kiedy X jest nieprzeliczalny. Pokażemy
  przykład przestrzeni Forta która spełnia piąty lecz nie szósty aksjo
 mat oddzielania. Także rozważymy przestrzeni w których zamiast skończo
 ności dopełnień wymagamy ich przeliczalności(Fortissimo) lub wyróżni
 amy dwa punkty zamiast jednego (Zmodyfikowana Forta)\n\n
UID:040000008200E00074C5B7101A82E00800000000E4AC2F6C5BC3DC01000000000000000
 010000000C69E43B7CF959841BB84BC32BB7B80BC
SUMMARY:Przestrzeń Forta
DTSTART;TZID=Central European Standard Time:20260410T160000
DTEND;TZID=Central European Standard Time:20260410T163000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1094
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Andrzej Kwaśniewski\nAfiliacja: Uniwersytet 
 Jagielloński\nTytuł referatu: Kwantowa przewaga w grze CHSH\nAbstrakt: W
 yobraźmy sobie dwóch graczy Alicję i Bartosza biorących udział w grze
  z sędzią. Po rozpoczęciu rozgrywki nie mogą się komunikować\, jedna
 k mogą wcześniej ustalić sobie wspólną strategię. Sędzia przekazuje
  im losowe bity xa\, xb∈{0\,1}. Ich celem jest podanie sędzi takich bit
 ów ya\, yb aby spełniona była zależność xa ⋅ xb = ya + yb mod 2.\n
 \nNiezależnie od przyjętej strategii deterministycznej prawdopodobieńst
 wo wygranej nie może przekroczyć 3/4. Jest to forma nierówności CHSH\,
  która służy do udowodnienia twierdzenia Bella. Okazuje się jednak\, 
 że jeśli Alicja i Bartosz dysponują parą kwantowo splątanych stanów 
 to przy odpowiedniej strategii mogą zwiększyć prawdopodobieństwo wygra
 nej do około 0\,85.\n\nTa pozornie prosta gra dowodzi nam\, że mechanika
  kwantowa wyklucza lokalne teorię oparte na ukrytych zmiennych. Pokażemy
  matematyczne podstawy tej kwantowej przewagi\, pokażemy dowód ogranicze
 nia klasycznego i kwantowego oraz zastanowimy się\, co wyniki mówią nam
  o fundamentalnej strukturze rzeczywistości.\n\n
UID:040000008200E00074C5B7101A82E0080000000057B211025BC3DC01000000000000000
 0100000004EF55F6DF91EDE4487D39317FD910147
SUMMARY:Kwantowa przewaga w grze CHSH
DTSTART;TZID=Central European Standard Time:20260410T160000
DTEND;TZID=Central European Standard Time:20260410T163000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1093
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Krzysztof Caban\nAfiliacja: Uniwersytet Gdań
 ski\nTytuł referatu: Jak szybki jest chaos?\nAbstrakt: Teoria iterowanych
  układów odwzorowań\, zapoczątkowana przez Hutchinsona w latach 80\, j
 est jednym ze sposobów na opis wielu klasycznych fraktali (np. zbioru Can
 tora\, krzywej Kocha). Fraktale\, które można uzyskać w obrębie tej te
 orii nazywane są atraktorami. Jednym z podstawowych algorytmów\, które 
 służą do generowania atraktorów jest algorytm gra w chaos. W trakcie r
 eferatu przypomnimy podstawy teorii iterowanych układów odwzorowań i za
 poznamy się z grą w chaos. Najważniejszą część referatu będzie sta
 nowiła analiza tempa zbieżności tego algorytmu.\n
UID:040000008200E00074C5B7101A82E0080000000075FA2EC25BC3DC01000000000000000
 010000000210CC86BEFC90D45B8C6AD88B7082725
SUMMARY:Jak szybki jest chaos?
DTSTART;TZID=Central European Standard Time:20260410T163000
DTEND;TZID=Central European Standard Time:20260410T173000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1094
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Krzysztof Gołębiowski\nAfiliacja: Uniwersyt
 et Jagielloński\nTytuł referatu: Grupy homotopii sumy jednopunktowej sfe
 r\nAbstrakt: Każdy\, kto miał do czynienia z topologią algebraiczną\, 
 niemalże na pewno słyszał\, iż (w przeciwieństwie do grup homologii) 
 grupy homotopii sfer są zupełnie nieprzewidywalne i do dziś nie znamy w
 szystkich\; tym bardziej liczenie grup homotopii ogólnych przestrzeni top
 ologicznych jest syzyfową pracą. W roku 1954 J.P. Hilton wyraził grupy 
 homotopii (skończonej) sumy jednopunktowej (co najmniej dwuwymiarowych) s
 fer za pomocą sum prostych grup homotopii sfer. Podczas referatu zapoznam
 y się z wynikiem Hiltona oraz pojęciami\, które są potrzebne do jego s
 formułowania.\n\n
UID:040000008200E00074C5B7101A82E00800000000D041E8AA5BC3DC01000000000000000
 01000000067E0C38B0CD4F34ABE6AB2EB917FECF6
SUMMARY:Grupy homotopii sumy jednopunktowej sfer
DTSTART;TZID=Central European Standard Time:20260410T163000
DTEND;TZID=Central European Standard Time:20260410T173000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1093
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:\n
UID:040000008200E00074C5B7101A82E008000000008662CBDE5BC3DC01000000000000000
 01000000032EBAD32B5F8BB44B12D5C8EC5971AB1
SUMMARY:Przerwa kawowa
DTSTART;TZID=Central European Standard Time:20260410T173000
DTEND;TZID=Central European Standard Time:20260410T180000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1009
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Michał Zapała\nAfiliacja: Akademia Pedagogi
 ki Specjalnej im. Marii Grzegorzewskiej w Warszawie\nTytuł referatu: Logi
 ki wielowartościowe i prawie-ciała zbiorów jako ich modele\nAbstrakt: C
 elem referatu jest przybliżenie słuchaczom historii i zastosowań popula
 rnych logik wielowartościowych – szczególnie trójwartościowej Łukas
 iewicza i czterowartościowej Belnapa. Przedstawiony zostanie problem usta
 lenia nieklasycznej wartości operacji na zdaniach. Jako próba jego rozwi
 ązania zostanie zdefiniowana kategoria nieznacznie szersza od klasycznych
  ciał zbiorów\, pozwalająca na modelowanie logik trzy-\, cztero-\, a na
 wet pięcio- lub sześciowartościowych\; podane zostaną matematycznie u
 żyteczne przykłady tych ostatnich. Główna część referatu jest polsk
 ojęzyczną wersją wystąpienia „Near-fields of sets and their utility 
 as models of multi-valued logics” wygłoszonego na warsztacie „Logic i
 n Visegrad Countries”\; nowym wynikiem będzie reprezentacja „prawie-c
 iał zbiorów” jako rodzin filtrów.\n
UID:040000008200E00074C5B7101A82E00800000000ADF215325CC3DC01000000000000000
 010000000738271B1A734F04782DFBCC0BFA8C472
SUMMARY:Logiki wielowartościowe i prawie-ciała zbiorów jako ich modele
DTSTART;TZID=Central European Standard Time:20260410T180000
DTEND;TZID=Central European Standard Time:20260410T190000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1094
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Bartosz Głowacki\nAfiliacja: Uniwersytet Jag
 ielloński\nTytuł referatu: Od metody GPY do twierdzenia o ograniczonych 
 lukach między kolejnymi liczbami pierwszymi\nAbstrakt: Twierdzenie o licz
 bach pierwszych implikuje\, że średnia luka między kolejnymi liczbami p
 ierwszymi pn<pn+1 jest rzędu log pn. Przez długi czas nie było jednak w
 iadomo\, czy istnieje nieskończenie wiele par liczb pierwszych oddalonych
  od siebie o pewną stałą. Przełom nastąpił w 2005 roku kiedy D. Gold
 ston\, J. Pintz and C. Yıldırım opracowali nową metodą sitową (znan
 ą dziś jako metoda GPY) i wykazali\, że znormalizowana luka (pn+1 -pn)/
 logpn  może być dowolnie mała. W referacie przedstawię główne idee m
 etody GPY z punktu widzenia teorii sit\, oraz wyjaśnię\, w jaki sposób 
 została ona rozwinięta przez Maynarda\, co doprowadziło do dowodu istni
 enia nieskończenie wielu par liczb pierwszych o ograniczonej luce bazują
 cego na tej metodzie.\n\n
UID:040000008200E00074C5B7101A82E00800000000402D2C205CC3DC01000000000000000
 0100000008F1FC886397BC749B937B16C173FBA05
SUMMARY:Od metody GPY do twierdzenia o ograniczonych lukach między kolejny
 mi liczbami pierwszymi
DTSTART;TZID=Central European Standard Time:20260410T180000
DTEND;TZID=Central European Standard Time:20260410T190000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1093
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:\n
UID:040000008200E00074C5B7101A82E008000000008C564E4B5CC3DC01000000000000000
 010000000264DD224C754824BA2B79E12074EB794
SUMMARY:Integracja
DTSTART;TZID=Central European Standard Time:20260410T190000
DTEND;TZID=Central European Standard Time:20260410T220000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1009
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:\n
UID:040000008200E00074C5B7101A82E00800000000EC47CD7864C3DC01000000000000000
 010000000C4656436562DA4478948ADA2226A107B
SUMMARY:Śniadanie
DTSTART;TZID=Central European Standard Time:20260411T080000
DTEND;TZID=Central European Standard Time:20260411T083000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1009
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Radosław Zając\nAfiliacja: Uniwersytet Jagi
 elloński\nTytuł referatu: Archmiedesowi na złość\, czyli opowieść o
  teorii ciał niearchmiedesowych.\nAbstrakt: Podczas referatu zagłębimy 
 się w tajemnicze rejony ciał niearchmiedesowych\, których modelowym prz
 ykładem jest ciało liczb p-adycznych Qp. W naszych rozważaniach pójdzi
 emy dalej\, wyprowadzimy tą teorię od podstaw i w miarę możliwości po
 przemy ją przykładami\, w celu lepszego jej zrozumienia. Zakończymy nas
 ze spotkanie wprowadzeniem algebr Tate'a i kilkoma uwagami na ich temat.\n
 \n
UID:040000008200E00074C5B7101A82E008000000007734E67465C3DC01000000000000000
 010000000E5C1F5CA3517304881DC533880AA12CE
SUMMARY:Archimedesowi na złość\, czyli opowieść o teorii ciał niearch
 imedesowych
DTSTART;TZID=Central European Standard Time:20260411T083000
DTEND;TZID=Central European Standard Time:20260411T090000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1094
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Tomasz Grewenda\nAfiliacja: Uniwersytet Jagie
 lloński\nTytuł referatu: Non-commutative geometry: from spectra of opera
 tors to the Standard Model of Particle Physics.\nAbstrakt: I introduce the
  Alain Connes' approach to manifolds via the algebra of continuous functio
 ns and the spectra of pseudodifferential operators. As its foundational pr
 inciple\, one can reconstruct the geometry and topology of a space using t
 he spectral triple (A\, H\, D) together with the Gelfand-Naimark theorem. 
 This allows a rigorous analysis of quantum spaces by dropping the notion o
 f a classical "point" and introducing a non-commutative C*-algebra A repre
 sented on a Hilbert space H (the spinor bundle\, by default) accompanied b
 y a distinguished Dirac operator D. Furthermore\, I present applications o
 f the Connes' spectral approach in physics as a paradigm governing the Sta
 ndard Model of Particle Physics.\n\n
UID:040000008200E00074C5B7101A82E008000000000886C63465C3DC01000000000000000
 010000000C3D9A270E0BB384891D70FBEEB16C456
SUMMARY:Non-commutative geometry: from spectra of operators to the Standard
  Model of Particle Physics
DTSTART;TZID=Central European Standard Time:20260411T083000
DTEND;TZID=Central European Standard Time:20260411T090000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1093
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Jakub Sokołowski\nAfiliacja: Politechnika Wr
 ocławska\nTytuł referatu: Twierdzenie Monsky'ego\nAbstrakt: Twierdzenie 
 Monsky'ego mówi\, że kwadratu nie da się podzielić na nieparzystą lic
 zbę trójkątów o równych polach. Udowodnił je Paul Monsky w roku 1970
 . Mimo bardzo prostego sformułowania twierdzenie to ma zaskakująco cieka
 wy dowód. Korzysta się w nim z takich narzędzi jak normy  p-adyczne ora
 z lemat Spernera. W moim referacie przybliżę te pojęcia i opowiem o dow
 odzie twierdzenia Monsky'ego.\n\n
UID:040000008200E00074C5B7101A82E008000000008597B6AB65C3DC01000000000000000
 0100000001AD341A3FDFAD244AF07692467003F14
SUMMARY:Twierdzenie Monsky'ego
DTSTART;TZID=Central European Standard Time:20260411T090000
DTEND;TZID=Central European Standard Time:20260411T093000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1094
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Jan Pulkowski\nAfiliacja: Uniwersytet Jagiell
 oński\nTytuł referatu: Jak zaprojektować metro - matematyczne modele tr
 ansportu publicznego i ich optymalizacja\nAbstrakt: Zastanawiało was kied
 yś jak powinno wyglądać szumnie zapowiadane krakowskie metro i jak zdec
 ydowano którędy je poprowadzić? Okazuje się\, że odpowiedzi da się c
 ałkiem precyzyjnie wyznaczyć. W funkcjonowaniu i planowaniu komunikacji 
 miejskiej ścierają się dwie\, sprzeczne siły. Podróżni mają swoje p
 otrzeby - chcą dojechać stosunkowo blisko celu\, w sensownym czasie\, a 
 operatorzy - techniczne i budżetowe ograniczenia. Posiadając dane o zapo
 trzebowaniu na kursy między konkretnymi punktami\, możliwa jest optymali
 zacja linii środka transportu\, w sposób który maksymalizuje wygodę pa
 sażera\, jednocześnie biorąc pod uwagę możliwości przewoźnika. W re
 feracie omówię modele programowania matematycznego uwzględniające oba 
 te aspekty doboru linii transportu\, możliwe do zoptymalizowania za pomoc
 ą metod programowania całkowitoliczbowego. Skupię się na problemie wyb
 oru optymalnego zbioru linii przy ustalonej z góry puli i kosztach\, w sp
 osób który maksymalizuje komfort pasażerów\, rozumiany przez czas ich 
 przejazdu\, licząc przesiadki. Przybliżę ideę programowania matematycz
 nego i jej zastosowania - dwie propozycje rozwiązania powyższego problem
 u obecne w literaturze: proponowane przez Anitę Schoebel i Susanne Scholl
  ("Line Planning with Minimal Traveling Time") zapewnienie środków trans
 portu wszystkim pasażerom oraz model Karla Nachtigalla i Karla Jeroscha (
 "Simultaneous Network Line Planning and Traffic Assignment")\, w którym p
 asażer pojedzie komunikacją zbiorową tylko jeżeli jest dostatecznie sz
 ybka.\n
UID:040000008200E00074C5B7101A82E0080000000022A5068165C3DC01000000000000000
 0100000004A038975A9B2364CA6291921FFD78E3B
SUMMARY:Jak zaprojektować metro - matematyczne modele transportu publiczne
 go i ich optymalizacja
DTSTART;TZID=Central European Standard Time:20260411T090000
DTEND;TZID=Central European Standard Time:20260411T093000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1093
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Ksawery Adamczyk\nAfiliacja: Uniwersytet Wars
 zawski\nTytuł referatu: Krótki wstęp do geometrii dużej skali\nAbstrak
 t: Celem tej pracy jest zapoznanie słuchaczy z podstawowymi pojęciami wy
 korzystywanymi w geometrii dużej skali. Postaram się przedstawić geomet
 ryczne spojrzenie na teorię grup\, wprowadzając na owych grupach struktu
 rę przestrzeni metrycznych oraz konstrukcję grafów Cayleya. Na początk
 u przypomnę przydatne pojęcia z algebry\, w dalszej części referatu po
 każę również definicje\, jak i przykłady quasi-izometrii czy zgrubnyc
 h równoważności. Poprzez przedstawienie m.in. naturalnych intuicji i id
 ei dowodów\, osoby słuchające zachęcane są do analizy/głębszego zas
 tanowienia się nad własnościami D-sieci i przestrzeni dyskretnych.\n
UID:040000008200E00074C5B7101A82E00800000000B861B3E765C3DC01000000000000000
 0100000009A140E4FED8E7B46AEDD56A5EFBE22D3
SUMMARY:Krótki wstęp do geometrii dużej skali
DTSTART;TZID=Central European Standard Time:20260411T093000
DTEND;TZID=Central European Standard Time:20260411T100000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1094
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Monika Brattig\nAfiliacja: Uniwersytet Wrocł
 awski\nTytuł referatu: Jak zwinąć drzewo w mapę?\nAbstrakt: Zrozumieni
 e asymptotycznych właściwości dużych losowych grafów osadzonych na po
 wierzchniach to jedno z fascynujących wyzwań współczesnej teorii prawd
 opodobieństwa i kombinatoryki. W referacie opowiemy o badaniu granic skal
 owania losowych kwadrangulacji\, czyli map planarnych\, w których każda 
 ściana ograniczona jest dokładnie czterema krawędziami. Głównym narz
 ędziem analitycznym\, które pozwala na pracowanie na tych skomplikowanyc
 h strukturach\, jest bijekcja Cori-Vauquelina-Schaeffera (CVS). Umożliwia
  ona wzajemnie jednoznaczne kodowanie kwadrangulacji za pomocą tak zwanyc
 h drzew z etykietami. Drzewo z etykietami to nic innego jak płaskie drzew
 o ukorzenione\, w którym każdemu wierzchołkowi przypisano liczbę całk
 owitą w taki sposób\, że korzeń ma zawsze wartość 0\, a wzdłuż ka
 żdej krawędzi etykieta może zmienić się o co najwyżej 1 w wartości 
 bezwzględnej. To z pozoru proste kodowanie ma potężne konsekwencje: ety
 kiety na drzewie w sposób ścisły determinują odległości w odpowiadaj
 ącej mu mapie od pewnego wyróżnionego wierzchołka. Dzięki temu\, prze
 nosząc problem z grafów na łatwiejsze do analizy drzewa\, możemy bada
 ć ich właściwości metryczne. Podczas referatu pokażemy\, że ciąg lo
 sowych kwadrangulacji o n ścianach\, po odpowiednim przeskalowaniu metryk
 i przez czynnik n-1/4\, posiada granicę w sensie odległości Gromova-Hau
 sdorffa. Ta losowa ciągła przestrzeń metryczna nosi nazwę Mapy Browna.
  Na końcu omówimy jej niezwykłe własności geometryczne i topologiczne
 . Mimo że przestrzeń ta powstaje z "posklejanego" drzewa\, udowodniono\,
  że prawie na pewno ma ona wymiar Hausdorffa równy 4 oraz jest homeomorf
 iczna ze sferą dwuwymiarową S2.\n\n
UID:040000008200E00074C5B7101A82E00800000000DCE524DC65C3DC01000000000000000
 010000000DD7D63F1A6F2DF4E95B3F7C9F135FCFC
SUMMARY:Jak zwinąć drzewo w mapę?
DTSTART;TZID=Central European Standard Time:20260411T093000
DTEND;TZID=Central European Standard Time:20260411T100000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1093
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:\n
UID:040000008200E00074C5B7101A82E008000000003F3518F565C3DC01000000000000000
 01000000023B3CD542D1D9043855E156AE5699FBB
SUMMARY:Przerwa kawowa
DTSTART;TZID=Central European Standard Time:20260411T100000
DTEND;TZID=Central European Standard Time:20260411T103000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1009
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Emilia Porczyńska\nAfiliacja: Politechnika W
 rocławska\nTytuł referatu: Próbkowanie Gibbsa w praktyce: od teorii ła
 ńcuchów Markowa do zastosowań bayesowskich\nAbstrakt: W referacie omów
 iona zostanie metoda próbkowania Gibbsa jako szczególny przypadek metod 
 Monte Carlo opartych na łańcuchach Markowa (MCMC). W pierwszej części 
 przedstawione zostaną podstawowe pojęcia teorii łańcuchów Markowa. Na
 stępnie zaprezentowana zostanie konstrukcja algorytmu Gibbsa oraz intuicj
 a stojąca za jego zbieżnością do rozkładu docelowego. W drugiej czę
 ści referatu omówione zostanie zastosowanie metody do symulacji z wielow
 ymiarowego rozkładu normalnego. Na podstawie przeprowadzonych symulacji p
 rzedstawiony zostanie wpływ korelacji między zmiennymi na tempo mieszani
 a łańcucha oraz praktyczne aspekty implementacji algorytmu\, takie jak z
 jawisko burn-in i autokorelacja próbek.\n\n
UID:040000008200E00074C5B7101A82E0080000000041D0718C66C3DC01000000000000000
 01000000065689F6D09A6AA40A10E14110CAAA54B
SUMMARY:Próbkowanie Gibbsa w praktyce: od teorii łańcuchów Markowa do z
 astosowań bayesowskich
DTSTART;TZID=Central European Standard Time:20260411T103000
DTEND;TZID=Central European Standard Time:20260411T110000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1094
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Rai Ciszewska\nAfiliacja: Politechnika Wrocł
 awska\nTytuł referatu: Kiedy równania spotykają losowość: Dynamika mo
 deli epidemiologicznych w świetle symulacji Monte Carlo\nAbstrakt: W dobi
 e globalnych wyzwań zdrowotnych\, precyzyjne zrozumienie mechanizmów roz
 przestrzeniania się chorób zakaźnych pozostaje kluczowym zadaniem wspó
 łczesnej nauki. Referat stanowi kompleksowe przejście od klasycznych\, d
 eterministycznych modeli matematycznych do zaawansowanych symulacji stocha
 stycznych\, obrazujących dynamikę epidemii. Wystąpienie rozpocznie się
  od wyprowadzenia fundamentalnego modelu różniczkowego SIR (Podatni\, Za
 każeni\, Wyzdrowiali) oraz zdefiniowania podstawowej liczby odtwarzania (
 R0). Następnie\, omówione zostaną istotne rozszerzenia tego modelu. Szc
 zególna uwaga zostanie poświęcona wariantom uwzględniającym dodatkowe
  stany populacyjne\, w tym modelowi q-SIRQD\, który integruje wpływ kwar
 antanny\, ekspozycji oraz śmiertelności na ostateczny bilans zakażeń. 
 Kluczowym punktem prezentacji będzie zderzenie idealistycznego podejścia
  deterministycznego ze stochastyczną naturą rzeczywistości. Za pomocą 
 przeprowadzonych symulacji Monte Carlo zaprezentowane zostaną wykresy obr
 azujące ewolucję epidemii w czasie. Słuchacze będą mieli okazję zaob
 serwować\, w jaki sposób losowość zdarzeń oraz manipulacja poszczegó
 lnymi parametrami (np. skutecznością kwarantanny) wpływają na spłaszc
 zanie krzywej zachorowań. Celem referatu jest pokazanie\, jak synergia ma
 tematyki\, biologii i programowania pozwala nie tylko opisywać\, ale i pr
 zewidywać skomplikowane zjawiska epidemiologiczne.\n
UID:040000008200E00074C5B7101A82E008000000009C2A677F66C3DC01000000000000000
 010000000D0EE319C36793E4DA172EA12EE6C5238
SUMMARY:Kiedy równania spotykają losowość: Dynamika modeli epidemiologi
 cznych w świetle symulacji Monte Carlo
DTSTART;TZID=Central European Standard Time:20260411T103000
DTEND;TZID=Central European Standard Time:20260411T110000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1093
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Michał Mądrala\nAfiliacja: Uniwersytet Wroc
 ławski\nTytuł referatu: Struktury pseudoskończone i ich (pseudoskończo
 ne) automorfizmy\nAbstrakt: Nierzadko nieskończone struktury pochodzą w 
 pewien sposób od struktur skończonych. Jednym z rodzajów takich struktu
 r są struktury pseudoskończone\, czyli takie w których każde prawdziwe
  zdanie ma skończony model. W swoim referacie przybliżę słuchaczom to 
 pojęcie oraz podam jego naturalne przykłady. Zdefiniuję również poję
 cie pseudoskończonego automorfizmu i pokażę kilka twierdzeń i nierozwi
 ązanych dotąd przeze mnie problemów z nimi związanych. Referat będzie
  bazował na mojej pracy licencjackiej z teorii modeli\, pisanej pod kieru
 nkiem prof. Ludomira Newelskiego.\n
UID:040000008200E00074C5B7101A82E008000000008C346A0668C3DC01000000000000000
 010000000BBF582E08400CD41950F0A2AB9BCD975
SUMMARY:Struktury pseudoskończone i ich (pseudoskończone) automorfizmy
DTSTART;TZID=Central European Standard Time:20260411T110000
DTEND;TZID=Central European Standard Time:20260411T120000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1094
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Anna Prucnal\nAfiliacja: Uniwersytet Jagiello
 ński\nTytuł referatu: Analiza funkcji p-adycznych\nAbstrakt: W referacie
  zostaną omówione wybrane zjawiska analizy p-adycznej w ciele Qp pokazuj
 ące\, że intuicja z analizy rzeczywistej\, zwłaszcza ta związana z rac
 hunkiem różniczkowym\, nie przenosi się do przestrzeni ultrametrycznych
 . Na początku wystąpienia zostanie przedstawiona topologiczna charaktery
 zacja ciała Qp (ultrametryczność\, własności kul). Następnie zostan
 ą omówione podstawowe własności ciągłości w Qp\, ze szczególnym uw
 zględnieniem roli struktury ultrametrycznej tej przestrzeni. Ciągłość
  w Qp definiuje się standardowo\, jednakże ultrametryczna struktura Qp s
 prawia\, że pojawiają się przypadki nieobecne w analizie rzeczywistej\,
  takie jak nietrywialne funkcje ciągłe i lokalnie stałe. Ponadto na zbi
 orach zwartych\, takich jak Zp\, lokalna stałość funkcji pociąga za so
 bą również jej jednostajną ciągłość. Ostatnią częścią referatu
  będzie omówienie różniczkowalności w Qp oraz temu\, dlaczego nie zac
 hodzą klasyczne twierdzenia z analizy rzeczywistej\, takie jak twierdzeni
 e Rolle’a oraz twierdzenie o wartości średniej. Zostanie zilustrowane\
 , że pochodna stale równa 0 nie pociąga za sobą stałości funkcji ora
 z przykład funkcji\, która jest injekcją o pochodnej stale równej 0. N
 a koniec zostanie przedstawiony wynik\, że nie istnieje surjekcja o pocho
 dnej stale równej 0.\n\n
UID:040000008200E00074C5B7101A82E0080000000010B33EF867C3DC01000000000000000
 010000000FAA89569F6C439469FDBBB262E6DC988
SUMMARY:Analiza funkcji p-adycznych
DTSTART;TZID=Central European Standard Time:20260411T110000
DTEND;TZID=Central European Standard Time:20260411T120000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1093
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Joanna Rudnicka\, Emilia Porczyńska\nAfiliac
 ja: Politechnika Wrocławska\nTytuł plakatu: Czy wszyscy pochodzimy od je
 dnej matki? Powrót do korzeni.\nAbstrakt: Czy cała populacja ma tylko je
 dnego przodka? Na to pytanie pomoże nam odpowiedzieć teoria koalescencji
 \, która zajmuje się badaniem pokrewieństwa w danej grupie. Rozważymy 
 prosty model\, w którym wykorzystamy łańcuchy Markowa oraz liczby Stirl
 inga II rodzaju\, które zdefiniujemy i krótko omówimy. Wyznaczymy liczb
 ę przodków danej populacji w kolejnych pokoleniach wstecz oraz czas\, ja
 ki potrzebujemy\, żeby dojść do wspólnego przodka.\n\n________________
 ________________\n\nImię i nazwisko: Rai Ciszewska\nAfiliacja: Politechni
 ka Wrocławska\nTytuł plakatu: Zarazić się wirusem czy opinią? Wzajemn
 e oddziaływanie epidemii (SIRQD) i postaw społecznych (q-voter)\nAbstrak
 t: Modelowanie rozprzestrzeniania się epidemii w sieciach wielokrotnych\,
  z uwzględnieniem złożonych zachowań ludzkich\, jest bardzo ciekawym z
 jawiskiem\, które można opisać modelem matematycznym zaproponowanym prz
 ez Annę Chmiel i Roberta Jankowskiego. W niniejszym po sterze zbadamy wza
 jemne oddziaływanie między rozprzestrzenianiem się epidemii a dynamiką
  opinii. Wykorzystamy model SIRQD do opisania rozprzestrzeniania się epid
 emii. Dodatkowo sprawdzi my jak postawa agenta\, wobec przestrzegania ogra
 niczeń związanych z epidemią\, wpływa na jej przebieg. Opinia agenta m
 oże ulec zmianie pod wpływem presji społecznej\, konformizmu\, sytuacji
  życiowych lub niezależnych działań. Jako podstawowy model opinii wyko
 rzystujemy model q-voter. Cały system stanowi złożony model opinii i dy
 namiki\, w którym zachodzą dwa odrębne procesy.\n\n____________________
 ____________\n\nImię i nazwisko: Patryk Osika\nAfiliacja: Akademia Górni
 czo-Hutnicza\nTytuł plakatu: Subnormalność operatorów przesunięcia wa
 żonego: Od konstrukcji Stampfliego do twierdzenia Bergera\nAbstrakt: Prze
 dmiotem analizy jest klasa operatorów przesunięcia ważonego. Głównym 
 celem pracy jest zbadanie problemu subnormalności\, czyli możliwości ro
 zszerzenia danego operatora do operatora normalnego na szerszej przestrzen
 i. W pracy przedstawiono dwa komplementarne podejścia do tego zagadnienia
 : 1. analiza konstrukcji J.G. Stampfliego\, pozwalająca na wyznaczenie ja
 wnych zależności między wagami operatora a parametrami jego rozszerzeni
 a. 2. Wykorzystanie twierdzenia Bergera w celu wykazania równoważności 
 między subnormalnością przesunięcia a rozwiązalnością problemu mome
 ntów Hausdorffa na przedziale [0\,∥T∥]. Analiza została zilustrowana
  przykładem operatora\, którego wagi generują klasyczną miarę Lebesgu
 e’a na kole jednostkowym\, co łączy abstrakcyjną teorię operatorów 
 z konkretnymi metodami teorii miary\n\n________________________________\n\
 nImię i nazwisko: Piotr Lisicki\nAfiliacja: Uniwersytet Jana Kochanowskie
 go w Kielcach\nTytuł plakatu: Grafy a mierzenie odległości między cią
 gami DNA\nAbstrakt: Tematem plakatu są grafy skierowane o krawędziach oz
 naczonych elementami dane go zbioru S i ich związek z pewnymi pseudometry
 kami na przestrzeni ciągów skończonych o wyrazach z S. Plakat zawiera d
 efinicje ścieżek i cykli\, kategorii digrafów i grafów de Bruijna oraz
  przedstawia konstrukcję przez odpowiednie funktory przestrzeni liniowych
  związanych z digrafem. Te przestrzenie z odpowiednią normą można stos
 ować do liczenia odległości między ścieżkami w grafie\, które odpow
 iadają danym ciągom skończonym. Jest to uogólnienie metod wykorzystywa
 nych m.in. w bioinformatyce do mierzenia odległości między sekwencjami 
 DNA\n\n________________________________\n\nImię i nazwisko: Katarzyna Maz
 ur\nAfiliacja: Uniwersytet Marii Curie-Skłodowskiej w Lublinie\nTytuł pl
 akatu: Opcje pod lupą: Od ciągłości Blacka–Scholesa do dyskretnego m
 odelu dwumianowego.\nAbstrakt: Ile warta jest możliwość? Opcje finansow
 e to instrumenty dające prawo – ale nie\nobowiązek – kupna lub sprze
 daży aktywa w przyszłości. Pytanie\, jak wycenić taką możliwość\, 
 doczekało się dwóch eleganckich matematycznych odpowiedzi: ciągłej i 
 dyskretnej. Celem pracy jest ich zestawienie i pokazanie\, że choć wycho
 dzą z różnych założeń\, prowadzą do zbieżnych wyników. Pierwszą 
 odpowiedź dał w 1973 roku model Blacka–Scholesa – zamknięty wzór a
 nalityczny wyprowadzony z równania różniczkowego stochastycznego przy z
 ałożeniu logarytmiczno-normalnego rozkładu cen. Drugą – zaproponowan
 y w 1979 roku model dwumianowy Coxa\, Rossa i Rubinsteina\, który zastęp
 uje ciągłą dynamikę cen dyskretnym drzewem binarnym i wyznacza cenę o
 pcji\, cofając się krok po kroku od momentu jej wygaśnięcia. Na plakac
 ie przedstawiamy konstrukcję obu modeli i stawiamy pytanie o ich wzajemn
 ą relację. Ilustrujemy\, jak wycena z modelu dwumianowego zbiega do rozw
 iązania Blacka–Scholesa wraz ze wzrostem liczby kroków. Zestawienie ob
 u podejść pozwala dostrzec ich komplementarność: wzór Blacka–Schole
 sa daje eleganckie\, ale sztywne rozwiązanie (tylko opcje europejskie)\, 
 natomiast model dwumianowy – choć obliczeniowo bardziej kosztowny – u
 możliwia wycenę opcji amerykańskich z możliwością wczesnego wykonani
 a. Praca pokazuje\, że przejście od wzorów zamkniętych do metod iterac
 yjnych nie było jedynie techniczną zmianą\, lecz istotnym\nkrokiem w ro
 zwoju matematyki finansowej.\n\n________________________________\n\nImię 
 i nazwisko: Norbert Karykowski\, Dominika Wiecha\nAfiliacja: Uniwersytet J
 ana Kochanowskiego w Kielcach\nTytuł plakatu: Pod górkę czy z górki?\n
 Abstrakt: W naszym codziennym\, intuicyjnym rozumieniu przestrzeni\, odleg
 łość z punktu A do punktu B jest dokładnie taka sama\, jak z punktu B 
 do A. W matematyce to założenie jest formalizowane przez aksjomat symetr
 ii (d(x\,y) = d(y\,x))\, który stanowi fundament klasycznych przestrzeni 
 metrycznych. Co jednak w sytuacji\, gdy droga w jedną stronę wymaga wię
 cej wysiłku\, czasu lub kosztów– na przykład\, gdy idziemy pod górk
 ę w porównaniu do schodzenia z górki? Odpowiedzią na to pytanie są pr
 zestrzenie quasi-metryczne\, które porzucają wymóg symetrii funkcji odl
 egłości. Z pozoru niewielka zmiana w aksjomatyce otwiera drzwi do bogate
 j i fascynującej struktury matematycznej\, która znajduje naturalne zast
 osowanie nie tylko w czystej topologii\, ale również w informatyce\, teo
 rii grafów skierowanych czy problemach optymalizacyjnych. Plakat stanowi 
 wprowadzenie do teorii przestrzeni quasi-metrycznych w zestawieniu z klasy
 cznymi przestrzeniami metrycznymi\n\n________________________________\n\nI
 mię i nazwisko: Kinga Słysz\nAfiliacja: Uniwersytet Rzeszowski\nTytuł p
 lakatu: Kontinua wężowe: Od zwykłego odcinka do topologicznych potworó
 w.\nAbstrakt: Plakat prezentuje przegląd własności kontinuów łańcuch
 owych (wężowych)\, czyli istotnej klasy jednowymiarowych\, zwartych i sp
 ójnych przestrzeni metrycznych w topologii ogólnej. Przestrzenie te char
 akteryzują się dopuszczalnością pokryć otwartych o strukturze łańcu
 cha\, co z kolei implikuje ich kluczowe własności globalne: jednoznaczn
 ą zanurzalność w płaszczyznę R2oraz własność punktu stałego dla o
 dwzorowań ciągłych. Celem pracy jest wykazanie\, że ta prosta definicj
 a pokryciowa generuje struktury dalece wykraczające poza klasyczną intui
 cję geometryczną. Obok trywialnego łuku\, przeanalizowano obiekty o wy
 ższym stopniu skomplikowania lokalnego\, takie jak krzywa sinus topologa.
  Szczególną uwagę poświęcono pseudołukowi – skrajnemu przypadkowi 
 kontinuum o strukturze dziedzicznie nierozkładalnej. Opierając się na t
 wierdzeniu Binga o kategorii wykazano ugruntowany topologicznie paradoks: 
 typowym kontinuum na płaszczyźnie nie jest struk tura gładka\, lecz nie
 regularny obiekt homeomorficzny z pseudołukiem. Praca ukazuje\, jak topol
 ogia ogólna systematyzuje przestrzenie o patologicznej budowie\n\n_______
 _________________________\n\nImię i nazwisko: Ivan Spyrydonov\nAfiliacja:
  Uniwersytet Jagielloński\nTytuł plakatu: Ułamki łańcuchowe ze wspó
 łczynnikami w innych pierścieniach całkowitych\nAbstrakt: Najpierw przy
 pomnimy definicję i własności zwykłych ułamków łańcuchowych. Potem
  podamy rozszerzenia definicji ułamka dla kilka pierścieni poprzez rozsz
 erzenie definicji funkcji części całkowitej i ułamkowej. Zobaczymy\, j
 ak się przenoszą podstawowe własności ułamków dla nowej definicji. P
 od koniec podamy inne podejście do rozszerzenia definicji ułamka\, oraz 
 zobaczymy że ten ułamek również produkuje dobre przybliżenia liczbami
  “wymiernymi”\n\n________________________________\n\nImię i nazwisko:
  Miłosz Zajdel\nAfiliacja: Uniwersytet Jagielloński\nTytuł plakatu: Twi
 erdzenie Ważewskiego\, czyli jak pożenić topologię z równaniami róż
 niczkowymi?\nAbstrakt: W swojej pracy z 1947 roku Tadeusz Ważewski opubli
 kował twierdzenie pozwalające badać zachowanie rozwiązania równania r
 óżniczkowego metodami topologicznymi. Solomon Lefschetz stwierdził pó
 źniej\, że jest to jeden z najoryginalniejszych rezultatów w teorii ró
 wnań różniczkowych uzyskanych po wojnie. Pozwala ono opisywać zachowan
 ie rozwiązania we wnętrzu zbioru znając jego zachowanie na brzegu tego
 ż zbioru. Omówię niezbędne definicje i sformułuję powyższe twierdze
 nie. Zobaczymy również jego zaskakujące zastosowania przy pomocy prosty
 ch intuicji geometrycznych\n\n________________________________\n\nImię i 
 nazwisko: Magda Wójtowicz\nAfiliacja: Uniwersytet Jagielloński\nTytuł p
 lakatu: Wpływ struktury sieci kontaktów na dynamikę epidemii\nAbstrakt:
  Rozprzestrzenianie się epidemii jest procesem silnie zależnym od strukt
 ury sieci kontaktów\, w której zachodzą interakcje między jednostkami.
  Klasyczne modele epidemiologiczne (SI\, SIS\, SIR)\, oparte na założeni
 u jednorodnego mieszania się populacji\, nie uwzględniają heterogeniczn
 ości rzeczywistych sieci. W pracy przedstawię podejście sieciowe do mod
 elowania epidemii\, w którym kluczową rolę odgrywa rozkład stopni węz
 łów oraz obecność wysoko połączonych jednostek (tzw. hubów lub supe
 r-roznosicieli). Momenty rozkładu stopni determinują zarówno tempo rozp
 rzestrzeniania się epidemii\, jak i istnienie progu epidemicznego. W siec
 iach bezskalowych próg ten może zanikać\, co umożliwia utrzymywanie si
 ę nawet słabo zakaźnych patogenów. Wyniki podkreślają istotny wpływ
  topologii sieci na dynamikę procesów dyfuzyjnych oraz znaczenie podejś
 cia sieciowego w analizie i prognozowaniu epidemii.\n\n___________________
 _____________\n\nImię i nazwisko: Róża Wiktoria Jaroszewicz\nAfiliacja:
  Politechnika Białostocka\nTytuł plakatu: Jak mozaika obróciła świate
 m algebry- teoria grup i kafelkowanie\nAbstrakt: Zaprezentowana tu zostani
 e koncepcja\, jaką jest tak zwane kafelkowanie wkomponowany w ramy teorii
  grup temat\, obejmujący techniczną stronę tworzenia (niekoniecznie) po
 wtarzających się kompozycji kształtu i koloru\, jakże często widziany
 ch w sztuce i szeroko pojętym wzornictwie. Całość zostanie okraszona d
 robną dozą historii sztuki\, ukazując przedstawione formy również od 
 strony estetyki i ornamentu.\n
UID:040000008200E00074C5B7101A82E00800000000EB86C18568C3DC01000000000000000
 010000000100BC0995AB3E6429FA459588E1AC240
SUMMARY:Sesja plakatowa
DTSTART;TZID=Central European Standard Time:20260411T120000
DTEND;TZID=Central European Standard Time:20260411T130000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:Hol I piętro
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:\n
UID:040000008200E00074C5B7101A82E00800000000D3C3A79268C3DC01000000000000000
 010000000A1957F4F6AA92A47A4D82550740745A8
SUMMARY:Przerwa obiadowa
DTSTART;TZID=Central European Standard Time:20260411T130000
DTEND;TZID=Central European Standard Time:20260411T140000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 0083
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:\n
UID:040000008200E00074C5B7101A82E00800000000A50AEE9D68C3DC01000000000000000
 0100000002D66F8C78C36F34CA75C86AC003D5AED
SUMMARY:Wykład niespodzianka
DTSTART;TZID=Central European Standard Time:20260411T140000
DTEND;TZID=Central European Standard Time:20260411T150000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1093
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:\n
UID:040000008200E00074C5B7101A82E00800000000A1FEFBB968C3DC01000000000000000
 0100000007891965C2B30E2439876DD1796C06513
SUMMARY:Przerwa kawowa
DTSTART;TZID=Central European Standard Time:20260411T150000
DTEND;TZID=Central European Standard Time:20260411T153000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1009
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Mateusz Rajzer\nAfiliacja: Uniwersytet Rzeszo
 wski\nTytuł referatu: Symbole Manina i obliczenia w przestrzeniach form m
 odularnych wagi 2\nAbstrakt: Formy modularne wagi 2 względem grupy kongru
 encji Γ0(N) stanowią kluczowy obiekt współczesnej teorii liczb\, łąc
 ząc analizę zespoloną z geometrią algebraiczną i arytmetyką. Ze wzgl
 ędu na ich definicję analityczną jako funkcji holomorficznych na górne
 j półpłaszczyźnie\, bezpośrednie obliczenia w tych przestrzeniach są
  nietrywialne. W referacie przedstawiona zostanie metoda symboli modularny
 ch\, umożliwiająca efektywny opis obliczeniowy przestrzeni form modularn
 ych poprzez ich identyfikację z grupą homologii krzywej modularnej X0(N)
 . Omówione zostanie twierdzenie Manina\, pozwalające na redukcję niesko
 ńczonej struktury grupy Γ0(N) do skończonej prezentacji przy użyciu sy
 mboli Manina oraz ułamków łańcuchowych. Wskazane zostanie również\, 
 w jaki sposób podejście to pozwala na jawną\, macierzową realizację o
 peratorów Heckego i wyznaczanie q-rozszerzenia form modularnych.\n\n
UID:040000008200E00074C5B7101A82E0080000000094A65D2E69C3DC01000000000000000
 01000000067965E716145AA45B4C0C77FE79AD998
SUMMARY:Symbole Manina i obliczenia w przestrzeniach form modularnych wagi 
 2
DTSTART;TZID=Central European Standard Time:20260411T153000
DTEND;TZID=Central European Standard Time:20260411T163000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1094
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Patryk Nitkowski\nAfiliacja: Uniwersytet Jagi
 elloński  Politechnika Łódzka\nTytuł referatu: Pół-izolowane zera fu
 nkcji  i L-funkcji\nAbstrakt: Sformułowana w XX wieku hipoteza o gęstoś
 ci zer funkcji ζ Riemanna orzeka\, że liczba jej zer w pewnych obszarach
  płaszczyzny zespolonej jest "wystarczająco mała". W roku 2023 laureat 
 medalu Fieldsa\, James Maynard wraz z Kylem Prattem zaproponowali hipotez
 ę słabszą\, niż hipoteza Riemanna. Mówi ona\, że wszystkie nietrywia
 lne zera funkcji ζ leżą na skończenie wielu prostych pionowych. Przy z
 ałożeniu tej hipotezy można otrzymać ciekawe rezultaty związane z wys
 tępowaniem liczb pierwszych w krótkich przedziałach. Są one niemal tak
  silne\, jak przy założeniu hipotezy Riemanna. Wprowadzili oni również
  pojęcie tak zwanych pół-izolowanych zer w kontekście funkcji ζ\, czy
 li takich zer\, dla których w pewnym otoczeniu na prawo oraz poniżej nie
  wystąpi inne zero. Co ciekawe dla tych specyficznie zdefiniowanych zer z
 achodzi pewna wersja hipotezy o gęstości. Podczas referatu zaprezentuję
  wcześniej wspomniane wyniki oraz obecny stan wiedzy dotyczący tych zaga
 dnień\, które były rozważane w kontekście L-funkcji. Przedstawię ró
 wnież kilka swoich pomysłów na dalszy rozwój tej teorii.\n\n
UID:040000008200E00074C5B7101A82E008000000006893F60669C3DC01000000000000000
 010000000A692C2BC840DF8418BC09C64C0645899
SUMMARY:Pół-izolowane zera funkcji zeta i L-funkcji
DTSTART;TZID=Central European Standard Time:20260411T153000
DTEND;TZID=Central European Standard Time:20260411T163000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1093
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:\n
UID:040000008200E00074C5B7101A82E00800000000FB69473A69C3DC01000000000000000
 01000000067FAEE3C4765164A8282729702E04DA6
SUMMARY:Przerwa kawowa
DTSTART;TZID=Central European Standard Time:20260411T163000
DTEND;TZID=Central European Standard Time:20260411T170000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1009
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Oktawia Kaflińska\nAfiliacja: Uniwersytet Ja
 gielloński\nTytuł referatu: Modelowanie hydrochemiczne\nAbstrakt: Ciek w
 odny modelowano jako jednowymiarowy układ ciągły x∈[0\,L] z dyskretn
 ą realizacją pomiarową {xi}i=1 i=n.\nStan hydrochemiczny opisano wektor
 em C(x) = (C1(x)\, ...\, Cp(x)) interpretowanym jako funkcja losowa okreś
 lona na przedziale [0\,L].\nKluczowym elementem analizy jest przestrzenna 
 dystrybuanta F(c)=1/L integral_0^L{1(C(s)≤c)ds} określająca udział d
 ługości cieku\, na którym wartość parametru nie przekracza progu c.\n
 W ujęciu dyskretnym otrzymano estymator ważony długością odcinków: F
 (c)=1/L Σi=1i=n Li1(C(s)≤c)\, L=Σi=1i=n Li. Zmienność lokalną chara
 kteryzowano przy użyciu estymatorów gradientów ΔCj(xi)=(Cj(xi+1)  - Cj
 (xi))/(xi+1  - xi)\, które identyfikują strefy podwyższonej dynamiki zm
 ian.\nWpływ źródeł punktowych modelowano w postaci dekompozycji: C(x)=
 C0(x)+Σk=1k=m Fkδ(x-xk)\ngdzie C0(x) oznacza tło naturalne\, a składni
 ki impulsowe opisują lokalne zaburzenia systemu.\nPodczas referatu zaprez
 entowane zostaną wyniki dla próbek wody zlewni Czerwonki. Na podstawie p
 rzestrzennej dystrybuanty zróżnicowania koncentracji jonowej wyznaczone 
 zostaną obszary o podwyższonej presji antropogenicznej (hot spots).\n\n
UID:040000008200E00074C5B7101A82E0080000000041F3E4206BC3DC01000000000000000
 01000000010E1541A19C84649894CA7F82AF09002
SUMMARY:Jednowymiarowy model przestrzenny stanu hydrochemicznego
DTSTART;TZID=Central European Standard Time:20260411T170000
DTEND;TZID=Central European Standard Time:20260411T180000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1093
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Dominika Laszuk\nAfiliacja: Uniwersytet Marii
  Curie-Skłodowskiej\nTytuł referatu: Analiza własności rosnących w mo
 delach grafów losowych G(n\,p) oraz G(n\,m)\nAbstrakt: Graf losowy to gra
 f o n wierzchołkach\, w którym krawędzie są dodawane w sposób losowy.
  Grafy tego typu znajdują szerokie zastosowanie w modelowaniu złożonych
  systemów\, takich jak sieci społecznościowe\, struktury biologiczne cz
 y procesy rozprzestrzeniania się informacji w Internecie. W referacie por
 ównam dwa klasyczne modele konstruowania grafów losowych: model Gilberta
  G(n\,p) oraz model Erdősa–Rényiego G(n\,m). W modelu G(n\,p) prawdopo
 dobieństwo wystąpienia dowolnej krawędzi wynosi p\, a w modelu G(n\,m) 
 wybieramy dokładnie m krawędzi spośród wszystkich możliwych (i każdy
  taki wybór jest równie prawdopodobny). Zacznę od omówienia podstawowy
 ch pojęć teorii grafów i grafów losowych\, a następnie przedstawię f
 ormalne definicje obu wspomnianych modeli. W głównej części referatu o
 mówię tzw. własności rosnące\, czyli takie cechy grafu\, które — g
 dy już się pojawią — nie zanikają po dodaniu kolejnych krawędzi. Pr
 zykładami takich własności są: spójność grafu (czyli istnienie ści
 eżki między każdą parą wierzchołków)\, brak wierzchołków izolowan
 ych\, pojawienie się dużej składowej czy istnienie cyklu. Pokażę na p
 rostych przykładach\, że wraz ze wzrostem liczby krawędzi (lub parametr
 u p) prawdopodobieństwo wystąpienia tych własności szybko rośnie.\n\n
UID:040000008200E00074C5B7101A82E0080000000018401D4B6BC3DC01000000000000000
 010000000B25C11566FD38F43A15DF26EB0551D3B
SUMMARY:Analiza własności rosnących w modelach grafów losowych G(n\,p) 
 oraz G(n\,m)
DTSTART;TZID=Central European Standard Time:20260411T170000
DTEND;TZID=Central European Standard Time:20260411T173000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1094
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Marlena Sadowska\nAfiliacja: Uniwersytet Kard
 ynała Stefana Wyszyńskiego w Warszawie\nTytuł referatu: Analiza mocy te
 stów równości wariancji\nAbstrakt: Weryfikacja założenia o jednorodno
 ści wariancji jest kluczowym krokiem warunkującym poprawność wnioskowa
 nia w klasycznej analizie wariancji (ANOVA). Celem referatu jest ocena i p
 orównanie mocy testów równości wariancji (m.in. testu Bartletta\, Leve
 ne’a oraz Flignera) w zróżnicowanych scenariuszach badawczych za pomoc
 ą autorskich symulacji przeprowadzonych w środowisku R. Analiza obejmuje
  wpływ takich parametrów jak wielkość próby\, rodzaj rozkładu danych
  (w tym rozkłady asymetryczne i o grubych ogonach) czy obecność skrajny
 ch wartości odstających na skuteczność detekcji rzeczywistych różnic
 . Przedstawione wyniki pozwolą odpowiedzieć na pytanie\, który z testó
 w charakteryzuje się najwyższą niezawodnością w zależności od specy
 fiki analizowanych danych\, stanowiąc tym samym praktyczną wskazówkę m
 etodologiczną dla badaczy.\n
UID:040000008200E00074C5B7101A82E00800000000DE6038576BC3DC01000000000000000
 0100000008A094276CD10F741824B8A047E323D1F
SUMMARY:Analiza mocy testów równości wariancji
DTSTART;TZID=Central European Standard Time:20260411T173000
DTEND;TZID=Central European Standard Time:20260411T180000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1094
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Katarzyna Zdancewicz\nAfiliacja: Politechnika
  Białostocka\nTytuł referatu: Kryptografia krzywych eliptycznych jako pr
 zykład matematyki w ochronie danych\nAbstrakt: Referat poświęcony jest 
 krzywym eliptycznym i ich roli we współczesnej kryptografii. Na początk
 u przedstawione zostanie pojęcie krzywych eliptycznych oraz najważniejsz
 e własności matematyczne. Następnie omówiona zostanie kryptografia opa
 rta na krzywych eliptycznych\, stanowiąca efektywną alternatywę dla tra
 dycyjnych metod szyfrowania. ECC pozwala osiągnąć wysoki poziom bezpiec
 zeństwa przy użyciu znacznie krótszych kluczy\, co przekłada się na w
 iększą wydajność i mniejsze zużycie zasobów. Kolejna część pracy 
 poświęcona będzie algorytmowi ECDSA\, wykorzystywanemu do generowania i
  weryfikacji podpisów cyfrowych. Mechanizm ten gwarantuje autentyczność
  nadawcy oraz integralność przesyłanych danych. Referat ma na celu poka
 zanie\, dlaczego rozwiązania bazujące na krzywych eliptycznych odgrywaj
 ą obecnie kluczową rolę w systemach kryptograficznych i są szeroko sto
 sowane w praktyce.\n
UID:040000008200E00074C5B7101A82E00800000000CBD072736BC3DC01000000000000000
 010000000EF5432713352E84CB423C4FF8C467AA6
SUMMARY:Kryptografia krzywych eliptycznych jako przykład matematyki w ochr
 onie danych
DTSTART;TZID=Central European Standard Time:20260411T180000
DTEND;TZID=Central European Standard Time:20260411T183000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1094
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Emilia Macek\nAfiliacja: Uniwersytet Jagiello
 ński\nTytuł referatu: Kosmiczne autostrady\, czyli na czym polega Interp
 lanetary Transport Network\nAbstrakt: Tradycyjne manewry orbitalne statkó
 w kosmicznych wymagają ogromnych nakładów paliwa. Co jednak\, gdybyśmy
  potrafili wykorzystać naturalne\, grawitacyjne "prądy" Układu Słonecz
 nego? Referat przybliży matematyczne fundamenty Interplanetary Transport 
 Network (ITN) - sieci niewidzialnych szlaków kosmicznych. Wychodząc od O
 graniczonego Kołowego Problemu Trzech Ciał (CR3BP) i analizy punktów La
 grange'a\, spojrzymy na mechanikę nieba przez pryzmat teorii układów dy
 namicznych. Zobaczymy również\, w jaki sposób rozmaitości niezmiennicz
 e oraz przekroje Poincarégo pozwalają wyznaczyć w wielowymiarowej przes
 trzeni fazowej geometryczne "tuby"\, dzięki którym współczesne sondy k
 osmiczne mogą przemierzać Układ Słoneczny niemal za darmo.\n\n
UID:040000008200E00074C5B7101A82E00800000000EAE71A686BC3DC01000000000000000
 01000000066756C7514BAAF479986D32A01C4A08C
SUMMARY:Kosmiczne autostrady\, czyli na czym polega Interplanetary Transpor
 t Network
DTSTART;TZID=Central European Standard Time:20260411T180000
DTEND;TZID=Central European Standard Time:20260411T183000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1093
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Michał Falbogowski\nAfiliacja: AMU Poznań\n
 Tytuł referatu: Od rzutu monetą do klastrów: Przegląd modeli grafów l
 osowych\nAbstrakt: Losowe grafy leżą u podstaw współczesnej nauki o si
 eciach\, oferując eleganckie probabilistyczne narzędzia do modelowania i
  analizy złożonych systemów – od Internetu i mediów społecznościow
 ych\, przez połączenia w mózgu\, aż po rozprzestrzenianie się epidemi
 i. Ten wykład stanowi przystępne\, przyjazne dla studentów wprowadzenie
  do pięciu fundamentalnych modeli losowych grafów oraz ich zaskakującyc
 h powiązań. Zaczniemy od klasycznych modeli Paula Erdősa i Alfréda Ré
 nyi’ego – G(n\,p) oraz G(n\,m) – wyjaśnimy ich asymptotyczną równ
 oważność oraz zjawisko uderzających przejść fazowych\, w tym pojawia
 nie się krawędzi\, powstawanie olbrzymiej składowej oraz zanikanie izol
 owanych wierzchołków. Praktyczne znaczenie tych modeli zilustrujemy na p
 rzykładach teorii perkolacji\, epidemiologii oraz ich roli jako modeli ba
 zowych (null models) w nauce o sieciach. Następnie omówimy model małego
  świata autorstwa Duncana Wattsa i Stevena Strogatza\, który łączy wys
 oką lokalną klasteryzację z krótkimi globalnymi ścieżkami – strukt
 urę często obserwowaną w rzeczywistych sieciach\, takich jak drogi isto
 ty białej w ludzkim mózgu czy sieci politycznych sympatyków. Porównamy
  właściwości małego świata z sieciami bezskalowymi (scale-free) i prz
 yjrzymy się prostemu\, a zarazem potężnemu mechanizmowi przekablowywani
 a (rewiring). Kolejno przedstawimy model Fana Chung i Linyuan Lu\, który 
 pozwala generować grafy o dowolnie zadanym oczekiwanym ciągu stopni wier
 zchołków. W zakończeniu zajmiemy się eleganckim modelem losowego klast
 ra (random-cluster model) wprowadzonym przez Ceesa Fortuina i Pita Kastele
 yna. Ten zunifikowany formalizm łączy perkolację Bernoulliego\, model I
 singa oraz model Pottsa\, ukazując głębokie związki między prawdopodo
 bieństwem\, fizyką statystyczną i zjawiskami krytycznymi. Przez cały w
 ykład szczególny nacisk położymy na progi krytyczne\, przejścia fazow
 e oraz rzeczywiste zastosowania\, przy jednoczesnym zachowaniu przystępno
 ści matematycznej. Nie zakładamy wiedzy wykraczającej poza podstawy rac
 hunku prawdopodobieństwa i teorii grafów. Celem prezentacji jest pokazan
 ie\, dlaczego kluczowe pojęcia z teorii losowych grafów warto zgłębia
 ć matematycznie – motywowane ich różnorodnymi zastosowaniami w rzeczy
 wistym świecie. Słowa kluczowe: losowe grafy\, sieci małego świata\, p
 erkolacja\, model Isinga\, nauka o sieciach\n
UID:040000008200E00074C5B7101A82E00800000000D148A2B86BC3DC01000000000000000
 0100000001D4E6B6BA1DEF84DB6A5DC613E26B6B8
SUMMARY:Od rzutu monetą do klastrów: Przegląd modeli grafów losowych
DTSTART;TZID=Central European Standard Time:20260411T183000
DTEND;TZID=Central European Standard Time:20260411T190000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1094
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Filip Zieliński\nAfiliacja: Uniwersytet Jagi
 elloński\nTytuł referatu: Izomorfizm gładkich kwadryk na P³ z P¹ x P
 ¹\nAbstrakt: Opis krzywych w wyżej wymiarowych przestrzeniach jest w geo
 metrii algebraicznej problemem ważnym i nieoczywistym. Już od wymiaru 3 
 nie znamy odpowiedzi na wiele podstawowych pytań dotyczących niezdegener
 owanych do płaszczyzny krzywych. Jednym z klasycznych narzędzi stosowany
 m do rozwiązywania takich problemów jest degeneracja krzywych do gladkie
 j kwadryki. Dzięki zanurzeniu Segre P¹ x P¹ -> P³\, które pozwala uto
 żsamiać iloczyn prostych rzutowych z gładkimi kwadrykami na P³\, może
 my sprowadzać skomplikowane zagadnienia do dobrze opisanej przestrzeni. P
 odczas referatu zaprezentuję podstawowe własności wielomianów bijednor
 odnych rozważanych na P¹ x P¹\, dowiodę ww. izomorfizmu i pokażę jak
 ie ma zastosowanie w dowodach.\n\n
UID:040000008200E00074C5B7101A82E00800000000880BCFA46BC3DC01000000000000000
 010000000B9640560E3C78844B0E1ECC5FF0DE3FD
SUMMARY:Izomorfizm gładkich kwadryk na P³ z P¹ x P¹
DTSTART;TZID=Central European Standard Time:20260411T183000
DTEND;TZID=Central European Standard Time:20260411T190000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1093
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:\n
UID:040000008200E00074C5B7101A82E008000000006F92D5CD6BC3DC01000000000000000
 010000000B3427F65DF831549822A54A4F13146A9
SUMMARY:Integracja
DTSTART;TZID=Central European Standard Time:20260411T200000
DTEND;TZID=Central European Standard Time:20260412T000000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:Gospoda Koko
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:\n
UID:040000008200E00074C5B7101A82E0080000000064AEB2EA6BC3DC01000000000000000
 010000000C1BD6B573E281A41BC8FEDD0A3FFD60E
SUMMARY:Śniadanie
DTSTART;TZID=Central European Standard Time:20260412T080000
DTEND;TZID=Central European Standard Time:20260412T090000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1009
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Anna Szymańska\nAfiliacja: Uniwersytet Jagie
 lloński\nTytuł referatu: Jakie relacje można zakodować w grafie?\nAbst
 rakt: Pytaniem\, czy dla zadanego grafu G istnieje homomorfizm z G do H\, 
 można wyrazić rozmaite problemy decyzyjne -- od spełnialności formuł 
 boolowskich\, przez kolorowanie grafów\, aż po problemy planowania zada
 ń. Dlaczego niektóre z nich dają się rozwiązać efektywnym algorytmem
 \, podczas gdy inne okazują się NP-trudne? Żeby lepiej zrozumieć to za
 gadnienie\, warto sięgnąć po gadżety grafowe\, którymi mogą być śc
 ieżka\, cykl\, płotek\, a także całkiem nietrywialne struktury. Są to
  relacje definiowane na wierzchołkach grafu na podstawie relacji krawędz
 i E\, przy użyciu koniunkcji\, równości oraz kwantyfikatora egzystencja
 lnego. Pokazują\, jakie struktury można homomorficznie zakodować w graf
 ie H\, czyli jakie problemy można zredukować do problemu reprezentowaneg
 o przez H. Podczas referatu zaprezentuję konstrukcje wybranych gadżetów
  i na ich podstawie omówię\, w jaki sposób można wykorzystać je przy 
 dowodzeniu trudności problemu zakodowanego w grafie. Jako przykład posł
 uży 3-wierzchołkowa ścieżka -- jakie relacje można wyrazić za pomoc
 ą tego gadżetu?\n\n
UID:040000008200E00074C5B7101A82E008000000005BF384FC6BC3DC01000000000000000
 01000000083315C836EE66C4BA6CD73566C2F5F37
SUMMARY:Jakie relacje można zakodować w grafie?
DTSTART;TZID=Central European Standard Time:20260412T090000
DTEND;TZID=Central European Standard Time:20260412T093000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1094
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Michał Dobranowski\nAfiliacja: Akademia Gór
 niczo-Hutnicza w Krakowie\nTytuł referatu: Arytmetyka Presburgera: rozstr
 zygalność\, złożoność i zastosowania\nAbstrakt: Teoria pierwszego rz
 ędu liczb naturalnych z dodawaniem jest – jak wykazał Mojżesz Presbur
 ger w 1929 roku – rozstrzygalna\, co stanowi pozytywną odpowiedź na sz
 czególny przypadek problemu decyzyjnego (Entscheidungsproblem) postawione
 go przez Hilberta. W ramach referatu omówimy strukturę arytmetyki Presbu
 rgera\, pokażemy dowód jej rozstrzygalności oparty na eliminacji kwanty
 fikatorów oraz zarysujemy alternatywny dowód Büchiego\, wykorzystujący
  teorię automatów. Przedstawiona zostanie również analiza złożonośc
 i obliczeniowej obu konstrukcji\, wybrane nowsze wyniki dotyczące złożo
 ności dowodów w arytmetyce Presburgera oraz aktualne zastosowania tej te
 orii w formalnej weryfikacji i optymalizacji kodu przez kompilatory.\n
UID:040000008200E00074C5B7101A82E0080000000094C1F3F36BC3DC01000000000000000
 0100000003A995C72D314EE44AA907EA342064AA6
SUMMARY:Arytmetyka Presburgera: rozstrzygalność\, złożoność i zastoso
 wania
DTSTART;TZID=Central European Standard Time:20260412T090000
DTEND;TZID=Central European Standard Time:20260412T093000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1093
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Aleksandra Kowalska\nAfiliacja: Uniwersytet J
 agielloński\nTytuł referatu: Kombinatoryczna teoria Morse'a jako silnik 
 optymalizacji wyznaczania homologii (persystentnych) w kompleksach Lefsche
 tza\nAbstrakt: Jednym z najistotniejszych wyzwań topologii obliczeniowej 
 jest wyznaczanie grup homologii wielowymiarowych kompleksów komórkowych.
  Dla standardowych metod opartych na postaci normalnej Smith’a\, wąskie
  gardło stanowi niekiedy rozmiar macierzy operatora brzegu. Większe komp
 leksy\, większe macierze\, więcej wymiarów\, więcej kłopotów. Pomocn
 ą dłoń wyciąga do nas uśmiechnięty Robin Forman\, oferując wytchnie
 nie od algebraicznych masochizmów — kombinatoryczną teorię Morse’a\
 , a wraz z nią zaawansowane narzędzie optymalizacyjne dla procesu redukc
 ji topologicznej. Referat ma na celu przybliżenie teorii w uogólnionym j
 ęzyku kompleksów Lefschetz’a. W anturażu kombinatorycznych pól wekto
 rowych ustanawiających podział kompleksu na komórki krytyczne oraz redu
 ndantne\, generowany jest zredukowany kompleks Morse’a\, który dziedzic
 zy grupy homologii\, a jego operatory brzegu wyznaczane są przez ścieżk
 i gradientowe. Redukcja komórek redundantnych przed przystąpieniem do op
 eracji macierzowych stanowi tym samym niezwykle skuteczną metodę bezstra
 tnej kompresji danych\, drastycznie przyspieszając kosztowne i krnąbrne 
 kalkulacje grup homologii kompleksów wielowymiarowych.\n
UID:040000008200E00074C5B7101A82E0080000000007395C266CC3DC01000000000000000
 0100000007CF9A3DC99D63B44B660863C3D56E109
SUMMARY:Kombinatoryczna teoria Morse'a jako silnik optymalizacji wyznaczani
 a homologii (persystentnych) w kompleksach Lefschetza
DTSTART;TZID=Central European Standard Time:20260412T093000
DTEND;TZID=Central European Standard Time:20260412T100000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1094
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Yaroslava Kravetska\, Aliaksandr Rybalka\nAfi
 liacja: Uniwersytet Jagielloński\nTytuł referatu: Szczególna teoria wzg
 lędności w ujęciu geometrycznym\nAbstrakt: W referacie przedstawię mat
 ematyczną konstrukcję przestrzeni Minkowskiego oraz jej związek ze szcz
 ególną teorią względności. Punktem wyjścia będzie obserwacja\, że 
 struktura czasoprzestrzeni może zostać odtworzona z samej struktury kauz
 alnej\, którą jest niezdegenerowana kwadryka w rzeczywistej przestrzeni 
 wektorowej. Pokażę\, że taka struktura wyznacza z dokładnością do cz
 ynnika skali metrykę Minkowskiego\, a tym samym geometryczną strukturę 
 czasoprzestrzeni szczególnej teorii względności. Następnie omówię w 
 jaki sposób podstawowe efekty szczególnej teorii względności można ro
 zumieć jako konsekwencje geometrii tak określonej przestrzeni.\n
UID:040000008200E00074C5B7101A82E00800000000E5DA620A6CC3DC01000000000000000
 01000000038DAD00ED579594D871C038D73BE8006
SUMMARY:Szczególna teoria względności w ujęciu geometrycznym
DTSTART;TZID=Central European Standard Time:20260412T093000
DTEND;TZID=Central European Standard Time:20260412T100000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1093
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Michał Mańka\nAfiliacja: Uniwersytet Jagiel
 loński\nTytuł referatu: Zbiory Kakeyi\nAbstrakt: Dla ciała skończonego
  F\,  A ⊆ F jest zbiorem Kakeyi\, jeśli zawiera prostą w każdym kieru
 nku. Zaprezentujemy dowód (Dvir 2008 r.) dolnego oszacowania na rozmiar t
 akiego zbioru.\nZ kolei A ⊆ R2 jest zbiorem Kakeyi\, jeśli wewnątrz ni
 ego można wykonać pełny obrót odcinka jednostkowego. Naszkicujemy kons
 trukcję dowolnie małych zbiorów Kakeyi.\n\n
UID:040000008200E00074C5B7101A82E0080000000093DC197C6CC3DC01000000000000000
 010000000C7FA467E106F7942A5A90E0CA1E9FBFC
SUMMARY:Zbiory Kakeyi
DTSTART;TZID=Central European Standard Time:20260412T100000
DTEND;TZID=Central European Standard Time:20260412T103000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1093
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Cyprian Kalbarczyk\nAfiliacja: Uniwersytet Wa
 rszawski\nTytuł referatu: Model Blacka Scholesa - model\, który na zawsz
 e zmienił świat finansów\nAbstrakt: W 1900 roku Louis Bachelier zapropo
 nował nowatorski opis dynamiki cen akcji na paryskiej giełdzie. Jego pod
 ejście spotkało się z niezrozumieniem\, jednak po ponad siedemdziesięc
 iu latach Fischer Black i Myron Scholes postanowili wskrzesić i usprawni
 ć jego pomysł. Ich wysiłek stał się jednym z kluczowych osiągnięć 
 matematyki finansowej. W swoim referacie opowiem o założeniach modelu (k
 tóre\, choć proste i użyteczne\, nie są zbyt realistyczne)\, opiszę e
 konomiczną interpretację parametrów modele oraz przedstawię związek m
 odelu Blacka-Scholesa z geometrycznym ruchem Browna.\n
UID:040000008200E00074C5B7101A82E0080000000066BE52136CC3DC01000000000000000
 01000000085791CC24E27BE49A405C43DDE097C99
SUMMARY:Model Blacka Scholesa - model\, który na zawsze zmienił świat fi
 nansów
DTSTART;TZID=Central European Standard Time:20260412T100000
DTEND;TZID=Central European Standard Time:20260412T103000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1094
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:\n
UID:040000008200E00074C5B7101A82E00800000000735F0F8C6CC3DC01000000000000000
 01000000061C944E06C3FA74BB29263D1FC3A85EF
SUMMARY:Przerwa kawowa
DTSTART;TZID=Central European Standard Time:20260412T103000
DTEND;TZID=Central European Standard Time:20260412T110000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1009
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Bartosz Kamiński\nAfiliacja: Politechnika Ł
 ódzka\nTytuł referatu: Scotcie\, powiedz jedno zdanie\, a będzie skompl
 ikowany model Twój\nAbstrakt: Teoria modeli oferuje opis struktur\, któr
 e można zdefiniować za pomocą tego samego języka logicznego. Ale jak m
 ożemy porównać\, który z modeli jest bardziej skomplikowany? Gdy ogran
 iczymy się do modeli przeliczalnych\, dostajemy odpowiedź. Zdanie Scotta
 \, będące formułą logiki infinitarnej\, charakteryzuje określony mode
 l co do izomorfizmu\, oraz pozwala na określenie\, który model jest bard
 ziej złożony. Na referacie opowiem czym jest model\, dlaczego logika inf
 initarna daje nam więcej niż logika pierwszego rzędu\, oraz pokażę\, 
 dlaczego struktura (Q\, ≤) jest mniej skomplikowana od struktury (Z\, 
 ≤).\n
UID:040000008200E00074C5B7101A82E00800000000C170E0C26CC3DC01000000000000000
 0100000004FEC2A137CB83042AF863A67F61434F7
SUMMARY:Scotcie\, powiedz jedno zdanie\, a będzie skomplikowany model Twó
 j
DTSTART;TZID=Central European Standard Time:20260412T110000
DTEND;TZID=Central European Standard Time:20260412T120000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1094
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Serhii Kuzminov\nAfiliacja: Uniwersytet Jagie
 lloński\nTytuł referatu: Arytmetyka afiniczna. Jak za pomocą zbiorów z
 musić komputery liczyć precyzyjnie.\nAbstrakt: Komputery mają skończon
 ą precyzję. Nie wszystkie liczby można dokładnie zapisać\, używając
  skończonej liczby bitów\, oraz nie każdy problem można dokładnie lub
  symbolicznie rozwiązać. Żeby radzić sobie z tym problemem można uży
 wać zbiorów: jeśli liczbę nie można dokładnie zapisać\, to dlaczego
  nie znaleźć takie liczby\, które można zapisać i między którymi le
 ży szukana wartość? W trakcie referatu opowiem\, czym jest arytmetyka p
 rzedziałowa i afiniczna\, dlaczego w niektórych przypadkach warto robić
  obliczenia na zbiorach\, a nie na liczbach oraz wytłumaczę\, w jaki spo
 sób można aproksymować wyniki działania funkcji za pomocą zbiorów af
 inicznych.\n
UID:040000008200E00074C5B7101A82E00800000000C58BB29A6CC3DC01000000000000000
 01000000031CA140CDDED1E418249BD10E4F6BC27
SUMMARY:Arytmetyka afiniczna. Jak za pomocą zbiorów zmusić komputery lic
 zyć precyzyjnie
DTSTART;TZID=Central European Standard Time:20260412T110000
DTEND;TZID=Central European Standard Time:20260412T120000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1093
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Marcin Choma\nAfiliacja: Politechnika Krakows
 ka\nTytuł referatu: Lemat Yonedy i Teoria Kategorii\nAbstrakt: Punktem wy
 jścia będzie wprowadzenie podstawowych pojęć teorii kategorii (kategor
 ia\, funktor\, kategoria dualna) oraz omówienie kilku ciekawych przykład
 ów. W kolejnym etapie zajmiemy się kategoriami funktorów (a w szczegól
 ności transformacjami naturalnymi między funktorami) oraz hom-funktorami
 . W głównej części referatu zostanie omówione zanurzenie Yonedy i w k
 ońcu sam lemat Yonedy.\n
UID:040000008200E00074C5B7101A82E0080000000022709CE86CC3DC01000000000000000
 0100000000516518747E66748AF7A5DD5C2A6D41D
SUMMARY:Lemat Yonedy i Teoria Kategorii
DTSTART;TZID=Central European Standard Time:20260412T120000
DTEND;TZID=Central European Standard Time:20260412T123000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1094
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Łukasz Orski\nAfiliacja: Uniwersytet Jagiell
 oński\nTytuł referatu: Kompresja entropii i Lokalny Lemat Lovasza\nAbstr
 akt: Lokalny Lemat Lovasza pozwala stwierdzić\, że mając dane odpowiedn
 io mało prawdopodobne zdarzenia pomiędzy którymi jest odpowiednio mało
  zależności\, to z dodatnim prawdopodobieństwem żadne z nich nie zajdz
 ie. Ma ono wiele zastosować w konstrukcjach kombinatorycznych np. w teori
 i grafów czy problemach k-SAT. Omówię jego dowód i zastosowania. Nast
 ępnie pokażę szybki sposób znajdowania elementu przestrzeni probablist
 ycznej niespełniającego żadnego z wybranych zdarzeń losowych zapropono
 wany przez Mosera i zwany kompresją entropii. W dużym skrócie zamiast l
 osować od razu cały układ losujemy sprytnie jego poprawki dzięki czemu
  znajdujemy rozwiązanie w czasie wielomianowym\, a nie wykładniczym. A t
 o wszystko dzięki entropii!\n\n
UID:040000008200E00074C5B7101A82E0080000000068E0DBD46CC3DC01000000000000000
 010000000ABE1E492033043439DCD5393FD579453
SUMMARY:Kompresja entropii i Lokalny Lemat Lovasza
DTSTART;TZID=Central European Standard Time:20260412T120000
DTEND;TZID=Central European Standard Time:20260412T123000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1093
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Marta Kosz\nAfiliacja: Uniwersytet Wrocławsk
 i\nTytuł referatu: Gry topologiczne\nAbstrakt: Gry w matematyce kojarzą 
 się zwykle z teorią gier\, ale okazuje się\, że również topologia ma
  własną tradycję zakodowywania własności przestrzeni w pewnym zbiorze
  reguł. Podczas referatu przedstawię proste przykłady takie jak gra pun
 ktowo-otwarta\, Rothberga czy Banacha-Mazura\, a poza tym poruszymy zagadn
 ienie gier dualnych. Temat jest na tyle przystępny i intuicyjny\, że tak
  naprawdę każdy\, kto zna podstawy topologii ogólnej\, jest w stanie wy
 myślić własną grę (chociaż być może niekoniecznie przydatną).\n\n
UID:040000008200E00074C5B7101A82E00800000000E3B8110C6DC3DC01000000000000000
 010000000F900F8A7540A3A4E9ADBEAD501C25619
SUMMARY:Gry topologiczne
DTSTART;TZID=Central European Standard Time:20260412T123000
DTEND;TZID=Central European Standard Time:20260412T130000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1094
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:Imię i nazwisko: Szymon Dziewoński\nAfiliacja: Uniwersytet Ja
 gielloński\nTytuł referatu: Czy matematyka wyklucza demokrację?\nAbstra
 kt: Jednym z najsłynniejszych wyników teorii systemów wyborczych jest t
 wierdzenie Arrowa. Dowodzi ono\, że nie istnieje idealny system wyborczy\
 , czyli taki\, który jednocześnie przestrzegałby jednomyślności\, zac
 howywałby niezależność od nieistotnych alternatyw i nie byłby dyktatu
 rą. W trakcie referatu przeanalizujemy zaksjomatyzowany model systemów w
 yborczych oraz kilka warunków\, które taki system powinien spełniać. N
 astępnie omówimy pewne paradoksy z nich wynikające\, w tym wspomniane j
 uż twierdzenie Arrowa oraz jego rozszerzenie - twierdzenie Gibbarda-Satte
 rthwaite’a. Zastanowimy się również\, w jakim stopniu przedstawione m
 odele odnoszą się do rzeczywistości i które z przedstawionych sytuacji
  faktycznie miały miejsce w historii wyborów. Referat skierowany jest do
  wszystkich studentów i nie wymaga wiedzy wstępnej\, poza podstawową bi
 egłością w notacji matematycznej.\n
UID:040000008200E00074C5B7101A82E00800000000AE684CFC6CC3DC01000000000000000
 010000000A798E311C584C34FA9A4FC34EF868059
SUMMARY:Czy matematyka wyklucza demokrację?
DTSTART;TZID=Central European Standard Time:20260412T123000
DTEND;TZID=Central European Standard Time:20260412T130000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1093
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:\n
UID:040000008200E00074C5B7101A82E00800000000B3E42F146DC3DC01000000000000000
 010000000183397C087F87F4DACE18F80023D4B68
SUMMARY:Przerwa obiadowa
DTSTART;TZID=Central European Standard Time:20260412T130000
DTEND;TZID=Central European Standard Time:20260412T140000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 0083
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:\n
UID:040000008200E00074C5B7101A82E00800000000001D761C6DC3DC01000000000000000
 010000000F08EF6D7B55D7640B7551E7477B68E45
SUMMARY:Przerwa kawowa
DTSTART;TZID=Central European Standard Time:20260412T140000
DTEND;TZID=Central European Standard Time:20260412T143000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1009
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
BEGIN:VEVENT
DESCRIPTION:\n
UID:040000008200E00074C5B7101A82E00800000000162D89246DC3DC01000000000000000
 010000000503D3D73166FBA4684C11686DB061E48
SUMMARY:Zakończenie konferencji i rozdanie nagród
DTSTART;TZID=Central European Standard Time:20260412T143000
DTEND;TZID=Central European Standard Time:20260412T150000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260417T213118Z
TRANSP:OPAQUE
STATUS:CONFIRMED
SEQUENCE:0
LOCATION:sala 1093
X-MICROSOFT-CDO-APPT-SEQUENCE:0
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:FALSE
END:VEVENT
END:VCALENDAR