6 marca 2020 14:20
Aktualności instytutowe powracają!
Marcin Bieńkowski (University of Wroclaw), Jarosław Byrka (University of Wroclaw), Christian Coester (CWI), Łukasz Jeż (University of Wroclaw)
Bartłomiej Dudek (University of Wrocław), Paweł Gawrychowski (University of Wrocław), Tatiana Starikovskaya (Ecole Normale Superieure)
DCOSS 2020 (16th International Conference on Distributed Computing in
Sensor Systems)
Minister Nauki i Szkolnictwa Wyższego powołał Pawła Woźnego na członka Polskiej Komisji Akredytacyjnej VI kadencji (2020-2023). Paweł będzie pracował w Zespole nauk ścisłych i przyrodniczych. Jest jedynym reprezentantem ,,ścisłej'' informatyki w składzie PKA.
Michał Kowalczykiewicz wygłosi wykład popularyzatorski na konferencji CareerCon 2020 (będzie w kwietniu) - https://careercon.pl/konferencja/kariera-it-wroclaw-04-04.
Zdzisław Płoski postawił ostatnią kropkę w przekładzie ponad 1000-stronicowego dzieła A. Silberschatza, P. Galvina i G. Gagne'a pt. "Operating System Concepts, Tenth Edition", dołączając erratę do oryginału. Podręcznik ten jest obecnie na etapie opracowania redakcyjnego.
Tomasz Drab wystąpił w radiu Luz jako m.in. doktorant UWr w audycji „Ściśle mówiąc” nt. uczenia maszynowego.
Jarosław Byrka będzie PC chair konferencji APPROX 2020
Przemek Uznański: PC na FUN 2020 (https://sites.google.com/view/fun2020/home), CPM 2020 (http://cpm2020.compute.dtu.dk/), PODC 2020 (https://www.podc.org/) i IWOCA 2020 (https://iwoca2020.labri.fr/)
Bartosz Bednarczyk, Franz Baader, Sebastian Rudolph Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020)
Paweł Gawrychowski, Martin Lange, Narad Rampersad, Jeffrey Shallit, Marek Szykuła. Existential length universality. STACS 2020.
Jerzy Marcinkowski został zaproszony jako invited speaker na ICDT 2020, będzie miał też pracę z Tomkiem Gogaczem i Andreasem Pierisem na PODS 2020.
Maciej Pacut obronił pracę doktorską pt. Algorithmic aspects of contemporary networks. Streszczenie pracy oraz recenzje dostępne są na stronie: https://www.ii.uni.wroc.pl/instytut/aktualnosci/184
Maksymilian Mika został laureatem drugiego miejsca w konkursie Polskiego Towarzystwa Informatycznego na najlepsze prace magisterskie z informatyki. Tytuł nagrodzonej pracy to "The Frobenius and factor universality problems of the free monoid on a finite set of words." Promotorem był Marek Szykuła. W konkursie wyróżniony został również Radosław Serafin za pracę "Efficient algorithms for some problems related to longest increasing subsequence" napisaną pod kierunkiem Pawła Gawrychowskiego.
8 listopada gościliśmy wrocławską edycję konkursu programistycznego CodingContest.org. W 37 miastach na 3 kontynentach wzięło w nim udział 4200 programistów. Przed głównymi zawodami odbyły się dodatkowe w wersji dla uczniów liceów.
13 grudnia organizujemy NASK Day - program przewiduje m.in. wykłady dla uczniów szkół średnich.
Piotr Wieczorek opowiadał w Radiu RAM o historii internetu: https://www.radioram.pl/articles/view/37683/FutuRAM-piecdziesiatka-internetu-PODCAST
Centrum Obliczeniowe uruchomiło dwa nowe serwery połączone w klaster HA na platformie VMware. Klaster serwerów podłączony jest redundantnie do wydajnej macierzy dyskowej za pomocą przełączników Fibre Channel. Serwery obsługują 33 maszyny wirtualne: m.in. kilka sprawdzaczek, hosting stron www, maszyny studenckie związane dydaktyką oraz pracowniczy swiatowit i pozostałe maszyny związane z obsługą usług sieciowych. Klaster zastąpił 6 fizycznych wysłużonych serwerów (afrodyta, hera, swiatowit, zeus oraz 2 Sun-y). Najstarszy z nich: hera miała 14 lat.
W sali 25 zostały zainstalowane nowe mikrofony bezprzewodowe. System działa w paśmie WiFi dzięki czemu jest odporny na zakłócenia.
Komitety programowe
Katarzyna Paluch - EuroCG 2020,
Jerzy Marcinkowski - PODS 2021
Październik 2019
Uniwersytet Wrocławski znalazł się w gronie 10 laureatów konkursu "Inicjatywa Doskonałości - Uczelnia Badawcza": https://www.gov.pl/web/nauka/bohaterowie-konkursu-idub-czyli-najlepsze-uczelnie-w-kraju
Nasza drużyna zajęła drugie miejsce na Akademickich Mistrzostwach Polski w Programowaniu Zespołowym. Drużyna startowała w składzie Mateusz Rzepecki, Michał Górniak, Anadi Agrawal. Ranking zawodów: http://amppz.tcs.uj.edu.pl/ranking/ Gratulacje dla zawodników oraz dla ich opiekunów.
W ramach kolejnej edycji programu "Najlepsi z najlepszych" otrzymaliśmy grant na sfinansowanie udziału zespołu "Continuum" w zawodach łazików marsjańskich ERC 2019 i URC 2020. Kwota dofinansowania to 174 078,13 PLN. Dziękujemy wszystkim zaangażowanym w przygotowanie wniosku.
Uniwersytet Wrocławski otrzymał środki na wsparcie laureatów olimpiad oraz wybitnych studentów w ramach programu "Szkoła Orłów". Program dotyczy obecnych studentów I roku studiów I stopnia, w jego ramach przewidziano stypendia oraz indywidualną opieką tutorów przez 3 lata studiów. Na UWr w tym roku przyjęto 14 laureatów, 8 z nich studiuje na naszym wydziale. Przewiduję, że każdy z nich powinien zostać zakwalifikowany do programu od I roku studiów. Szczegółowe kryteria wyboru dodatkowych 14 studentów po I roku są opracowywane przez rektora i jego współpracowników.
W piątek 4 października odbył się finał konkursu na najlepsze prace dyplomowe na Wydziale Matematyki i Informatyki. W trakcie finału swoje prace zaprezentowali autorzy najlepszych prac dyplomowych z matematyki i informatyki, a Łukasz Ryniewicz z banku Santander S.A. wygłosił prelekcję ”Jak kopać w danych - sieci społeczne i data mining”. Lista laureatów: http://ii.uni.wroc.pl/instytut/aktualnosci/178
Klaudia Osowska, nasza studentka, została laureatką stypendium Intela i Perspektyw. Stypendystki znajdą się pod opieką Mentora lub Mentorki - doświadczonych pracowników firmy Intel, otrzymają stypendium w wysokości 12 000 zł, a także możliwość udziału w programie stażowym Intel Technology Poland.
Paweł Laskoś-Grabowski został wydziałowym koordynatorem ds. komercjalizacji.
Krzysztof Sornat obronił pracę doktorską pt. "Approximation Algorithms for Multiwinner Elections and Clustering Problems". Promotorem pracy jest Jarosław Byrka, a recenzentami Ola Svensson (EPFL) oraz Piotr Sankowski (UW).
Ola Svensson: Krzysztof’s thesis is an outstanding contribution (...) I recommend that it is accepted with distinction. (...) I deem it outstanding and I would consider it for awards if it was a PhD thesis of EPFL.
Więcej informacji: http://ii.uni.wroc.pl/instytut/aktualnosci/179
Magistrantka Jana Chorowskiego Julia Heine we współpracy z Uniwersytetem w Bonn i Capgemini pracuje nad wykrywaniem pasożytów powodujących ślepotę rzeczną za pomocą sieci neuronowych, pierwsze wyniki będą zaprezentowane na Gates Foundation Grand Challenge Annual Meeting.
Wykłady, prezentacje:
Michał Kowalczykiewicz wygłosił prelekcję na konferencji InfoMEET - https://www.infomeet.pl/prelegenci/michal-kowalczykiewicz/.
27 września Paweł Woźny odwiedził Zespół Szkół Nr 2 im. Przyjaźni Polsko-Norweskiej w Ostrzeszowie, gdzie miał wykład i warsztaty dla uczniów. W ZS nr 2 w Ostrzeszowie informatyki uczy nasz absolwent Adam Fulara (to naprawdę nietuzinkowa osoba; zobaczcie np. tu: https://en.wikipedia.org/wiki/Adam_Fulara ), który opracował autorski program nauczania dla klasy o kierunku ,,technik informatyk-programista'' ( http://www.zs2.ostrzeszow.pl/page/programista ). Opiekę nad stworzonym przez niego programem nauczania objął właśnie nasz Instytut. Osoby chcące popularyzować informatykę z ZS nr 2 w Ostrzeszowie i współpracować z Adamem prosimy o kontakt z Pawłem Woźnym.
Komitety Programowe:
Emanuel Kieroński AAAI 2020 ECAI 2020
Jan Otop Concur 2020
Prace:
P. Woźny, F. Chudy, Linear-time geometric algorithm for evaluating
Bézier curves, Computer Aided-Design 118 (2020), 102760. DOI: https://doi.org/10.1016/j.cad.2019.102760
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop: Quantitative Automata under Probabilistic Semantics. Logical Methods in Computer Science
Jakub Michaliszyn, Jan Otop: Non-deterministic weighted automata evaluated over Markov chains. Accepted to JCSS