Miło nam poinformować, że XXII Forum Informatyki Teoretycznej odbyło się
w Zakopanem w dniach 18-20.04.2008.
Spotkanie zorganizowała Katedra
Podstaw Informatyki Wydziału Matematyki i Informatyki Uniwersytetu
Jagiellońskiego.
Harmonogram referatów
Piatek 18 IV
13:00 - 15:30 Obiad
15:30 - 16:45 Prezentacja referatów
Marcin Bieńkowski, On the k-resource problem
Jan Jeżabek, Increasing Machine Speed in On-line Scheduling of Weighted Unit-length Jobs in Slotted Time
Łukasz Jeż, Kreta-Bij! albo: zbieranie przedmiotów z wagami i terminami
Andrzej Jasiński, Minimalne Automaty Buchi
Sebastian Smyczyński, Rekonstrukcja drzewa binarnego
16:45 - 17:30 Przerwa kawowa
17:30 - 18:45 Prezentacja referatów
Tomasz Waleń, Improved Algorithms for the Range Next Value Problem and Applications
Łukasz Pankowski, Czy istnieje proste kryterium destylowalności splątania?
Michał Strojnowski, Kwantowe algorytmy rozproszone
Michał Wrona, Quantified Weak Temporal Constraints
Karol Horodecki, General paradigm for distilling classical key from quantum states - entanglement approach to quantum security
18:45 - 20:30 Kolacja
20:30 - 22:00 Prezentacja referatów
Adam Malinowski, Jak się spotkać w anonimowej sieci?
Łukasz Kowalik, Algorytm aproksymacyjny dla semi-metrycznego maxTSP
Hanna Furmańczyk, Kolorowanie krawędzi grafów mieszanych
Michał Tuczyński, Znajdowanie pokryć i podziałów w czasie O*(2^n)
Tomasz Dzido, Liczby Turana i Ramseya dla grafów z kołami
Andrzej Pezarski, Michał Zmarz, Nonrepetitive coloring of subdivided graphs
Sobota 19 IV
8:00 - 9:00 Śniadanie
9:00 - 10:30 Prezentacja referatów
Kamila Agata Barylska, O kilku odmianach trwałości w sieciach Petriego
Joanna Jółkowska, O wyznaczaniu relacji niezależności akcji w sieciach Petriego
Przemysław Broniek, Unary algebras and Constraint Satisfaction Problem
Artur Jeż, Równania z sumą, przecięciem i dodawnaniem w zbiorach liczb naturalnych
Jan Otop, Kontrprzykład dle hipotez z teorii pierścieni alternujących
Paweł Lebioda, Wyznaczanie parametrów ścieżek metabolicznych za pomocą rozproszonej metody Monte Carlo
10:30 - 14:30 Spacer po górach
14:30 - 15:45 Obiad
15:45 - 17:15 Prezentacja referatów
Hans de Nivelle, A logical framework with support for partial functions
Zenon Sadowski, Optymalne systemy dowodowe i jezyki zupelne
Adam Kolany, Algorytm DPLL w ujęciu ogólnym
Jakub Kozik, Jak wiele formuł ma konstruktywne dowody?