XXII FIT XXII Forum Informatyki Teoretycznej
Zakopane, 18-20 IV 2008

Streszczenia do referatów

Imię i nazwiskoTytuł referatu
Przemysław BroniekUnary algebras and Constraint Satisfaction Problem
Kamila Agata BarylskaO kilku odmianach trwałości w sieciach Petriego
Hanna FurmańczykKolorowanie krawędzi grafów mieszanych
Joanna JółkowskaO wyznaczaniu relacji niezależności akcji w sieciach Petriego
Łukasz MikulskiŚlady i półślady nieskończone
Paweł ParysRozpoznawanie języka XPath w czasie liniowym
Tomasz WaleńImproved Algorithms for the Range Next Value Problem and Applications
Łukasz JeżKreta-Bij! albo: zbieranie przedmiotów z wagami i terminami
Łukasz KowalikAlgorytm aproksymacyjny dla semi-metrycznego maxTSP
Artur JeżRównania z sumą, przecięciem i dodawnaniem w zbiorach liczb naturalnych
Agnieszka KozubekMniej naiwna teoria typów
Marcin PiątkowskiMaksymalne powtórzenia w słowach Sturma
Adrianna GietkaGenerowanie gramatyk bezkontekstowych z próbek słów
Paweł LebiodaWyznaczanie parametrów ścieżek metabolicznych za pomocą rozproszonej metody Monte Carlo
Marcin BieńkowskiOn the k-resource problem
Jan OtopKontrprzykład dle hipotez z teorii pierścieni alternujących
Michał WronaQuantified Weak Temporal Constraints
Sebastian SmyczyńskiRekonstrukcja drzewa binarnego
Łukasz StafiniakPełna inferencja typów z indukcją więzów charakteryzujących programy (inspiracja: GADT)
Jan JeżabekIncreasing Machine Speed in On-line Scheduling of Weighted Unit-length Jobs in Slotted Time
Adam KolanyAlgorytm DPLL w ujęciu ogólnym
Andrzej JasińskiMinimalne Automaty Buchi
Zenon SadowskiOptymalne systemy dowodowe i jezyki zupelne
Marek Tomasz BiskupGwarantowana synchronizacja kodów Huffmana
Michał StrojnowskiKwantowe algorytmy rozproszone
Jakub KozikJak wiele formuł ma konstruktywne dowody?
Tomasz DzidoLiczby Turana i Ramseya dla grafów z kołami
Adam MalinowskiJak się spotkać w anonimowej sieci?
Karol HorodeckiGeneral paradigm for distilling classical key from quantum states - entanglement approach to quantum security
Rafał KluszczyńskiAlgorytm generowania wielokątnych pól Markowa
Andrzej PezarskiNonrepetitive coloring of subdivided graphs
Hans de NivelleA logical framework with support for partial functions
Łukasz PankowskiCzy istnieje proste kryterium destylowalności splątania?
Michał ZmarzNonrepetitive coloring of subdivided graphs
Rafał KluszczyńskiAlgorytm generowania wielokątnych pól Markowa
Katedra Podstaw Informatyki na Uniwersytecie Jagiellońskim
Gronostajowa 3, 30-387 Kraków