Aktualności instytutowe - maj 2020 - Instytut Informatyki UWr

2 czerwca 2020 11:41

Wybory dziekana - został zgłoszony jeden kandydat - jest nim Tomasz Jurdziński. Debata odbędzie się we wtorek 2.06.2020 r., o godz. 12.15 (w formie zdalnej), a posiedzenie Kolegium Elektorów z głosowaniem na wtorek 9.06.2020 r., o godz. 12.15 (w formie zebrania wyborczego w salach 13 i 25 Instytutu Informatyki).

Deklaracja programowa kandydata i jego życiorys.

19 maja Rada Dyscypliny Naukowej Informatyka nadała Janowi Chorowskiemu stopień doktora habilitowanego - rozprawa: Zastosowanie głębokich sieci neuronowych do rozpoznawania i przetwarzania mowy.

Paweł Gawrychowski otrzymał Best Paper Award na ICALP 2020 za pracę Minimum Cut in O(m log^2 n) Time. (współautorzy - Shay Mozes and Oren Weimann)

Krzysiek Nowicki został laureatem FNP START 2020: https://www.fnp.org.pl/laureaci-start-2020/

Narodowe Centrum Nauki ogłosiło wyniki konkursów grantowych OPUS i SONATA - Jan Chorowski otrzymał 1,4 mln zł na projekt Odkrywanie ukrytej struktury danych na podstawie obserwacji, a Marek Adamczyk 800 tys. zł na projekt Optymalizacja kombinatoryczna w warunkach niepewności: matroidy, skojarzenia i funkcje submodularne.

11.05 Jankowi Otopowi urodził się syn Piotr Aleksander.

Trwa rekrutacja na studia doktoranckie - rejestracja kandydatów kończy się 13 czerwca. Lista potencjalnych promotorów wraz z opisem ich zainteresowań znajduje się na stronie Kolegium Doktoranckiego Informatyki.

Dzień Otwarty Online Instytutu Informatyki ma już ponad 2500 wyświetleń!

W klasyfikacji drużynowej zawodów CODINGAME SPRING CHALLENGE 2020 pierwsze miejsce zajął Uniwersytet Wrocławski. Zawody polegają na pisaniu programu, który będzie grał w zaproponowaną przez organizatorów grę rywalizując z programami innych uczestników zawodów.

Jakub Kowalski, Damian Straszak oraz Piotr Wieczorek rozmawiali z Maciejem Przestalskim z Radia RAM o zawodach organizowanych na platformie CodinGame, a także na inne tematy związane ze sztuczną inteligencją w grach: podcast.

Komitety programowe:

Jan Otop CONCUR 2020

Emanuel Kieroński ICALP 2021 (Track B)

Ciekawe prace (w tym 5xA*):

Marcin Bienkowski, Maciej Pacut and Krzysztof Piecuch. An Optimal Algorithm for Online Multiple Knapsack, ICALP 2020

Pawel Gawrychowski, Shay Mozes and Oren Weimann: Minimum Cut in O(m log^2 n) Time. ICALP 2020 (Best Paper Award na Track A)
Panagiotis Charalampopoulos, Pawel Gawrychowski and Karol Pokorski: Dynamic Longest Common Substring in Polylogarithmic Time. ICALP 2020

Giulia Bernardini, Paola Bonizzoni and Pawel Gawrychowski: On Two Measures of Distance between Fully-Labelled Trees. CPM 2020

Pawel Gawrychowski, Samah Ghazawi and Gad M. Landau: On Indeterminate Strings Matching. CPM 2020

Pallavi Jain, Krzysztof Sornat, Nimrod Talmon. IJCAI 2020. Participatory Budgeting with Project Interactions.

Szymon Dudycz, Pasin Manurangsi, Jan Marcinkowski, Krzysztof Sornat. IJCAI 2020. Tight Approximation for Proportional Approval Voting.

Bartosz Bednarczyk, Robert Ferens, Piotr Ostropolski-Nalewaja. IJCAI 2020. All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs.

Bartosz Bednarczyk, Stephane Demri, Alessio Mansutti. IJCAI 2020. A Framework for Reasoning about Dynamic Axioms in Description Logics.

B. Bednarczyk, S. Demri, R.Fervari, A.Mansutti LICS 2020 Modal Logics with Composition on Finite Forests: Expressivity and Complexity

---

Informacje z Instytutu Matematycznego:

Pod koniec kwietnia zorganizowane zostały Wirtualne Drzwi Otwarte Instytutu Matematycznego. Ich zapis na Youtube został już obejrzany ponad tysiąc razy. Jest on dostępny pod linkiem:
https://www.youtube.com/watch?v=16FckaDF8do&t=2077s
Jednym z elementów Wirtualnych Drzwi Otwartych był krótki wykład Grzegorza Karcha o matematyce epidemii:
https://www.youtube.com/watch?v=hCLYH_XhPRE&t=65s

*

Fundacja mBank ogłosiła laureatów IV edycji konkursu Krok w przyszłość na najlepszą pracę studencką z matematyki.
Wyróżnienie oraz nagrodę 10 tys. zł otrzymał Daniel Danielski z naszego Instytutu, za pracę magisterską „Prostokątne grupy Coxetera o brzegu homeomorficznym z krzywą Mengera”, napisaną pod opieką prof. dr hab. Jacka Świątkowskiego.
Do finału, oprócz 8 innych osób, zakwalifikował się także Kajetan Jastrzębski za pracę licencjacką „Symetria jądra ciepła operatorów nielokalnych” (promotor: prof. dr hab. Krzysztof Bogdan).

*

Laureatem Nagrody Instytutu Matematycznego Polskiej Akademii Nauk w 2020 r. został dr Damian Osajda za wybitne osiągnięcia w dziedzinie geometrycznej teorii grup.
W uzasadnieniu przyznania nagrody Damianowi Osajdzie czytamy: "Jest jednym z najlepszych na świecie specjalistów młodego pokolenia w geometrycznej teorii grup. Jego prace ukazują się w znakomitych czasopismach takich jak Duke, GAFA, Advances in Mathematics, Geometry & Topology czy Memoirs AMS. Główne osiągnięcia badawcze Damiana Osajdy dotyczą grup dyskretnych związanych z rozmaitymi daleko idącymi uogólnieniami pojęcia niedodatniej krzywizny, pod które położył podwaliny. Wśród nich wymienić należy teorię niedodatniej krzywizny symplicjalnej i jej uogólnienia, teorię grafowych małych skreśleń, teorię kompleksów bukolicznych, oraz teorię grafów i grup Helly'ego. Stosując własności i techniki z tych uogólnionych teorii, Damian Osajda rozstrzygnął wiele otwartych problemów i hipotez. Między innymi, skonstruował od dawna poszukiwane pierwsze przykłady grup, których grafy Cayleya zawierają izometrycznie zanurzone bardzo specjalne grafy zwane ekspanderami - grupy te przez niektórych nazywane są monstrami Osajdy."

*

Laureatem szóstej edycji Nagrody im. Kamila Duszenko został Camille Horbez. W 2014 roku obronił na Uniwersytecie w Rennes doktorat napisany pod kierunkiem Vincenta Guirardela. Obecnie pracuje w CNRS w Orsay. Wcześniej pracował także jako visiting professor w University of Utah, MSRI oraz w Fields Institute.
Camille napisał błyskotliwy doktorat, w którym zastosował metody spacerów losowych do udowodnienia alternatywy Titsa (każda podgrupa albo zawiera podgrupę wolną albo ma rozwiązalną podgrupę skończonego indeksu) i alternatywy Handela-Moshera (analog twierdzenia o rozkładzie na komórki Jordana) dla grup automorfizmów zewnętrznych grup wolnych Out(F_n) i pewnych ogólniejszych klas grup. Opublikował 20 artykułów wnosząc istotny wkład w badanie brzegów pewnych przestrzeni hiperbolicznych, na których działa grupa Out(F_n) i ich zastosowań związanych ze sztywnością i brzegową średniowalnością.

Camille współorganizuje semestr badawczy w Instytucie Henri Poincarégo w roku 2022. W chwilach wolnych gra na flecie prostym (barokowym).

Strona laureata: https://www.imo.universite-paris-saclay.fr/…/page-anglais.h…
Strona nagrody: http://kamil.math.uni.wroc.pl/pl/matematycznych/nagrodzeni/
O Kamilu Duszenko: http://kamil.math.uni.wroc.pl/pl/o-kamilu-duszenko/

*

Projekt "Oszacowania norm transformat Riesza" kierowany przez dr. hab. Błażeja Wróbla z Instytutu Matematycznego, uzyskał dofinansowanie w konkursie PRELUDIUM BIS Narodowego Centrum Nauki.
PRELUDIUM BIS to nowy rodzaj konkursów NCN na sfinansowanie czteroletniego stypendium i badania doktoranta w ramach szkoły doktorskiej.

*

W zamkniętym właśnie konkursie na zatrudnienie w Instytucie wpłynęło kilkadziesiąt podań z różnych stron świata.

*

Grzegorz Plebanek doczekał się wnuka; wnuk urodził się w Montevideo (8 marca) i nosi egzotyczne imię Nahuel.
Edyta Kania została natomiast mamą Wojciecha.