09:00–10:00
Rejestracja uczestników
w holu budynku Wydziału Matematyki i Informatyki UWr
10:00–10:10
Otwarcie
10:10–11:00
Wykład: Matematyczne podstawy modelowania trajektorii lotu dronów (Maciej Tadej)
Kiedy myślimy o dronach, najczęściej wyobrażamy sobie operatora z kontrolerem w dłoniach. Jednak w nowoczesnym przemyśle, logistyce czy ratownictwie prawdziwa inżynieria zaczyna się tam, gdzie kończy się ręczne sterowanie, a maszyna staje się w pełni autonomiczna. Jak sprawić, by statek powietrzny sam "wiedział", jak zrealizować misję, ominąć przeszkody i wrócić do bazy? Odpowiedzią jest połączenie matematyki z programowaniem. Podczas wykładu zajrzymy „pod maskę” systemów sterujących bezzałogowymi statkami powietrznymi. Oprzemy się na działających symulacjach komputerowych, by udowodnić, że pojęcia z lekcji matematyki czy fizyki to w rzeczywistości potężne narzędzia do rozwiązywania problemów technologicznych.
11:10–12:50
Blok warsztatowy 1
13:00–14:00
Przerwa obiadowa
Grupy warsztatowe 1, 2, 5, 6:
14:00–14:30 Wyjście na Ostrów Tumski (zbiórka w holu) i przygotowanie do gry miejskiej
14:30–15:45 Gra miejska (blok warsztatowy 2)
15:45–16:00 Powrót na Kampus Grunwaldzki
16:00–16:15 Przerwa
16:15–17:55 Blok warsztatowy 3
Grupy warsztatowe 3, 4, 7, 8:
14:00–15:40 Blok warsztatowy 2
15:40–15:55 Przerwa
15:55–16:25 Wyjście na Ostrów Tumski (zbiórka w holu) i przygotowanie do gry miejskiej
16:25–17:40 Gra miejska (blok warsztatowy 3)
17:40–17:55 Powrót na Kampus Grunwaldzki
18:00–18:30
Kolacja
18:30–21:00
Wieczór planszówek
08:00–08:45
Śniadanie
Dla osób korzystających z noclegów w DS Raj
09:00–09:50
Wykład: Zza krat wygląda Kyber (Jan Marcinkowski)
W ostatnich latach do większości bibliotek kryptograficznych dodano implementację protokołu ML-KEM (wcześniej Kyber). Chociaż przeszło to bez wielkiego echa, stanowi chyba największą rewolucję od wynalezienia dwóch podstawowych protokołów kryptografii asymetrycznej w latach '70 XX wieku (RSA oraz DH). Opowiem, jak ML-KEM działa, skąd go wytrzasnął jego twórca (zza krat), czemu może okazać się potrzebny i czemu internet może w rezultacie spowolnić.
09:50–10:20
Przerwa kawowa
10:20–12:00
Blok warsztatowy 4
12:10–13:50
Blok warsztatowy 5
13:50–14:50
Przerwa obiadowa
14:50–16:30
Blok warsztatowy 6
16:40–17:30
Wykład: Ślepy śmiałek we mgle. Jak AI oszukała świat (Agnieszka Hejna)
Wszyscy mówią, że AI myśli. Prawda jest taka, że AI... stacza się w przepaść i próbuje przy tym nie zginąć. Każdy sukces ChatGPT, autonomicznych samochodów czy algorytmów TikToka to efekt jednej, niewyobrażalnie genialnej sztuczki znanej jako gradient descent. Przyjdź i zobacz, jak prosty pomysł ze szkolnej tablicy zamienia zwykłe liczby w technologiczną rewolucję naszych czasów. Zero lania wody, 100% czystej logiki i moment „Aha!”, po którym zrozumiesz technologię lepiej niż 99% ludzi na planecie.