Karpacz, 16-18 kwietnia 2004
XVIII Forum Informatyki Teoretycznej (FIT) odbyło się w dniach 16-18 kwietnia 2004
w hotelu Karolinka w Karpaczu.
| piątek, 16 kwietnia |
14:45 Obiad
15.45 - 16.50 Referaty:
- Leszek Kołodziejczyk O klasach bounded query zawartych w PH
- Marcin Bieńkowski Fighting against two adversaries
- Jakub Pawlewicz PN-Search z ograniczoną pamięcią
16.55 - 18.00 Referaty:
- Jerzy Marcinkowski, Grzegorz Stelmaszek Semantyczny test subsumpcji i może czegos jeszcze
- Lidia Tendera O problemie Fin-Sat dla logiki guarded z tranzytywnością
- Piotr Sankowski Dynamiczny wyznacznik z zastosowaniem do dynamicznego domkniecia przechodniego
18:00 - 18.30 Kawa
18.30 - 19.15 Referaty:
- Konrad Zdanowski Charakterystyka względnej pierwszości w modelach skończonych
- Edward Szczypka Złożonośc Obiektowa
19.20 - 20.25 Referaty:
- Piotr Faliszewski Podstawowe własności języków jednolicie trudnych
- Adam Roman Stany zawężające i problemy synchronizacji automatów skończonych
- Feliks Kurp Przybliżony automat skończenie stanowy
20.30 Kolacja
21.15 - 22.00 Referaty:
- Marcin Mucha Znajdowanie maksymalnych skojarzeń w grafach przy pomocy eliminacji Gaussa
- Katarzyna Paluch Rank-Maximal Matching
|
| sobota, 17 kwietnia |
8:00 Śniadanie
9.00 - 10.05 Referaty:
- Przemysław Broniek Real-time scheduling on bounded number of processors
- Mirosław Korzeniowski Dynamical Load Balancing of Peer-to-Peer Networks
- Grzegorz Stachowiak Szybkie poprawiające sieci okresowe
10.15 - 15.30 Spacer po górach
15.30 - 16.15 Obiad
16.15 - 17.20 Referaty:
- Maciej Koprowski Drobnoziarniste podpisy cyfrowe bezpieczne w przód
- Kamil Skalski Metaprogramowanie w Nemerle
- Wiktor Zychla eXtensible Multi Security
17.30 - 18.35 Referaty:
- Hanna Furmańczyk Listowe sprawiedliwe kolorowanie grafów
- Andrzej Szepietowski, Monika Targan Zorientowane kolorowanie siatek
- Łukasz Kowalik Szybkie 3-kolorowanie grafów planarnych bez trójkątów
18.45 - 19.50 Referaty:
- Tomasz Waleń Uwarunkowane cykle Eulera
- Grzegorz Stachowiak Ograniczenia dolne na sieci poprawiające
- Tomasz Dzido Związek między dwu i trójkolorowymi liczbami Ramseya dla nieparzystych cykli
20:00 Uroczysta kolacja
|
| niedziela, 18 kwietnia |
śniadanie
zakończenie FIT
|
Celem referatów jest zapoznanie środowiska naukowego z rezultatami (niekoniecznie
już opublikowanymi) własnej pracy badawczej.
Planujemy referaty 15-20 minutowe i być może kilka dłuższych tutoriali.
Zachęcamy do nadesłania streszczenia referatu (jedna strona, postscript lub pdf),
które zostanie rozdane wszystkim uczestnikom.
Do dyspozycji wygłaszających referaty będzie rzutnik do folii, rzutnik komputerowy oraz
notebook z podstawowym oprogramowaniem (MS PowerPoint, Acrobat Reader, GhostView).
| Zgłoszenie uczestnictwa |
12 marca |
| Wniesienie opłaty |
19 marca |
| Zgłoszenie referatu |
19 marca |
| Zgłoszenie streszczenia referatu |
2 kwietnia |
Zależy nam na tym, aby możliwie wcześnie określić liczbę
uczestników. Dlatego osoby zgłaszające się po 12 marca
lub płacące po 19 marca (a przed 1 kwietnia) będziemy prosić o
wniesienie opłaty zwiększonej o 50%.
Organizatorzy zapewniają przejazd autokarem z Wrocławia do Karpacza w piątek.
Autokar odjedzie o godzinie 12.00 z okolic dworca PKP.
Uczestnicy XVIII FIT będą zakwaterowani w hotelu Karolinka. Koszt obejmuje
dwa noclegi, przejazd do Karpacza, wszystkie posiłki i uroczystą
kolację w sobotę.
| Pokój 1-osobowy, łazienka wspólna na blok 2 pokojów |
340 zł |
| Pokój 2-osobowy |
270 zł |
| Późna rejestracja |
+50% |
Osoby które życzą sobie przyjechać do Karpacza w czwartek
i w piątek przed obiadem mieć czas na spacer, mogą liczyć na nocleg.
Dodatkowa opłata (ze śniadaniem) - 65 zł.
Opłaty prosimy wnosić na poniższe konto z dopiskiem FIT18:
| Konto |
Bank Zachodni WBK S.A. IV/O Wrocław,
Polskie Stowarzyszenie dla Maszyn Liczących
65 1090 2503 0000 0006 3000 0597
|
| Adres banku |
Bank Zachodni S.A. IV/O Wrocław
ul. Kuźnicza 17/19
Wrocław
|
|