Sprawozdanie z Obozu KNI w Istebnej (4-11 wrzesien 1994)

Oboz kola naukowego informatykow odbyl sie w dniach 4-11.09.94 w Istebnej.

Uczestniczyly w nim nastepujace osoby:

• Jacek Chrzaszcz
• Stefan Dziembowski
• Leszek Gasieniec
• Grzegorz Grudzinski
• Marcin Jurdzinski
• Mikolaj Konarski
• Robert Maron
• Damian Niwinski
• Wojciech Plandowski
• Aleksy Schubert
• Daria Walukiewicz
• Igor Walukiewicz
• Adam Wierzbicki

W trakcie obozu zaprezentowano nastepujace serie wykladow:

• Leszek Gasieniec
  • Bardzo szybkie algorytmy rownolegle

  

  ---

• Grzegorz Grudzinski
  • rachunek lambda z typami intersekcyjnymi

  

  ---

• Damian Niwinski
  • teoria skonczonych modeli; przeglad wynikow i problemow

  

  ---

• Wojciech Plandowski
  • algorytmy wyszukiwania wzorca w tekscie, w pamieci stalej czasie liniowym sekwencyjnie.

  

  ---

• Aleksy Schubert
  • Rozstrzygalnosc problemu matchingu (rzad 1, 2, 3, 4)
  • Hipotezy dotyczace matchingu dowolnego rzedu

  

  ---

• Don Sannella, Andrzej Tarlecki
  • specyfikacje algebraiczne (Extended ML)

  ----

  ---

Glowna czesc wykladow odbywala sie miedzy sniadaniem a obiadem. Bezposrednio po kolacji nastepowala dalsza czesc wykladow lub dyskusja (np. sesja problemow otwartych). Czas miedzy obiadem a kolacja nie byl scisle zorganizowany. Mozna go bylo poswiecic na piesze wycieczki lub zajecia wlasne. Barania Gora zostala zdobyta.

Inne zdjecia mozna obejrzec...

Uwazamy, ze oboz byl bardzo udany. W jego trakcie powstalo wiele nowych inicjatyw. Studenci zaznajomili sie z wybranymi dziedzinami informatyki teoretycznej co pozwoli im latwiej rozwijac swoje zainteresowania.

Wyjazd dwu studentow finansowany byl przez Grant KBN 2 P301 007 04 za co jestesmy bardzo wdzieczni.