Informace: krajicek@math.cas.cz.
Misto
Chata UK (pension VAK)
Mala plan 159
542 21 Pec pod Snezkou
Doba
Od obeda 24.9.1999 do obeda 26.9.1999 (patek - nedele).
Program
B.Balcar: Cisla a kontinuum
P.Hajek: Quo Vadis Logica - uvod k diskusi
J.Hanika: Slozitost formuli v teoriich mnozin
Z.Honzikova: Standardni algebry pro fuzzy vyrokovy pocet
E.Jerabek: Modalni logika dokazatelnosti pro AST
J.Krajicek: P/NP problem
P.Pudlak: Velke kardinaly
K.Trlifajova: Koreny teorie mnozin
S.Zak: Slozitost booleovskych funkci (branching programy)
Ucastnici:
P.Hajek, I.Kramosil, A.Sochorova, S.Zak (vsichni UIVT)
B.Balcar, J.Krajicek, P.Pudlak, A.Sochor (vsichni MU)
K.Bendova, P.Jirku, M.Kyrova, M.Matousek, V.Svejdar (vsichni FF)
STUDENTI/DOKTORANDI:
Libor Behounek, Marta Bilkova, Adam Cepelak, Matej Dlask, Jan Filippi, Jiri Hanika, Tomas Holecek, Radek Honzik, Zuzana Honzikova, Petra Ivanicova, Jan Izdny, Emil Jerabek, Petr Nemec, Michal Pelis, Tom Pesina, Zuzana Podana, Hana Skrivanova, Blanka Sobotkova (vsichni FF)
Petr Pudlak, Jan Stary, Jan Stola, Katerina Trlifajova, Jan Urbanek (vsichni MFF)
HOSTE:
C.Pizzi (Sienna).