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