Miło nam poinformować, że XXI Forum Informatyki Teoretycznej odbyło się
w Zakopanem w dniach 13-15.04.2007. Spotkanie zorganizowała
Katedra Podstaw Informatyki
na Wydziale Matematyki i Informatyki Uniwersytetu Jagiellońskiego.
Harmonogram referatów
Piątek 13 IV:
13:00-15:30 Obiad
15:30-17:00 Prezentacja referatów
Paweł Lebioda Modelowanie ścieżek metabolicznych za pomocą symulacji numerycznych opartych o analogi elektroniczne,
Adam Kolany Metoda klejenia atrybutów w dowodzeniu poprawności strukturalnych reguł dla zależności funkcyjnych i złączeniowych,
Jan Chomicki Consistent query answers in inconsistent databases,
Paweł Waszkiewicz Ciagłość w uogólnionych przestrzeniach metrycznych,
Karol Horodecki O ukrywaniu splątania w kontekście kwantowej kryptografii,
Eryk Kopczyński Omega-regularne półpozycyjne warunki wygrywające,
17:00-17:30 Przerwa kawowa
17:30-19:00 Prezentacja referatów
Tomasz Dzido Liczby Ramseya i dominowanie,
Marcin Kubica Problemy optymalizacyjne w grafach liniowych,
Jarek Grytczuk Niepowtarzalne kolorowania grafów,
Hanna Furmańczyk Kolorowanie grafów mieszanych,
Robert Fidytek Sprawiedliwe kolorowanie grafów Knesera,
Piotr Chrząstowski-Wachtel Strukturalne projektowanie przepływów pracy (workflows),
19:15-20:30 Kolacja
Sobota 14 IV:
8:00-9:00 Śniadanie
9:15-10:45 Prezentacja referatów
Artur Jeż Gramatyki konjunktywne nad alfabetem unarnym generują języki nieregularne,
Wojciech Zielonka Aksjomatyzacja w stylu Hilberta pewnych słabych logik implikacyjnych związanych z rachunkiem Lambeka,
Paweł Baturo Leksykograficzne własności systemów reprezentacji liczb naturalnych związanych ze słowami Sturma,
Tomasz Kazana Pewna rozstrzygalna własność języków regularnych związana z okresowością,
Paweł Parys Układy równań spełnione we wszystkich skończonych półgrupach przemiennych,
Jacek Chrząszcz Konsekwencje indukcyjne w rachunku konstrukcji,
10:45-14:30 Spacer po górach
14:30-15:45 Obiad
16:00-17:15 Prezentacja referatów
Paweł Gawrychowski Słowa synchronizujące,
Filip Murlak O słabości i sile,
Aleksander Mądry A geometric approach to on-line packet buffering,
Jacek Cichoń Quick leader election algorithms for Ad Hoc networks,
17:15-17:45 Przerwa kawowa
17:45-19:00 Prezentacja referatów
Piotr Wieczorek Complexity of Typechecking XML Views of Relational Data,
Michał Wrona 2-SAT w pewnych logikach wielowartościowych,
Łukasz Mikulski Reprezentacja rzutowa śladów Mazurkiewicza,
Tomasz Gorazd, Jacek Krzaczkowski Complexity of term equation problem,
Anna Borowska Metody redukcji liczby wartościowań programu probabilistycznego,