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.
kni@zls.mimuw.edu.pl