Sprawozdanie z Obozu Kola Naukowego Informatykow w Zawoi (4-10 kwietnia 1994)

Oboz kola naukowego informatykow odbyl sie w dniach 4-10.04.94 w Zawoi.

Uczestniczyly w nim nastepujace osoby:

• Robert Bujalski
• Marcin Benke
• Jacek Chrzaszcz
• Stefan Dziembowski
• Grzegorz Grudzinski
• Marcin Jurdzinski
• Mikolaj Konarski
• Robert Maron
• Damian Niwinski
• Aleksy Schubert
• Jerzy Tiuryn
• Pawel Urzyczyn
• Daria Walukiewicz
• Igor Walukiewicz
• Adam Wierzbicki
• Marek Zawadowski

W trakcie obozu zaprezentowano nastepujace serie wykladow:

---

• dr Damian Niwinski Gry Ehrenfeucht'a
  
• dr Damian Niwinski Dowody interakcyjne
  
  

  

  ---

• prof. Jerzy Tiuryn Rekonstrukcja typow w programach funkcyjnych
  
  

  

  ---

• prof. Pawel Urzyczyn Logika Liniowa
  
  

  

  ---

• dr Marek Zawadowski
  Kategoryjne ujecie zdaniowej logiki klasycznej i intuicjonistycznej
  
  

  

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. Z powodu duzych opadow sniegu Babia Gora pozostala niezdobyta.

(na Smietanowej)

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.

Pragniemy podziekowac Instytutowi Informatyki, Radzie Studeckich Kol Naukowych oraz Fundacji Rozwoju Informatyki za wsparcie finansowe, ktore umozliwilo udzial w obozie tak wielu studentom.