Vyjezdni Logicky seminar

Pec p. Snezkou 2000



Drivejsi vyjezdni seminare: Pec'99

Informace: krajicek@math.cas.cz.



Misto

Chata UK (pension VAK)
Mala plan 159
542 21 Pec pod Snezkou



Doba

Od obeda 19.9.2000 do obeda 23.9.2000 (utery - sobota).



Program

Vsichni, kdo maji zajem prednest prednasku - jak o sve praci tak i o jinem zajimavem tematu - jsou vitani. Temata by mela byt volena s ohledem na studenty.

Vedle odborneho programu bude cas i na neformalni diskuse a vylety.

STREDA

Pavel Pudlak: Archimedes and constructive ordinals
Jiri Hanika: Zero knowledge
Ivan Kramosil: Towards generalization of belief functions I.

CTVRTEK

Libor Behounek: An application of Alternative Set Theory in formal linguistic
Russell Barker: Finite model theory
Ivan Kramosil: Towards generalization of belief functions II.

PATEK

Standa Zak: Branching programs
Neil Thapen: Witnessing theorems
Petr Hajek: Fuzzy logic and arithmetical hierarchy



Ubytovani a stravovani

Ubytovani a stravovani v chate stoji dohromady pod 300,- Kc na den. Vydaje studentu z casti zaplatime z nasich grantu (t.j. nas v MU a kolegu na FF). Tedy:

CENA pro studenty: 100,-Kc za osobu a noc vcetne stravovani. Platit se bude na miste.



Ucastnici:

Mate-li zajem prijet, napiste mi.

R.Barker (Oxford), L.Behounek, K.Bendova, A.Cepelak, J.Filippi, P.Hajek, J.Hanika, D.Harmancova, Z.Honzikova, E.Jerabek, P.Jirku, B.Kozlikova, J.Krajicek, I.Kramosil, M.Pelis, Z.Podana, P.Pudlak, B.Sobotkova, A.Sochor, N.Thapen (Oxford), S.Zak