XXIV FIT XXIV Forum Informatyki Teoretycznej
Zakopane, 22-25 IV 2010

Harmonogram konferencji

  • Czwartek 22 IV
    • 13:00 - 15:30 Obiad
    • 15:30 - 17:10 Prezentacja referatów
      • 15:30 - 15:55 Łukasz Kowalik, Uniwersytet Warszawski
        Problem komiwojażera ze wzmocnioną nierównością trójkąta
      • 15:55 - 16:20 Łukasz Jeż, Uniwersytet Wrocławski
        O pewnym sieciowym problemie szeregowania zadań online
      • 16:20 - 16:45 Bartek Bosek, Uniwersytet Jagielloński
        On-line Chain Partitioning
      • 16:45 - 17:10 Tomasz Krawczyk, Uniwersytet Jagielloński
        On-line dimension of orders
    • 17:10 - 17:45 Przerwa kawowa
    • 17:45 - 19:00 Prezentacja referatów
      • 17:45 - 18:10 Michał Skrzypczak, Uniwersytet Warszawski
        O kolorowaniach drzewa Cantora
      • 18:10 - 18:35 Grzegorz Gutowski, Uniwersytet Jagielloński
        Kolorowanie z list on-line
      • 18:35 - 19:00 Piotr Chrząstowski-Wachtel, Uniwersytet Warszawski
        Jakiej matematyki potrzebują informatycy
    • 19:00 - 20:30 Kolacja
    • 20:30 - 21:20 Prezentacja referatów
      • 20:30 - 20:55 Łukasz Mikulski, Uniwersytet Mikołaja Kopernika
        Konflikty w sieciach Petriego
      • 20:55 - 21:20 Michał Staromiejski, Uniwersytet Jagielloński
        Effectiveness of Ring Isomorphism Problem over Finite Fields
  • Piątek 23 IV
    • 8:00 - 9:00 Śniadanie
    • 9:00 - 14:30 Spacer po górach
    • 14:30 - 16:00 Obiad
    • 16:00 - 17:15 Prezentacja referatów
      • 16:00 - 16:25 Eryk Kopczyński, Uniwersytet Warszawski
        Złożoność problemów dla gramatyk przemiennych
      • 16:25 - 16:50 Marek Grabowski, Uniwersytet Warszawski
        Czy inkluzja języków może mieć mniejszą złożoność niż symulacja
      • 16:50 - 17:15 Agnieszka Polak / Przemysław Krysztowiak, Uniwersytet Mikołaja Kopernika
        Parallel CUDA-accellerated implementation of an algorithm to compute all runs in a word
    • 17:15 - 17:50 Przerwa kawowa
    • 17:50 - 19:05 Prezentacja referatów
      • 17:50 - 18:15 Artur Jeż, Uniwersytet Wrocławski
        Hiper-minimalizacja automatów skończonych
      • 18:15 - 18:40 Marcin Piątkowski, Uniwersytet Mikołaja Kopernika
        Powtórzenia w wybranych podklasach słów
      • 18:40 - 19:05 Maciej Piróg, Uniwersytet Wrocławski
        Certyfikowane wyprowadzenie leniwej maszyny abstrakcyjnej z semantyki naturalnej
    • 19:05 - 20:30 Kolacja
    • 20:30 - 21:20 Prezentacja referatów
      • 20:30 - 20:55 Filip Sieczkowski, Uniwersytet Wrocławski
        Przekształcanie semantyk metodą refocusingu -- certyfikacja w systemie Coq
      • 20:55 - 21:20 Łukasz Pankowski, Uniwersytet Gdański
        Symetryzacyjny atak na destylowalność stanów Wernera
  • Sobota 24 IV
    • 8:00 - 9:00 Śniadanie
    • 9:00 - 10:40 Prezentacja referatów
      • 9:00 - 9:25 Marcin Kozik, Uniwersytet Jagielloński
        CSP - podejście algebraiczne
      • 9:25 - 9:50 Jacek Krzaczkowski, Uniwersytet Marii Curie-Skłodowskiej
        Uogólnienie algorytmów rozwiązujących równania nad algebrami semiafinicznymi i abelowymi
      • 9:50 - 10:15 Sylwia Antoniuk, Uniwersytet Jagielloński
        Dualność Lawsona w Q-kategoriach
      • 10:15 - 10:40 Mateusz Kostanek, Uniwersytet Jagielloński
        Reprezentacja Q-kategorii za pomocą kul
    • 10:40 - 11:00 Przerwa kawowa
    • 11:00 - 13:05 Prezentacja referatów
      • 11:00 - 11:25 Michał Lasoń, Uniwersytet Jagielloński
        Długość antyłańcucha maksymalnych antyłańcuchów
      • 11:25 - 11:50 Tomasz Lenarcik, Uniwersytet Jagielloński
        O pewnej układance
      • 11:50 - 12:15 Adam Kolany, Pałac Młodzieży w Katowicach
        Reguła odwróconej rezolucji w redukowalności własności S do (3,2)-SAT
      • 12:15 - 12:40 Jan Otop, Uniwersytet Wrocławski
        Unifikacja w logikach deskryptywnych
      • 12:40 - 13:05 Jakub Michaliszyn, Uniwersytet Wrocławski
        W życiu piękne są tylko chwile - o logice temporalnej na przedziałach
    • 13:05 - 15:15 Obiad
    • 15:15 - 16:55 Prezentacja referatów
      • 15:15 - 15:40 Michał Wrona, Uniwersytet Wrocławski
        Projekt klasyfikacji kwantyfikowanych problemów spełniania więzów dla języków temporalnych
      • 15:40 - 16:05 Piotr Witkowski, Uniwersytet Wrocławski
        On the Complexity of the Bernays-Schonfinkel Class with Datalog
      • 16:05 - 16:30 Piotr Wiśniewski, Uniwersytet Mikołaja Kopernika
        Kilka słów o niezgodności impedancji
      • 16:30 - 16:55 Andrzej Szepietowski, Uniwersytet Gdański
        Cycles in alternating group graph
    • 16:55 - 17:20 Przerwa kawowa
    • 17:20 - 19:00 Prezentacja referatów
      • 17:20 - 17:45 Wiktor Żelazny, Uniwersytet Jagielloński
        Addytywne etykietowanie grafów
      • 17:45 - 18:10 Bartosz Walczak, Uniwersytet Jagielloński
        Jak parzystość pomaga zjadać grafy?
      • 18:10 - 18:35 Rafał Kluszczyński, Uniwersytet Mikołaja Kopernika
        Algorytm generowania konfiguracji początkowej dla metody segmentacji obrazów cyfrowych wykorzystującej model wielokątnych pól Markowa
      • 18:35 - 19:00 Andrzej Grzesik, Uniwersytet Jagielloński
        Indicated chromatic number
    • 20:00 Uroczysta kolacja
  • Niedziela 25 IV
    • 9:00 - 10:00 Śniadanie
    • Zakończenie FIT
TCS logo
Katedra Podstaw Informatyki na Uniwersytecie Jagiellońskim
ul. Łojasiewicza 6, 30-348 Kraków