Harmonogram referatów
Abstrakty do referatów.
- Piątek 24 IV
- 13:00 - 15:30 Obiad
- 15:30 - 16:45 Prezentacja referatów
- 15:30-15:45 Łukasz Kowalik
Wykładnicze algorytmy aproksymacyjne dla problemów
- 15:45-16:00 Frantisek Galcik
Communication in radio networks with long-range interference
- 16:00-16:15 Przemysław Gordinowicz
Szybki algorytm wyznaczania maksymalnego przepływu w sieciach.
- 16:15-16:45 Paweł Prałat
Ściganie bandytów w grafie losowym (Chasing robbers on random graphs: zigzag theorem)
- 16:45 - 17:30 Przerwa kawowa
- 17:30 - 18:45 Prezentacja referatów
- 17:30-17:45 Wiktor Żelazny
Szczęśliwe etykietowania grafów
- 17:45-18:00 Sebastian Czerwiński
Rozgrywane szczęśliwe kolorowanie grafów
- 18:00-18:15 Marcin Piątkowski
Zastosowanie grafów podsłów w dowodach kombinatorycznych własności słów
- 18:15-18:30 Lech Duraj
Optymalna orientacja grafów on-line
- 18:30-18:45 Artur Jeż
Weryfikacja on-line funkcji pi oraz pi`
- 18:45 - 20:30 Kolacja
- 20:30 - 21:45 Prezentacja referatów
- 20:30-20:45 Łukasz Jeż
Zrandomizowane szeregowanie pakietów online przeciwko adwersarzowi adaptywnemu
- 20:45-21:00 Jan Jeżabek
Resource Augmentation for QoS Buffer Management with Agreeable Deadlines
- 21:00-21:15 Michał Lasoń
O hipotezie Jaegera
- 21:15-21:30 Bartosz Walczak
O pewnej reprezentacji podsłów słowa Fibonacciego
- 21:30-21:45 Tomasz Waleń
Powtórzenia w słowach
- Sobota 25 IV
- 8:00 - 9:00 Śniadanie
- 9:00 - 10:30 Prezentacja referatów
- 9:00-9:15 Łukasz Mikulski
Aksjomat regularności z punktu widzenia informatyki
- 9:15-9:30 Mateusz Kostanek
Istnienie granic w Q-dziedzinach
- 9:30-9:45 Piotr Wiśniewski
Problem automatycznej dereferencji w językach rodziny SBQL
- 9:45-10:00 Szymon Toruńczyk
Języki min-regularne
- 10:00-10:15 Jakub Michaliszyn
O rozstrzygalności fragmentu strzeżonego z przechodnim domknięciem
- 10:15-10:30 Piotr Faliszewski
The Complexity of Power-Index Comparison
- 10:30 - 14:30 Spacer po górach
- 14:30 - 15:45 Obiad
- 15:45 - 17:15 Prezentacja referatów
- 15:45-16:00 Piotr Przymus
Rozpoznawanie wzorców sygnałów
- 16:00-16:15 Krzysztof Rykaczewski
Metody numeryczne służące do rozpoznawania wzorców pewnych sygnałów
- 16:15-16:30 Michal Mati
Rfam search speed-up filtering algorithm
- 16:30-16:45 Tomasz Idziaszek
Języki drzew nieskończonych
- 16:45-17:00 Jerzy Marcinkowski, Jakub Michaliszyn
The cost of being co-Buchi is nonlinear
- 17:00-17:15 Zenon Sadowski
O problemie istnienia języków zupełnych w klasach semantycznych
- 17:15 - 17:45 Przerwa kawowa
- 17:45 - 19:00 Prezentacja referatów
- 17:45-18:00 Kamila Agata Barylska
Problemy dotyczące trwałości w rozszerzeniach p/t-sieci
- 18:00-18:15 Radosław Głowiński
Unikanie wzorców w tekstach w dwóch wymiarach
- 18:15-18:30 Sebastian Smyczynski
Generowanie drzew binarnych w naturalnym porządku
- 18:30-19:45 Łukasz Pankowski
Otrzymywanie klucza kryptograficznego z pewnych prawie separowalnych stanów kwantowych o związanym splątaniu
- 18:45-19:00 Jan Otop
O rodzajach E-unifikacji
- 20:00 Uroczysta kolacja
- Niedziela 26 IV
- 9:00 - 10:00 Śniadanie
- 13:00 - 15:00 Obiad
- Zakończenie FIT
|