Aktualności
Zmiany planu zajęć 22 II 2023
Środa, 22.02.2023 · 9:18
Zostały utworzone nowe grupy:
C++ czw 12-14;
**Aktualizacje Systemu Zapisów odbywają się w godzinach: 9:30, 12:00 i 15:30.**
[w przypadku kolejnych zmian wprowadzanych dzisiaj do planu to ogłoszenie może być edytowane]
Zmiany planu zajęć 21 II 2023
Wtorek, 21.02.2023 · 14:25
Zostały utworzone nowe grupy:
MP wt 9-12;
MP wt 12-15;
PO śr 8-10;
Sztuczna Inteligencja czw 10-12;
będzie skasowana grupa Kurs projektowania aplikacji z bazami danych pon 14-16;
**Aktualizacje Systemu Zapisów odbywają się w godzinach: 9:30, 12:00 i 15:30.**
[w przypadku kolejnych zmian wprowadzanych dzisiaj do planu to ogłoszenie może być edytowane]
Czasy zapisów dla I roku informatyki oraz ISIM
Sobota, 18.02.2023 · 11:09
Czasy zapisów dla I roku informatyki oraz ISIM zostały obliczone i są już widoczne dla zainteresowanych studentów. Studenci ci rozpoczną zapisy w poniedziałek, 20 lutego, o wylosowanych indywidualnie godzinach.
Czasy zapisów i typy zajęć
Poniedziałek, 13.02.2023 · 19:16
W tym tygodniu rozpoczynają się zapisy. Zostały już obliczone czasy zapisów uwzględniające korektę głosowania (poza I rokiem), więc proszę sprawdzić swoje czasy zapisu. Czasy zapisów dla I roku informatyki oraz ISIM zostaną obliczone niebawem.
Przedmiot Teoretyczne podstawy języków programowania jest zamiennikiem dla przedmioty obowiązkowego Języki Programowania. Z tego powodu, osoby, które nie zaliczyły jeszcze JP ani TPJP mają priorytet w zapisach na TPJP: zapisy na ten przedmiot otworzą się jutro (wtorek 14.02) o 14:00.
Następujące przedmioty zmienią swój typ:
* Wybrane elementy praktyki projektowania oprogramowania oraz Projektowanie obiektowe oprogramowania zmienią typ na "Informatyczny inż."
* Rachunek prawdopodobieństwa i statystyka na "Informatyczny 1"
* Seminarium: Testowanie oprogramowania na "proseminarium"
Studenci II stopnia będą mogli zaliczać te przedmioty (poza WEPPO) w najbliższym semestrze, ale aby zostały im zaliczone do puli przedmiotów poprzednio obowiązującego typu (I2, S), należy złożyć wniosek do dziekana.
Zmiana terminów ASK
Poniedziałek, 13.02.2023 · 11:15
Terminy zajęć z Architektur Systemów Komputerowych zmienią godziny na dostępne dla I roku.
Ocena zajęć, korekta głosowania oraz czasy zapisów
Wtorek, 07.02.2023 · 12:47
Została uruchomiona ocena zajęć, która będzie trwała do 3 marca. Ocena zajęć pozwala nam poprawiać jakość studiów, a oprócz tego daje Wam bonus do czasu otwarcia zapisów przez dwa kolejne semestry.
Trwa obecnie korekta głosowania na semestr letni. Do 11 lutego można modyfikować oddane głosy. Proszę zwrócić uwagę na nowe przedmioty w ofercie:
* Kurs: Korporacyjna Java
* Kurs: Praktyczne aspekty rozwoju oprogramowania
* Kurs: programowanie sterowników dla systemu Linux
* Metody zarządzania projektami
* Seminarium: Teoria Baz Danych Dla Semantyki Multisetowej
* Wstęp do bezpieczeństwa komputerowego
Czasy zapisów zostały wstępnie obliczone. Po korekcie głosowania, czasy zapisów zostaną przeliczone ponownie.
-----
Class evaluation is active. It ends at March 3. Class evaluation allows us to improve the quality of studies as well as it gives you a bonus to enrollment opening times for the next two semesters.
Revision of voting for the summer semester is currently underway. You can modify your votes until Feb 11. There are new courses available in the offer:
* Kurs: Korporacyjna Java
* Kurs: Praktyczne aspekty rozwoju oprogramowania
* Kurs: programowanie sterowników dla systemu Linux
* Metody zarządzania projektami
* Seminarium: Teoria Baz Danych Dla Semantyki Multisetowej
* Wstęp do bezpieczeństwa komputerowego
Enrollment times have been pre-calculated. After the vote correction ends, enrollment times will be recalculated.
Zapisy w semestrze letnim 2022/2023
Środa, 01.02.2023 · 10:06
W systemie zapisów jest już widoczny wstępny [plan na semestr letni](https://zapisy.ii.uni.wroc.pl/courses/semester/347), który nie powinien się już znacznie zmienić.
~~Indywidualne czasy zapisów (poza I rokiem) zostały wstępnie wyliczone.~~ Po zakończeniu korekty głosowania, czasy zapisów zostaną przeliczone ~~ponownie~~. Proszę o sprawdzenie swoich czasów oraz o kontakt z Administratorem Systemu Zapisy w przypadku błędów.
W semestrze letnim studenci I roku będą się zapisywali na zajęcia samodzielnie. Czasy otwarcia zostaną niebawem przydzielone losowo 20 lutego w przedziale 10:00 – 18:00.
Harmonogram zapisów jest następujący:
* 7.02 – 11.02 - korekta głosowania
* 7.02 – 3.03 - ocena zajęć
* 15.02 - najwcześniejszy czas otwarcia zapisów (wliczając wszystkie bonusy)
* 20.02 - otwarcie zapisów dla I roku
* 22.02 - rozpoczęcie semestru letniego
* 02.03 - zniesienie miejsc gwarantowanych dla ISIMu oraz DS
* 03.03 - zniesienie limitu 35 ECTS
* 8.03 - koniec wypisów (zapisy nadal będą możliwe)
* 10.03 - koniec zapisów
------
A preliminary schedule for the next semester has been [published in System Zapisy](https://zapisy.ii.uni.wroc.pl/courses/semester/347).
~~Individual enrollment times have been calculated.~~ After the end of voting correction, the enrollment times will be ~~re~~ calculated. Please check your times and contact the Administrator of System Zapisy in case of errors.
Important dates:
* Feb 7 - 11 - voting correction
* Feb 7 - Mar 3 - class evaluation
* Feb 15 - the earliest enrollment possibility (including all bonuses)
* Feb 20 - enrollment for the 1st year students
* Feb 22 - start of the summer semester
* Mar 2 - guaranteed places for ISIM and DS expire
* Mar 3 - the limit of 35 ECTS expires
* Mar 8 - the end of disenrollments (only new enrollments are possible)
* Mar 10 - the end of enrollments
Czwartek 19.01, 14:15 - Wykład Bartka Kurasa "Rust i wzorce projektowe"
Poniedziałek, 16.01.2023 · 10:32
W czwartek 19 stycznia o godzinie 14:15 w sali 141 (w ramach kursu języka Rust) odbędzie się wykład Bartka Kurasa z firmy Cofio GmbH pod tytułem: "Rust i wzorce projektowe". Bartek jest opiekunem CosmWasm, trenerem Akademii CosmWasm. Członkiem zespołu Confio oraz współorganizatorem Rust Wrocław i Rusty Days. Zapraszamy.
odwołany wykład z Kursu: Tworzenie aplikacji frontendowych
Środa, 21.12.2022 · 10:18
W środę 21.12.2022 wkład z przedmiotu Kurs: Tworzenie aplikacji frontendowych nie odbędzie się.
odwołanie wykładu Manipulacje i nadużycia na rynku finansowym
Wtorek, 13.12.2022 · 9:02
Dzisiejszy wykład: Manipulacje i nadużycia na rynku finansowym zostaje odwołany i będzie odrobiony w innym ustalonym terminie.
Wykład Anthony'ego W. Lina "Data Path Queries over Embedded Graph Databases" - wtorek, 6.12, 12:15, sala 25
Niedziela, 04.12.2022 · 16:40
W przyszłym tygodniu będziemy gościć Anthony'ego W. Lina (University of Kaiserslautern), w ramach programu przyjazdów profesorów wizytujących (IDUB).
**W najbliższy wtorek 6.12 o godzinie 12:15 w sali 25 wygłosi wykład pt. "Data Path Queries over Embedded Graph Databases"**
Streszczenie wykładu
We initiate the study of data-path query languages (in particular, regular data path queries (RDPQ) and conjunctive RDPQ (CRDPQ)) in the classic setting of embedded finite model theory, wherein each graph is
"embedded" into a background infinite structure (with a decidable FO theory or fragments thereof). Our goal is to address the current lack of support for typed attribute data (e.g. integer arithmetics) in existing
data-path query languages, which are crucial in practice. We propose an extension of register automata by allowing powerful constraints over the theory and the database as guards, and having two types of registers: registers that can store values from the active domain, and read-only registers that can store arbitrary values. We prove NL data complexity for (C)RDPQ over the Presburger arithmetic, the real-closed field, the existential theory of automatic structures and word equations with regular constraints. All these results strictly extend the known NL data complexity of RDPQ with only equality comparisons, and provides an answer to a recent open problem posed by Libkin et al. Among others, we introduce one crucial proof technique for obtaining NL data complexity for data path queries over embedded graph databases called "Restricted Register Collapse (RRC)", inspired by the notion of Restricted Quantifier Collapse (RQC) in embedded finite model theory.
Finał konkursu prac dyplomowych - zaproszenie
Środa, 23.11.2022 · 13:23
Serdecznie zapraszamy studentów, pracowników oraz wszystkich zainteresowanych na finał wydziałowego konkursu prac dyplomowych. Wydarzenie odbędzie się w **piątek 25 listopada w sali 25 Instytutu Informatyki**, będzie też transmitowane na [kanale youtube][1].
Wydziałowy konkurs na najlepsze prace dyplomowe organizujemy we współpracy z **Allianz Deutschland AG SA Oddział w Polsce**. Nagrody są przyznawane w 4 kategoriach - prace licencjackie z matematyki, prace magisterskie z matematyki, prace licencjackie lub inżynierskie z informatyki oraz prace magisterskie z informatyki (nagroda im. Przemki Kanarek). W tym roku łączna pula nagród w konkursie wynosi 19 500 złotych.
Najlepsze prace magisterskie zostały już wybrane przez komisję konkursową ([informatyka][2], [matematyka][3]), najlepsze prace licencjackie lub inżynierskie zostaną wybrane w trakcie finału. Odbędzie się też głosowanie nad nagrodą publiczności. **Wśród publiczności rozlosujemy bluzy UWr - będzie potrzebny dostęp do konta Office365.**
HARMONOGRAM
- 10.00 - rozpoczęcie
- 10:05 - wystąpienie Artura Błażejewskiego, prorektora UWr ds. badań naukowych
- 10:10 - prezentacja sponsora - Konrad Fischer, Managing Director, Allianz Quantitative Analytics
- 10.20 - prezentacje najlepszych prac licencjackich lub inżynierskich z informatyki
- 10.20-10.30 - Adam Zyzik
- 10.30-10.40 - Krzysztof Juszczyk
- 10.40-10.50 - Michał Doros
- 10.50-11:00 - Oskar Bujacz
- 11:00-11.10 - Maurycy Borkowski
- 11.10-11.20 - Michał Błaszczyk
- 11.20-11.30 - Patrycja Balik
- 11.30 - prezentacje najlepszych prac licencjackich z matematyki
- 11.30-11.40 - Paweł Dietrich
- 11.40-11.50 - Dominik Gdesz
- 11.50-12:00 - Maciej Kaczyński
- 12:00-12.10 - Jakub Kamiński
- 12.10-12.20 - Mateusz Kandybo
- 12.20-12.30 - Jakub Niksiński
- 12.30-12.40 - Daria Perkowska
- 12.40 - przerwa kawowa - w jej trakcie głosowanie nad nagrodą publiczności
- 13:05 - losowanie bluz wśród publiczności
- 13:10 - ogłoszenie wyników i wręczenie nagród
- 13:25 - prezentacja najlepszej pracy magisterskiej z informatyki: Jarosław Kwiecień
- 13.45 - prezentacja najlepszej pracy magisterskiej z matematyki: Patrycja Hęćka
Z pracami można zapoznać się na poniższych stronach:
- [prace inżynierskie/licencjackie z informatyki][4],
- [prace magisterskie z informatyki][2],
- [prace licencjackie i magisterskie z matematyki][3].
[1]: https://www.youtube.com/watch?v=d9zbQirFSdU
[2]: https://ii.uni.wroc.pl/instytut/aktualnosci/427
[3]: https://math.uni.wroc.pl/news/wyniki-konkursu-na-najlepsza-prace-dyplomowa
[4]: https://ii.uni.wroc.pl/instytut/aktualnosci/426
zmiany sal piatek 25 XI 2022
Poniedziałek, 21.11.2022 · 10:52
W związku z organizowanym w sali 25 wydziałowym konkursem prac dyplomowych piątkowe zajęcia (25 XI 2022) będą przeniesione:
pt 9–10 SYSTEMY OPERACYJNE (repetytorium) PIOTR POLESIUK - z sali 25 do 119;
pt 10–12 ANALIZA MATEMATYCZNA (wykład) MACIEJ PALUSZYŃSKI - z sali 25 do 119;
pt 10–12 MATEMATYKA DYSKRETNA (M) (repetytorium) ŁUKASZ JEŻ- z sali 119 do sali 4;
pt 12–14 ANALIZA NUMERYCZNA (L) (repetytorium) WITOLD KARCZEWSKI - z sali 25 do 119.
Wypisy dyrektorskie: zimowy 2022/23
Środa, 02.11.2022 · 12:53
Każdy student może w trakcie studiów skorzystać raz z wypisu dyrektorskiego. Efekt wypisu dyrektorskiego jak taki sam jak niezapisanie się na przedmiot.
Aby skorzystać z wypisu w tym semestrze, należy wysłać do 1 grudnia (1.12.2022 23:59) mail na adres jan.otop@uwr.edu.pl z konta @uwr.edu.pl. W mailu proszę wpisać nazwę przedmiotu oraz grupę ćwiczeniową. Nie jest konieczne uzasadnienie prośby.
Niebawem koniec zapisów
Piątek, 14.10.2022 · 14:16
Jeszcze przez dwa dni (do niedzieli 16.10 do końca dnia) można wypisywać się z przedmiotów. Proszę zwrócić uwagę na kolejki, do których jesteście Państwo zapisani, aby System Zapisów nie „wciągną” was w ostatniej chwili wypisów na zajęcia, na które nie chcecie uczęszczać.
W kolejnych dwóch dniach po wypisach (poniedziałek i wtorek 17-18.10) możliwe będzie wyłącznie zapisywanie się na zajęcia. Osoby, które nie zapisały się na preferowane zajęcia, powinny sprawdzić w tym czasie stany grup --- okazuje się, że w wielu grupach do popularnych przedmiotów pozostają wolne miejsca.