Aktualności instytutowe – lipiec 2016

Zakończyła się rejestracja kandydatów. na studia, rekordowa pod względem liczby zapisów – w systemie IRK były 25 382 zgłoszenia. Hitem była chemia i toksykologia sądowa – o jedno miejsce na tym kierunku stara się aż 21 kandydatów.

Na informatykę zapisało się 573 osób, czyli o 111 osób więcej, niż w zeszłym roku. Na ISIM zapisało się 25 osób.

W dniach 15-16 września Pracownia Inteligencji Obliczeniowej organizuje wykłady i pokazy w ramach festiwalu nauki, a 27 września (eksperymentalnie, bo we wtorek) organizujemy drzwi otwarte. Jeżeli chcecie Państwo komuś polecić nasz instytut, przyślijcie go na te imprezy. Szczegóły: http://ii.uni.wroc.pl/studia/drzwi-otwarte

Maciej M. Sysło współorganizuje konferencję „Informatyka w Edukacji, XIII”: http://edu.rsei.umk.pl/iwe2016/, poświęconą w tym roku nowej
podstawie podstawie kształcenia informatycznego w szkołach,
w ramach którego informatyka i programowanie obejmie wszystkich
uczniów od pierwszej do ostatniej klasy.

W dniach 13-16 września w naszym instytucie odbędzie się kongres Polskich Towarzystw: Bioinformatycznego, Biofizycznego, Biotechnologicznego i Biologii Komórki.

Jarek Byrka będzie w trzech komitetach programowych w przyszłym roku:
CIAC 2017, COCOON 2017, ESA 2017

Anna Bartkowiak jest członkiem komitetów programowych trzech konferencji:
11th International Conference on Soft Computing Models in Industrial and Environmental Applications, http://www.ehu.eus/ccwintco/soco2016/.
5th Int. Conf. on Advances in Computing, Communications and Informatics, http://icacci-conference.org/2016/.
4th International Symposium on Women in Computing and Informatics (WCI-2016), http://icacci-conference.org/2016/wci-home.

Ciekawe prace
Marcin Bienkowski, Martin Böhm, Jaroslaw Byrka, Marek Chrobak, Christoph Dürr, Lukáš Folwarczný, Łukasz Jeż, Jiří Sgall, Nguyen Kim Thang and Pavel Veselý. Online Algorithms for Multi-Level Aggregation. ESA 2016.

Adam Kunysz. The Strongly Stable Roommates Problem. ESA 2016: Georgios Amanatidis, Evangelos Markakis and Krzysztof Sornat. Inequity Aversion Pricing over Social Networks: Approximation Algorithms and Hardness Results. MFCS 2016.

Mary Webb, Niki Davis, Tim Bell Yaacov J. Katz, Nicholas Reynolds, Dianne P. Chambers, Maciej M. Sysło, Computer science in K-12 school curricula of the 2lst century: Why, what and when? Education and Information Technologies, Springer

Reklamy

Aktualności instytutowe – czerwiec 2016

Koło naukowe Contuinuum zdobyło w swoim debiucie poza Polską trzecie miejsce w 2016 University Rover Challenge. Informacja o sukcesie trafiła do mediów: http://wroclaw.wyborcza.pl/wroclaw/1,35771,20194076,nasi-studenci-w-usa-wielki-sukces-w-miedzynarodowym-konkursie.html#BoxLokWrocLink

Nasi studenci zdobyli brązowy medal w zawodach ACM-ICPC, akademickich mistrzostwach świata w programowaniu zespołowym https://icpc.baylor.edu/scoreboard/. Sukces docenił nawet wicepremier: http://ii.uni.wroc.pl/static/minister.mp4

Paweł Woźny został jednym z 10 ekspertów Zespołu Nauk Ścisłych Polskiej Komisji Akredytacyjnej w zakresie nauk matematycznych na kadencję 2016-2019.

W czwartek o 18 w instytucie odbędzie sie Zoombie A-Tech, a view on modern Video games development by TECHLAND. https://www.facebook.com/events/2046359402255406/

Prace, wykłady i recenzje

Emanuel Kieroński wygłosi zaproszony referat na workshopie LCC 2016, http://lcc2016.cs.unibo.it/.

Łukasz Piwowar wygłosił wykład „Making hack art, inspire by code and optimization” na konferencji FMX 2016 (http://www.fmx.de),a także recenzował prace na konferencję Web3D (http://web3d2016.web3d.org).

Wiktor Zychla. Heterogeneous System Architecture in Education Management Software. Zaakceptowana na XVIII KKIO Software Engineering Conference organizowaną przez PTI w dniach 15-17 września. http://kkio.pti.org.pl/en/home-en/

Andrzej Kisielewicz, Jakub Kowalski and Marek Szykuła. Experiments with Synchronizing Automata. CIAA 2016.

Marek Szykuła and Vojtěch Vorel. An Extremal Series of Eulerian Synchronizing Automata. DLT 2016.

Emanuel Kieroński jest członkiem komitetu programowego ICALP 2017.

Anna Bartkowiak jest członkiem  SPC (Scientific Program Committee) następujących Konferencji Naukowych
CISIM’2016 (15-th Intern. Conf. on Computer Information Systems and Industrial Managements Applications),  Vilnius, 14-16.09.2016
AAIA’16 (11th Int. Symposium: Advances in Artificial Intelligence and Applications), part of: FedCSIS’2016 (Computer Science and Information Systems)  Gdańsk, 11-14.09. 2016
ICTD-CMMNO (6th Intern. Conf. on Technical Diagnostics, and 5th Int. Conf. on Condition Monitoring of Machinery in Non-stationary Operations), Gliwice, 12-16.09.2016

Aktualności instytutowe – maj 2016

Tomasz Jurdziński został nowym dziekanem wydziału. Jego kadencja zacznie się 1 września. Funkcję prodziekana do spraw nauczania informatyki ma przejąć dr hab. Jarosław Byrka.

Artur Jeż wygłosi zaproszony referat na konferencji STACS 2017.

Maciej M. Sysło otrzymał grant Google w ramach inicjatywy CS4HS – Computer Science for High Schools.

Francho Melendez otrzymał grant NVidia Hardware Grant składający się z Jetson TX1.

Dariusz Biernacki, został uhonorowany 19 kwietnia nadaniem stopnia naukowego doktora habilitowanego. Jego osiągnięcie habilitacyjne Operatory sterowania w językach programowania wyższego rzędu: Struktura typów oraz równoważność programów, zostało uznane za wyróżniające.

We wtorek, 17.05.2016, odbędzie się w Instytucie Informatyki Matura licealistów III Liceum Ogólnokształcącego we Wrocławiu. W związku z tym wszystkie pracownie komputerowe będą zamknięte od 12:00 w poniedziałek do 14:00 w środę.

13 czerwca odbędzie się wykład Dr. Larsa Danneckera (Senior Developer, SAP) poświęcony technologii SAP HANA Vora (godz. 12.15, sala 25). Po prezentacji będzie możliwość rozmowy na tematy ewentualnej współpracy naukowej, staży studenckich itp.

Paweł Gawrychowski jest członkiem komitetu programowego SPIRE 2016.

Ciekawe prezentacje i prace:

Francho Melendez. Loving Vincent: Guiding Painters through 64.000 frames. Related to the work in the film Loving Vincent http://www.lovingvincent.com/ . SIGGRAPH 2016.

Volker Diekert, Artur Jeż, Manfred Kufleitner. Solutions of Word Equations over Partially Commutative Structures. ICALP 2016.

Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk. Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation. 1st International Conference FSCD – Formal Structures for Computation and Deduction

Aktualności instytutowe – kwiecień 2016

Koło Continuum dostało 140800 złotych na projekt budowy łazika marsjańskiego Aleph 1 w ramach konkursu „Najlepsi z najlepszych!”. Twórcy łazika Aleph 1 zakwalifikowali się również do finału międzynarodowych zawodów University Rover Challenge. Więcej: http://www.wmi.uni.wroc.pl/node/331

2 kwietnia odbyła się kolejna edycja Wielkiej Przesmyckiej. Zwyciężył nasz absolwent, Jakub Tarnawski. http://przesmycka.ii.uni.wroc.pl/2016/

1 kwietnia zainaugurowała swoje działanie nowa strona instytutu. Poprzednia strona służyła nam niemal równo 5 lat. Główną zaletą nowej strony ma być tzw. Responsive Design.Nowym rektorem UWr został Adam Jezierski. 6 kwietnia odbędą się wybory prorektorów, natomiast do dnia 20 czerwca 2016 mają się odbyć wybory dziekanów, prodziekanów, oraz delegatów do Senatu.

Pojawiły się wizualizacje budynków, które mają powstać przy
* Polaka 14
http://s18.postimg.org/fxkmsvyq1/61tgclu05s.jpg http://s18.postimg.org/q3xtpm8i1/zogw5t718i.jpg http://s8.postimg.org/5lbw81n1x/7dsntj0ali.jpg http://s18.postimg.org/xrkq7x761/p9i6en5qy8.jpg
* Polaka 10
http://s18.postimg.org/s4odag4nd/p89b2iojt3.jpg http://s18.postimg.org/6waot0q6h/sfpwl327a1.jpg
(Za http://www.skyscrapercity.com/showthread.php?t=425420 oraz http://toscom.pl/p/polaka-14/wizualizacje )

Nadchodzące wydarzenia

16 kwietnia odbędą się drzwi otwarte. W tym roku, chyba po raz pierwszy, jeden z wykładów będzie w języku angielskim:
„Movies, Video Games, and Computer Science”, dr Francho Melendez.
Więcej na stronie http://ii.uni.wroc.pl/studia/drzwi-otwarte

5 kwietnia o 12:00 odbędzie się w 119 publiczna obrona pracy doktorskiej Tomasza Gogacza.

Na seminarium TIBAD w tym miesiącu prezentacje wygłoszą Tomasz Gogacz (8 kwietnia o 12:15 w 310) oraz Jan Otop (22 kwietnia o 12:15 w 310). Więcej informacji na stronie http://tibad.ml.

6 kwietnia o 15 w sali 25 odbędzie się wykład specjalistów z Nokia Bell Labs: https://www.facebook.com/TcWroclaw/photos/a.123386321164888.1073741831.115507448619442/375261655977352/?type=3&theater

8 kwietnia zacznie się kolejna edycja  Wroclaw Does IT, w ramach którego siedem firm z siedzibami we Wrocławiu będzie przedstawiać najnowsze technologie stosowane w biznesie. Więcej na stronie https://www.facebook.com/events/214588325575117/?active_tab=posts

Ciekawe publikacje

Maciej Graboń, Jakub Michaliszyn, Jan Otop, Piotr Wieczorek. Querying Data Graphs with Arithmetical Regular Expressions, IJCAI 2016

(Maciej jest magistrantem Piotra Wieczorka)

Jan Otop, K. Chatterjee, T. A. Henzinger. Quantitative Automata under Probabilistic Semantics, LICS 2016

Hans De Nivelle. Subsumption Algorithms for Three-Valued Geometric Resolution. IJCAR 2016.

Aktualności instytutowe – marzec 2016

2 marca odbędzie się głosowanie indykacyjne w ramach wyborów rektora Uniwersytetu Wrocławskiego. Nasz instytut będą reprezentowali Witold Charatonik, Tomasz Jurdziński, Jerzy Marcinkowski, Paweł Laskoś-Grabowski i Jan Otop.

17 edycja ZOSI odbyła się w Karpaczu w dniach 25-28 lutego 2016. Wzięło w niej udział około 170 uczestników.

Powstało seminarium zakładu Teorii Informatyki i BAz Danych (TIBAD), którego spotkania będą odbywać się w parzyste piątki miesiąca o 12:15 w sali 310. Inauguracyjny referat o bazach danych wygłosi Piotr Wieczorek 11 marca. Więcej informacji na stronie http://tibad.ml/.

Panie Elżbieta Jakubczak i Maria Woźniak przechodzą w tym semestrze na emeryturę. Trwa już nabór na ich miejsce.

Leszek Pacholski jest członkiem zarządu (executive board) Eqanie (europejska agencja akredytacyjna) http://www.eqanie.eu/ i wiceprezydentem Informatics Europe (związek wydziałów informatyki w Europie) http://www.informaticseurope.org/.

Artur Jeż opublikował w Journal of the ACM 63(1) pracę Recompression: A Simple and Powerful Technique for Word Equations.

Nadchodzące wydarzenia:

18 marca w naszym instytucie odbędzie się hackathon BrainCode 2016, organizowany przez allegro: http://allegro.tech/braincode/.

19 marca odbędzie się w II konkurs programistyczny PIZZA 2016. Zakwalifikowano do niego 35 drużyn spośród 115 zgłoszonych. https://pizza.natodia.net/.

Aktualności instytutowe – luty 2016

Jarek Byrka dostał półtoramilionowy grant w konkursie SONATA BIS 5 na projekt Algorytmiczne podstawy sieci logistycznych. Według opisu, w ramach projektu będą rozwijane nietrywialne metody algorytmiczne dla fundamentalnych problemów optymalizacyjnych związanych z sieciami transportowymi. W szczególności członkowie projektu skoncentrują się na konstrukcji algorytmów dla planowania hierarchicznych sieci transportowych. Będę również badać złożoność problemu dynamicznej agregacji transportu w wielopoziomowych sieciach drzewiastych, uwzględniając dynamikę zapotrzebowania na transport na etapie projektowania sieci transportowej.

Mateusz Lewandowski dostał wyróżnienie w konkursie na najlepszą pracę magisterska z informatyki PTI.

M.M. Sysło był ekspertem w delegacji MEN na „The Education World Forum. Global Summit for Education Ministers”, w Londynie 17-20 Stycznia 2016. To Forum jest organizowane przez rząd Wielkiej Brytanii i poprzedza edukacyjne targi BETT, poświęcone głównie wykorzystaniu technologii na wszystkich szczeblach kształcenia.

Od 1 lutego Emanuel Kieroński i Paweł Woźny są zatrudnieni jako profesorowie nadzwyczajnymi.

Ciekawostki:

W tym roku ćwiczenia z logiki dla informatyków zaliczyło 55 osób w grupach zwykłych i 24 osoby w grupach zaawansowanych, razem 79 osób spośród 169 zapisanych (47%).

Jan Otop 9 stycznia zawarł związek małżeński. Gratulujemy.

Jarek Byrka jest w PC konferencji FUN 2016.

Sprawy bieżące:

Na stronie https://sites.google.com/a/cs.uni.wroc.pl/sprawy-dydaktyczne/home/plan-zajec-lato-2015-16 jest dostępny wstępny plan zajęć na kolejny semestr.

9 lutego o 12:30 w 119 odbędą się wybory elektorów z grupy pracowników samodzielnych, a 8 lutego o 11:15 w 119 z grupy pozostałych pracowników.

W dniach 5-6 lutego w Warszawie odbedzie się Forum Informatyki Teoretycznej, na którym nasz instytut będą reprezentować Mateusz Lewandowski, Grzegorz Stachowiak, Jakub Michaliszyn, Krzysztof Nowicki, Marcin Bieńkowski, Tomasz Jurdziński, Krzysztof Sornat, Michał Karpiński, Emanuel Kieroński, Paweł Garncarek, Piotr Wieczorek, Leszek Pacholski, Michał Różański, Łukasz Jeż i Maciej Pacut.

Ciekawe publikacje:

Patryk Filipiak, Bartlomiej Golenko, Cezary Dolega. NSGA-II based Auto-Calibration of Automatic Number Plate Recognition Camera for Vehicle Speed Measurement. EvoSTAR 2016.
Artykuł traktuje o automatycznej kalibracji kamer pomiarowych przy użyciu metod inteligencji obliczeniowej. Pewien wariant metody przedstawionej w artykule zaimplementowany został w systemie NeuroCar firmy Neurosoft.

Jakub Michaliszyn, Alessio Lomuscio. Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions. International Conference on Principles of Knowledge Representation and Reasoning (KR 2016).

Jakub Michaliszyn, Alessio Lomuscio. Verification of Multi-Agent Systems via Predicate Abstraction against ATLK specifications. International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016).

Jaroslaw Byrka, Bartosz Rybicki, Sumedha Uniyal. An approximation algorithm for Uniform Capacitated k-Median problem with 1 + ε capacity violation. Conference on Integer Programming and Combinatorial Optimization (IPCO 2016).

Jaroslaw Byrka, Shanfei Li, Bartosz Rybicki. Improved Approximation Algorithm for k-level Uncapacitated Facility Location Problem (with Penalties). Theory of Computing Systems.

Jakub Kowalski, Marek Szykuła. Evolving Chess-like Games Using Relative Algorithm Performance Profiles, Applications of Evolutionary Computation. EvoApplications 2016.

P. Gospodarczyk, P. Woźny. Merging of Bézier curves with box constraints. Journal of Computational and Applied Mathematics 296 (2016), 265-274.

P. Gospodarczyk, S. Lewanowicz, P. Woźny. G^{k,l}-constrained multi-degree reduction of Bézier curves. Numerical Algorithms 71 (2016), 121-137.

Aktualności instytutowe – grudzień 2015

Dwie osoby z naszego instytutu zdobyły granty NCN:

W sali 25, 16 grudnia o godz. 17.15, będzie można zobaczyć prace zakwalifikowane do tegorocznej edycji SIGGRAPH Asia, jednej z najbardziej prestiżowych imprez poświęconych cyfrowej animacji. W tym roku jednym z jurorów był prof. Tomasz Bednarz – na co dzień pracownik australijskiego Queensland University of Technology – który jest właśnie gościem naszego Instytutu. Więcej.

Łukasz Piwowar został organizatorem Wroclawskiego Khronos Chapter. Pierwsze spotkanie, poświęcone OpenGL, OpenCL, Vulcan oraz VR, odbyło się 9 grudnia w Mleczarni.

8 grudnia odbyła się nieoficjalna, przedświąteczna kolacja instytutowa. Wzięło w niej udział 13 osób. Nie zabrakło ośmiorniczek.

Zimowy Obóz Studentów Informatyki A obędzie się w dniach 25-28 lutego 2016 w Domu Wczasowym “Mieszko” w Karpaczu. Cytując dyrektora Jerzego Marcinkowskiego:
-Jeżdżę na niego co roku  i uważam że ten obóz to jest ważny element budowania ze studentami wspólnoty.  Jest imponujące jak sprawnie oni to potrafią zorganizować i  jak ciekawe wykłady wielu z nich potrafi przygotować.  Można pogadać z absolwentami, bo wielu tradycyjnie się pojawia (w zeszłym roku kilkanaście osób przyjechało specjalnie z zagranicy). Pojawiają się przedstawiciele firm które chcą naszych studentów zatrudnić.

Przypominam, że w dniach 23.12.2015 r. – 03.01.2016 r. jest przerwa świąteczna, a 5 stycznia 2016 r. (wtorek) przeprowadzone zostaną zajęcia środowe.

Na początku grudnia Krzysztof Sornat wrócił z 3-miesięcznego stażu naukowego odbywanego na Athens University of Economics and Business, gdzie współpracował z Vangelisem Markakisem nad problemami z algorytmicznej teorii gier.

Ciekawostka: pojawił się ranking, w którym Uniwersytet Wrocławski zajmuje setne miejsce na świecie:
http://www.technologyreview.com/view/544266/wikipedia-mining-algorithm-reveals-worlds-most-influential-universities/?utm_content=buffer0b037&utm_medium=social&utm_source=facebook.com&utm_campaign=buffer

Paweł Gawrychowski jest członkiem komitetu programowego ESA 2016 i CPM 2016, Artur Jeż jest w komitecie programowym UNIF 2016, a Jakub Michaliszyn w komitecie programowym IJCAI 2016. Gosia Biernacka jest w komitecie programowym dwóch konferencji: 17th Symposium on Trends in Functional Programming oraz 21st International Conference on Types for Proofs and Programs, a Darek Biernacki jest w komitecie programowym konferencji 18th International Symposium on Principles and Practice of Declarative Programming.

Ciekawe publikacje:
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations. Dariusz Biernacki, Olivier Danvy and Kevin Millikin. ACM Transactions on Programming Languages and Systems (TOPLAS), 38(1): 2, 2015.

Jakub Kowalski, Andrzej Kisielewicz. Towards a Real-time Game Description Language. International Conference on Agents and Artificial Intelligence (ICAART 2016).