Instytut Informatyki Uniwersytetu Wrocławskiego

08/12/2025

Oto galeria zdjęć z Akademickich Mistrzostw Europy Środkowej w Programowaniu Zespołowym (ICPC Central European Regional Contest), które w dniach 5-7 grudnia 2025 zostały zorganizowane przez Instytut Informatyki UWr we współpracy z Biblioteka Uniwersytecka we Wrocławiu.

Gratulacje dla wszystkich uczestników i podziękowania dla ekipy organizatorów.

zdjęcia: Marek Materzok (UWr)

Rekrutacja UWr
Uniwersytet Wrocławski

07/12/2025

Znamy już ostateczne wyniki ICPC Central European Regional Contest, który w dniach 5-7 grudnia odbył się na Uniwersytet Wrocławski: https://ranking.cerc25.solve.edu.pl/

1. Eötvös Loránd University, Budapest (Péter Gyimesi, Péter Varga, Bence Deák)

2. Uniwersytet Warszawski (Jan Gwiazda, Stanisław Karpiejczyk, Jerzy Olkowski)

3. Uniwersytet Wrocławski (Olaf Surgut, Krzysztof Olejnik, Paulina Żeleźnik)

4. University of Zagreb (Fran Babić, Toni Brajko, Ivan Janjić)

Za pierwsze cztery miejsca przyznawaliśmy medale złote, za kolejne cztery - srebrne, a drużyny z miejsc od 9. do 12. otrzymały medale brązowe.

Wielkie gratulacje!

07/12/2025

Rozpoczęła się ostatnia godzina zawodów ICPC Central European Regional Contest organizowanych w tym roku przez Uniwersytet Wrocławski.

Ranking został zamrożony, a ostateczne wyniki poznamy na uroczystości zakończenia. Samodzielnie prowadzi zespół z Eötvös Loránd University z Budapesztu z 10 rozwiązanymi zadaniami 👏👏👏, a za nimi ekipy Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego oraz Uniwersytetu w Zagrzebiu. Najlepsza drużyna gospodarzy Uniwersytet Wrocławski - tymczasowo - na 7. miejscu 😁😁😁

Trzymamy kciuki!

06/12/2025

Dzisiaj na Uniwersytet Wrocławski odbył się dzień próbny Akademickich Mistrzostw Europy Środkowej w Programowaniu Zespołowym (ICPC Central European Regional Contest).

W zawodach bierze udział 70 trzyosobowych drużyn z Austrii, Chorwacji, Czech, Węgier, Łotwy, Słowacji, Słowenii i Polski. Stawką jest awans do finałów światowych, które w tym roku odbędą się już po raz 50-ty.

Jutro od 9 rano główne zawody! Zapraszamy do śledzenia rankingu na żywo: https://ranking.cerc25.solve.edu.pl/

zdjęcia: Marek Materzok

06/12/2025

Kolejne Matematyczno-Informatyczne Spotkanie na Uniwersytecie (MISIU)🐻🐻🐻 już w najbliższy czwartek 11 grudnia!

Tym razem zapraszamy uczniów szkół średnich na wykłady Karola Pokorskiego oraz Mariusza Tobolskiego. Karol opowie o szyfrowaniu komunikacji w internecie (kłódeczka w przeglądarce internetowej) i co ma do tego umiejętność szybkiego obliczania reszty z dzielenia wyniku potęgowania bardzo dużych liczb, a Mariusz wytłumaczy dlaczego cząsteczki wody, diamentu czy soli kuchennej mają tak idealne kształty i w jaki sposób matematyka pomaga opisywać takie kształty.

📅 Kiedy? czwartek 11 grudnia o godz. 12:00
🌐 Gdzie? Instytut Informatyki Uniwersytet Wrocławski, sala 25
📝 Zapisy: https://studia-wmi.uwr.edu.pl/misiu (do wyczerpania miejsc)

Zapraszamy uczniów szkół średnich z nauczycielami.

Uniwersytet Wrocławski
Rekrutacja UWr

01/12/2025

Bartosz Bednarczyk z Instytutu Informatyki Uniwersytet Wrocławski zdobywcą grantu Austrian Science Fund pt. "FINGO: Finite Graph Operating Automata Meet Dynamic Logics".

Projekt będzie realizowany na Politechnice Wiedeńskiej ale Bartek zostaje na UWr na część etatu. Wartość projektu: 346.5 tys. euro, czas trwania 3 lata.

Logiki dynamiczne (w szczególności PDL oraz rachunek Mi) to dobrze znane, od lat 70., popularne formalizmy służące do weryfikacji programów komputerowych. Choć problem spełnialności — w którym, mając daną formułę logiki, pytamy, czy istnieje system lub baza danych, które ją spełniają — jest szeroko zbadany, nadal brakuje skutecznych technik do radzenia sobie z problemem skończonej spełnialności (gdzie dodatkowo wymagamy, aby rozpatrywany system lub baza danych miały skończoną liczbę elementów). Celem projektu jest zaproponowanie nowych metod rozwiązywania tego problemu, opartych na pojęciach automatów operujących na skończonych grafach.

Gratulacje!

25/11/2025

Bartosz Naskręcki z Uniwersytetu im. Adama Mickiewicza będzie wkrótce gościł na naszym otwartym seminarium wydziałowym.

📅 Kiedy? wtorek 2 grudnia o godz. 12:30
🌐 Gdzie? Instytut Informatyki Uniwersytet Wrocławski, sala 119
📝 Temat: Matematyka i informatyka w czasach sztucznej inteligencji

Matematyka i informatyka w czasach sztucznej inteligencji

Streszczenie: Ostatnie lata obfitują w zdumiewające w swojej śmiałości i skali doniesienia o tym czy i jak AI, w szczególności metody oparte na wielkich modelach języka, mają zrewolucjonizować naukę, w tym informatykę i matematykę. Chciałbym przyjrzeć się z bliska tym doniesieniom, z perspektywy zarówno praktykującego matematyka jak i zaangażowanego beta-testera takich systemów. Przedstawię Państwu kilka spektakularnych przykładów, gdzie oparte na transformerach sieci neuronowe potrafią wyprodukować sensownie wyglądający dowód matematyczny, a zarazem potrafią mylić się w co drugim zdaniu. W opowieść włączymy też metody formalizacji dowodów oparte na programowaniu funkcyjnym i zobaczymy czy na horyzoncie nie pojawia się jednak wizja matematyki zmechanizowanej, w której człowiekowi pozostaje być (tylko) wiecznym źródłem inspiracji.

☕ Tradycyjnie, przed seminarium, o godzinie 12, Dziekan zaprasza na kawę i ciasto (przy sali 119)

(fot. Janusz Pietroszek, VireoMedia)

24/11/2025

Zapraszamy do zapoznania się z galerią zdjęć z rozdania dyplomów dla absolwentek i absolwentów Wydziału Matematyki i Informatyki Uniwersytet Wrocławski.

Gratulacje dla nowych inżynierów, licencjatów, magistrów, a także doktorów oraz doktora habilitowanego z naszego wydziału!

(fot. Paweł Piotrowski/UWr)

24/11/2025

Druga Uniwersytecka Konferencja "Artificial Intelligence ∀" - DUK AI∀ - już w piątek 12 grudnia na Wydziale Matematyki i Informatyki UWr.

Zapraszamy zainteresowanych ze wszystkich wrocławskich uczelni, reprezentujących różne dyscypliny naukowe, których łączy zainteresowanie wykorzystaniem metod sztucznej inteligencji we własnych badaniach lub w projektach interdyscyplinarnych.

W planie wykłady o zastosowaniu AI w medycynie, naukach przyrodniczych, humanistycznych, społecznych, prawnych. Wykładowcy z UWr, PWr, UE, PAN i CASUS.

Szeroki wybór tematów: od mikroskopii obliczeniowej przez gry, hakowanie modeli językowych, chemię, fizykę, finanse, aż do tematów powiązanych z kulturą, językiem i prawem.

Podczas rejestracji można zgłosić swój udział w sesji posterowej.

Wstęp na wszystkie wykłady jest wolny, prosimy o wcześniejszą rejestrację na stronie konferencji.

22/11/2025

Akademickie Mistrzostwa Europy Centralnej w Programowaniu Zespołowym (CERC 2025) coraz bliżej. Najsilniejsze drużyny z Austrii, Chorwacji, Czech, Węgier, Łotwy, Słowacji, Słowenii i oczywiście Polski wezmą udział w rywalizacji przygotowanej na Uniwersytet Wrocławski pod kierunkiem Pawła Gawrychowskiego. Zwycięskie ekipy awansują do finałów Akademickich Mistrzostw Świata (ICPC).

This year's CERC will start in two weeks. As usual, we will have 4 gold, 4 silver, and 4 bronze medals. But the trophy for the winning team will be somewhat unusual!

21/11/2025

Wywiad z Łukaszem Kaiserem, współautorem słynnej pracy 'Attention is all you need!' gdzie wprowadzono pojęcie transformerów - przełomowej architektury sieci neuronowych. Łukasz jest absolwentem informatyki i matematyki na Uniwersytet Wrocławski

📖 Książka “Tytani” Macieja Kaweckiego: https://bit.ly/TytaniMK [autopromocja]🔔 Partner odcinka: Siepomaga — link do aktualnej zbiórki znajdziesz poniżej. K...