Eliza Dąbrowska
Absolwentka Uniwersytetu Jagiellońskiego w Krakowie, makler papierów wartościowych z uprawnieniami do wykonywania czynności doradztwa inwestycyjnego. Od 2006 do 2013 roku związana z domem maklerskim Noble Securities, m.in. jako Dyrektor Punktu Obsługi Klienta. W latach 2013-2015 makler w Biurze Maklerskim Alior Banku. Od 2015 roku Dyrektor do spraw rozwoju usługi doradztwa inwestycyjnego w Noble Securities S.A. Mentorka inwestycyjna w Klubie Inwestorek Indywidualnych.

Piotr Wójtowicz
Krótka podróż do czasów studiów na matematyce i informatyce UJ. Co z tego pamiętamy i na co zwrócić uwagę? Czy te studia są dla każdego? A może świat się zmienił, a jeśli tak to wykształcenie ścisłe zyskało czy straciło na znaczeniu? Podczas tego spotkania postaram się odpowiedzieć na te i inne pytania z perspektywy absolwenta, który nie pracował na uczelni. Przedstawię również punkt widzenia pracodawcy na absolwenta i umiejętności jakich nabywa w czasie studiów.

Na warsztatach zostanie przedstawiony wstęp do teorii partycji i diagramów Younga. Uczestnicy zapoznają się z kilkoma algorytmami prowadzącymi do otrzymywania takich diagramów oraz zobaczą, w jaki sposób wykorzystuje się je do opisu funkcji symetrycznych.

Studentka 5 roku matematyki. Jej ulubione działy to teoria liczb, kombinatoryka oraz algebra.

Jednym z problemów tradycyjnych dowodów matematycznych jest możliwość przemycania ukrytych założeń, które często pozostają niezauważone, a czasem prowadzą nawet do błędnych wniosków. Aby temu zapobiec, można sformalizować proces dowodzenia — tak, aby był on możliwy do automatycznej weryfikacji przez komputer. W codziennym życiu każdy z nas korzysta z liczb naturalnych oraz operacji takich jak dodawanie i mnożenie. Robimy to intuicyjnie, nie zastanawiając się nad tym, dlaczego działania te są łączne czy przemienne. Podczas warsztatów spróbujemy spojrzeć na te oczywiste fakty z zupełnie innej perspektywy — takiej, w której nic nie jest „oczywiste”, dopóki nie zostanie formalnie udowodnione. Zaczniemy od prostego przykładu: wartości logicznych, czyli prawdy i fałszu oraz prostych . Pozwoli to zbudować podstawowe intuicje dotyczące formalnego rozumowania. Następnie pokażemy własności operatorów logicznych, takich jak koniunkcja, alternatywa czy negacja. W dalszej części zdefiniujemy liczby naturalne oraz podstawowe operacje na nich — dodawanie i mnożenie — a następnie przejdziemy do formalnego dowodzenia ich znanych własności, takich przemienność i łączność. Celem warsztatów jest pokazanie, jak wygląda matematyka zapisana bez skrótów myślowych oraz w jaki sposób narzędzia takie jak Rocq (dawniej Coq) pozwalają sprawdzać dowody z możliwie dużą precyzją.

Doktorant na Wydziale Matematyki i Informatyki UJ, absolwent Matematyki i Matematyki komputerowej. Interesuje się dynamiką topologiczną, topologią obliczeniową i automatycznym dowodzeniem twierdzeń.