XXIII FIT XXIII Forum Informatyki Teoretycznej
Zakopane, 24-26 IV 2009

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
Katedra Podstaw Informatyki na Uniwersytecie Jagiellońskim
ul. Łojasiewicza 6, 30-348 Kraków