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