New open faculty positions at the Institute of Informatics, Faculty of Mathematics, Informatics and Mechanics UW have been opened.

Zostały otwarte nowe konkursy na stanowiska dydaktyczne i naukowo-dydaktyczne Instytucie Informatyki na Wydziale MIM UW.

Zachęcamy do lektury wspomnienia o zmarłym niedawno  Profesorze Bogdanie Bojarskim (1931–2018), autorstwa jego ucznia – Pawła Strzeleckiego. Zamieszczamy je w naszym Dziale Wspomnień.

Międzynarodowe zawody odbyły się w dniach 28-30 marca 2019 roku w Ostravie. W zawodach bardzo dobrze wypadła drużyna MIM UW, której trzech zawodników otrzymało medale oraz dyplomy za świetny wynik w zawodach. Zachęcamy do zapoznania się ze szczegółowym podsumowaniem.

Wiele zadań d-wymiarowych cierpi na przekleństwo wymiaru co znaczy, że minimalna liczba obliczeń potrzebna dla znalezienia przybliżenia jest wykładnicza w d. To może się zdarzyć nawet dla zadań bardzo gładkich jak będzie zilustrowane zadaniem aproksymacji wielowymiarowej dla funkcji C_∞.

The program committee of the ACM Symposium on Theory of Computing conference (STOC) – where every year, about 100 most important discoveries in theory of computer science are presented – has awarded the best paper award for article "The Reachability Problem for Petri Nets is Not Elementary"], whose authors among others are Wojciech Czerwiński and Sławomir Lasota.

Komitet programowy konferencji ACM Symposium on Theory of Computing (STOC) – na której prezentowanych jest około 100 najważniejszych w danym roku odkryć w informatyce teoretycznej – przyznał nagrodę za najlepszą pracę artykułowi "The Reachability Problem for Petri Nets is Not Elementary", której współautorami są  m. in. Wojciech Czerwiński i Sławomir Lasota (Instytut Informatyki MIM UW).

z żalem i smutkiem informujemy, że 3 marca zmarł w wieku 92 lat prof. Andrzej Kiełbasiński, a 5 marca, w wieku 90 lat, prof. Andrzej Granas. Sylwetki obu z nich – jakże różne i jakże charakterystyczne – pamiętamy dobrze z korytarzy w PKiN, na Śniadeckich 8 i na Banacha 2.

Sieci Petriego to stosunkowo prosty model obliczeń, a przy tym wciąż słabo zrozumiany ze strony teoretycznej i przez to ciekawy. Opowiem o problemie osiągalności w sieciach Petriego, który pyta, czy zaczynając z zadanej konfiguracji początkowej można osiągnąć zadaną
konfigurację końcową po skończonej liczbie ruchów. Pokażę, że problem ten pomimo prostego sformułowania jest dalece nietrywialny...

W sobotę 16 marca odbędzie się DOKO'19 – impreza popularyzująca wydziały i jednostki naukowe Kampusu Ochota. W programie panel interdyscyplinarny „Alicja w krainie nauki”, dyktando naukowe (z nagrodami!), wykłady, warsztaty, pokazy, naukowe pokoje odkrywców i wiele innych.

W 4. edycji BraveCamp – tygodniowej szkole zimowej, podczas której uczestnicy mogli rozwijać swoje pomysły na projekty naukowe i biznesowe – wzięło udział 22 studentów z UW i WUM.

Drugie miejsce zajął student informatyki Daniel Kałuża. Gratulujemy.

Z przyjemnością informujemy, że w ramach współpracy między Wydziałem Matematyki, Informatyki i Mechaniki UW oraz warszawskim oddziałem Nvidii, nasz Wydział otrzymał 28 kart TITAN V.

Liczby p-adyczne są teorioliczbowym odpowiednikiem liczb rzeczywistych. Są blisko związane z problemami w teorii liczb, ale jednocześnie można nad nimi uprawiać analizę matematyczną. W ostatnich latach poczyniono ogromne postępny w trudnej dziedzinie geometrii p-adycznej, z których duża część jest zasługą Petera Scholze, jednego z tegorocznych medalistów Fieldsa. Na wykładzie opowiem o części tych nowych wyników, w szczególności o pojęciu "przestrzeni perfektoidalnej" wprowadzonej przez Scholzego. Wykład nie jest skierowany do specjalistów.