Sprawozdanie z Obozu KNI w Korbielowie (18-24 kwietnia 1995)

Oboz kola naukowego informatykow odbyl sie w dniach 18-24.04.95 .

Uczestniczyly w nim nastepujace osoby:

• Robert Bujalski
• Jacek Chrzaszcz
• Krzysztof Ciebiera
• Stefan Dziembowski
• Grzegorz Grudzinski
• Marcin Jurdzinski
• Mikolaj Konarski
• Robert Maron
• Aleksy Schubert
• Pawel Urzyczyn
• Jan Zawadowski
• Marek Zawadowski

W trakcie obozu zaprezentowano nastepujace serie wykladow:

• Jacek Chrzaszcz
  • Hierarchia jezykow na drzewach i ich definiowalnosc przez termy Mu-rachunku

  

  ---

• Grzegorz Grudzinski
  • Lustracja: o rzetelenosci danych

  

  ---

• Aleksy Schubert
  • Opis intuicjonistycznych rachunkow logicznych przy pomocy teorii kategorii.

  

  ---

• Pawel Urzyczyn
  • Systemy wyprowadzania typow z pozytywna rekursja
  • Definiowanie funkcji arytmetycznych w rachunku lambda z punktem stalym - problemy otwarte.

  

  ---

• Marek Zawadowski
  • Logika z silna negacja
  • Wprowadzenie do teorii modeli
  • Kategoryjne charakteryzacje modelowych uzupelnien teorii rownosciowych

  

  ---

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

Np. biale szalenstwo:

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.